Struct TaggedProgramInstruction 

pub(crate) struct TaggedProgramInstruction {
    pub(crate) span: SimpleSpan,
    pub(crate) tags: Vec<Tag>,
    pub(crate) instruction: UntaggedProgramInstruction,
}

A TX-2 instruction with zero or more Tags.

Fields

span: SimpleSpan

Location in the program

tags: Vec<Tag>

Tags which point to this instruction.

instruction: UntaggedProgramInstruction

The instruction itself.

Implementations

impl TaggedProgramInstruction

pub(crate) fn symbol_uses( &self, block_id: BlockIdentifier, offset: Unsigned18Bit, ) -> impl Iterator<Item = Result<(SymbolName, SimpleSpan, SymbolUse), InconsistentSymbolUse>> + use<>

fn emitted_word_count(&self) -> Unsigned18Bit

pub(crate) fn substitute_macro_parameters( &self, param_values: &MacroParameterBindings, on_missing: OnUnboundMacroParameter, macros: &BTreeMap<SymbolName, MacroDefinition>, ) -> Option<TaggedProgramInstruction>

fn allocate_rc_words<R: RcAllocator>( &mut self, explicit_symtab: &mut ExplicitSymbolTable, implicit_symtab: &mut ImplicitSymbolTable, rc_allocator: &mut R, ) -> Result<(), RcWordAllocationFailure>

Trait Implementations

impl Clone for TaggedProgramInstruction

fn clone(&self) -> TaggedProgramInstruction

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TaggedProgramInstruction

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Evaluate for TaggedProgramInstruction

fn evaluate<R: RcUpdater>( &self, ctx: &mut EvaluationContext<'_, R>, scope: ScopeIdentifier, ) -> Result<Unsigned36Bit, EvaluationFailure>

impl From<TaggedProgramInstruction> for RegisterContaining

fn from(inst: TaggedProgramInstruction) -> Self

Converts to this type from the input type.

impl FromIterator<TaggedProgramInstruction> for InstructionSequence

fn from_iter<T>(iter: T) -> Self

where T: IntoIterator<Item = TaggedProgramInstruction>,

Creates a value from an iterator.

impl PartialEq for TaggedProgramInstruction

fn eq(&self, other: &TaggedProgramInstruction) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Spanned for TaggedProgramInstruction

fn span(&self) -> SimpleSpan

impl Eq for TaggedProgramInstruction

impl StructuralPartialEq for TaggedProgramInstruction