Struct SignedAtom 

pub(crate) struct SignedAtom {
    pub(crate) negated: bool,
    pub(crate) span: SimpleSpan,
    pub(crate) magnitude: Atom,
}

Fields

negated: bool

span: SimpleSpan

magnitude: Atom

Implementations

impl SignedAtom

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

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

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 SignedAtom

fn clone(&self) -> SignedAtom

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SignedAtom

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

Formats the value using the given formatter.

impl Display for SignedAtom

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

Formats the value using the given formatter.

impl Evaluate for SignedAtom

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

impl From<Atom> for SignedAtom

fn from(magnitude: Atom) -> Self

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 PartialEq for SignedAtom

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

fn span(&self) -> SimpleSpan

impl Eq for SignedAtom

impl StructuralPartialEq for SignedAtom