Struct ImplicitSymbolTable 

pub(crate) struct ImplicitSymbolTable {
    definitions: BTreeMap<SymbolName, ImplicitDefinition>,
}

Implicit definitions (e.g. index, configuration and address values), including information about the usage of symbols for which we have not yet assigned a default value.

The rules for how symbols which have references but no explicit definition are assigned values are indicated in “Unassigned Symexes” in section 6-2.2 of the User Handbook.

Fields

definitions: BTreeMap<SymbolName, ImplicitDefinition>

Implementations

impl ImplicitSymbolTable

pub(crate) fn symbols(&self) -> impl Iterator<Item = &SymbolName>

pub(crate) fn get(&self, name: &SymbolName) -> Option<&ImplicitDefinition>

pub(crate) fn get_mut( &mut self, name: &SymbolName, ) -> Option<&mut ImplicitDefinition>

pub(crate) fn remove(&mut self, name: &SymbolName) -> Option<ImplicitDefinition>

pub(crate) fn record_usage_context( &mut self, name: &SymbolName, context: &SymbolContext, ) -> Result<(), InconsistentSymbolUse>

pub(crate) fn record_deduced_origin_value( &mut self, name: &SymbolName, value: Address, block_id: BlockIdentifier, span: SimpleSpan, ) -> Result<(), InconsistentSymbolUse>

Trait Implementations

impl Clone for ImplicitSymbolTable

fn clone(&self) -> ImplicitSymbolTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImplicitSymbolTable

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

Formats the value using the given formatter.

impl Default for ImplicitSymbolTable

fn default() -> ImplicitSymbolTable

Returns the “default value” for a type.

impl PartialEq for ImplicitSymbolTable

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

impl StructuralPartialEq for ImplicitSymbolTable