Enum Origin 

pub(crate) enum Origin {
    Literal(SimpleSpan, Address),
    Symbolic(SimpleSpan, SymbolName),
    Deduced(SimpleSpan, SymbolName, Address),
}

Represents the origin of a block of program code.

Variants

Literal(SimpleSpan, Address)

An origin specified directly as a number.

Symbolic(SimpleSpan, SymbolName)

An origin specified by name (which would refer to e.g. an equality).

Deduced(SimpleSpan, SymbolName, Address)

A symbolic origin where the symbol had no definition and therefore the origin value had to be deduced (hence providing an implicit definition for the symbol).

Implementations

impl Origin

pub(crate) fn default_address() -> Address

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

Trait Implementations

impl Clone for Origin

fn clone(&self) -> Origin

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Origin

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

Formats the value using the given formatter.

impl Display for Origin

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

Formats the value using the given formatter.

impl Evaluate for Origin

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

impl Hash for Origin

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Octal for Origin

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

Formats the value using the given formatter.

impl PartialEq for Origin

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

fn span(&self) -> SimpleSpan

impl Eq for Origin

impl StructuralPartialEq for Origin