Struct ArithmeticExpression 

pub(crate) struct ArithmeticExpression {
    pub(crate) first: SignedAtom,
    pub(crate) tail: Vec<(Operator, SignedAtom)>,
}

Represents an arithmetic expression.

In the TX-2’s M4 assembly language, arithmetic expressions are constants. In other words, the assembler evaluates them to a specific 36-bit value which is emitted into the output.

Fields

first: SignedAtom

tail: Vec<(Operator, SignedAtom)>

Implementations

impl ArithmeticExpression

pub(crate) fn with_tail( first: SignedAtom, tail: Vec<(Operator, SignedAtom)>, ) -> ArithmeticExpression

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

fn eval_binop( left: Unsigned36Bit, binop: Operator, right: Unsigned36Bit, ) -> Unsigned36Bit

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

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 ArithmeticExpression

fn clone(&self) -> ArithmeticExpression

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArithmeticExpression

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

Formats the value using the given formatter.

impl Display for ArithmeticExpression

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

Formats the value using the given formatter.

impl Evaluate for ArithmeticExpression

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

impl From<ArithmeticExpression> for InstructionFragment

fn from(expr: ArithmeticExpression) -> Self

Converts to this type from the input type.

impl From<Atom> for ArithmeticExpression

fn from(a: Atom) -> ArithmeticExpression

Converts to this type from the input type.

impl From<SignedAtom> for ArithmeticExpression

fn from(a: SignedAtom) -> ArithmeticExpression

Converts to this type from the input type.

impl From<SymbolOrLiteral> for ArithmeticExpression

fn from(value: SymbolOrLiteral) -> Self

Converts to this type from the input type.

impl PartialEq for ArithmeticExpression

fn eq(&self, other: &ArithmeticExpression) -> 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 ArithmeticExpression

fn span(&self) -> SimpleSpan

impl Eq for ArithmeticExpression

impl StructuralPartialEq for ArithmeticExpression