Struct Linker 

pub struct Linker { /* private fields */ }

Independent dynamic-label/fixup manager.

This type intentionally stores only label/fixup metadata and can manage multiple code writers via BlockId.

Implementations

impl Linker

pub fn new() -> Self

Creates an empty linker state.

pub fn new_block(&mut self) -> BlockId

Allocates a new logical code block id.

pub fn new_label(&mut self) -> DynamicLabel

Allocates a new dynamic label.

pub fn bind( &mut self, block: BlockId, label: DynamicLabel, position: usize, ) -> Result<(), LinkError>

Binds a dynamic label to a concrete word position in one block.

Errors

Returns LinkError::UnknownLabel if label was not allocated by this linker, or LinkError::LabelAlreadyBound if the label is already bound.

pub fn add_fixup( &mut self, block: BlockId, at: usize, target: DynamicLabel, kind: BranchRelocKind, ) -> Result<(), LinkError>

Adds one pending relocation fixup for a dynamic label.

Errors

Returns LinkError::UnknownLabel if target was not allocated by this linker.

pub fn resolve(&self) -> Result<Vec<ResolvedPatch>, LinkError>

Resolves all pending fixups across every block.

Errors

Returns LinkError::LabelUnbound for unresolved labels or LinkError::CrossBlockRelocationUnsupported for cross-block fixups.

pub fn resolve_for_block( &self, block: BlockId, ) -> Result<Vec<ResolvedFixup>, LinkError>

Resolves pending fixups for one block.

Errors

Returns LinkError when a label is missing, unbound, or cross-block.

pub fn patch_writer( &self, block: BlockId, writer: &mut CodeWriter<'_>, ) -> Result<(), LinkPatchError>

Resolves and applies all fixups for one block onto writer.

Errors

Returns LinkPatchError::Link when metadata resolution fails, or LinkPatchError::Assemble when in-place patching fails.

Trait Implementations

impl Default for Linker

fn default() -> Self

Returns the “default value” for a type.