Struct FrontendLookup 

pub struct FrontendLookup {
    pub instance_ids: FxHashMap<InstancePath, InstanceId>,
    pub instance_module: FxHashMap<InstanceId, ModuleId>,
    pub indexed_instances: FxHashSet<InstanceId>,
    pub module_variables: FxHashMap<ModuleId, FxHashMap<SourceVarId, VariableInfo>>,
    pub module_var_path_index: FxHashMap<ModuleId, FxHashMap<Vec<String>, Option<SourceVarId>>>,
    pub module_names: FxHashMap<ModuleId, String>,
    pub source_to_state: FxHashMap<SourceAddr, StateAddr>,
    pub state_to_source: FxHashMap<StateAddr, SourceAddr>,
    pub event_aliases: FxHashMap<StateAddr, StateAddr>,
}

Source-language-independent lookup retained for diagnostics and public paths. Parser-native IDs are projected into SourceVarId before this artifact is built and do not cross into runtime metadata.

Fields

instance_ids: FxHashMap<InstancePath, InstanceId>

instance_module: FxHashMap<InstanceId, ModuleId>

indexed_instances: FxHashSet<InstanceId>

Elaborated children whose source-facing name requires an index.

module_variables: FxHashMap<ModuleId, FxHashMap<SourceVarId, VariableInfo>>

module_var_path_index: FxHashMap<ModuleId, FxHashMap<Vec<String>, Option<SourceVarId>>>

Reverse index from source path to source variable ID. None marks a path that is ambiguous within the module.

module_names: FxHashMap<ModuleId, String>

source_to_state: FxHashMap<SourceAddr, StateAddr>

Bidirectional boundary map between frontend source identities and the dense source-independent state identities consumed by later phases.

state_to_source: FxHashMap<StateAddr, SourceAddr>

event_aliases: FxHashMap<StateAddr, StateAddr>

Event aliases projected to the canonical runtime event domain.

Implementations

impl FrontendLookup

pub fn instance_path_segments(&self, path: &InstancePath) -> Vec<String>

pub fn root_instance_and_module(&self) -> Option<(InstanceId, ModuleId)>

pub fn root_variable( &self, var_id: SourceVarId, ) -> Option<(StateAddr, &VariableInfo)>

pub fn instance_variable( &self, instance_id: InstanceId, var_id: SourceVarId, ) -> Option<(StateAddr, &VariableInfo)>

pub fn root_named_variable( &self, name: &str, ) -> Option<(StateAddr, &VariableInfo)>

pub fn get_path(&self, address: &SourceAddr) -> String

pub fn get_state_path(&self, address: &StateAddr) -> String

pub fn source_address(&self, address: &StateAddr) -> Option<SourceAddr>

pub fn state_address(&self, address: &SourceAddr) -> Option<StateAddr>

Trait Implementations

impl Clone for FrontendLookup

fn clone(&self) -> FrontendLookup

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FrontendLookup

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

Formats the value using the given formatter.

impl Default for FrontendLookup

fn default() -> FrontendLookup

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for FrontendLookup

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for FrontendLookup

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.