Struct AliasTable 

pub struct AliasTable { /* private fields */ }

Content-addressed alias lookup table.

Entries are sorted by (scope, from_symbol) for O(log n) binary-search lookup via AliasTable::resolve_alias. Wildcard entries are included in AliasTable::aliases_in but are skipped by resolve_alias — the resolver dispatches wildcards through the target module’s exports.

Serialization

Only entries is persisted. The by_scope index is derived from entries on deserialization and cannot drift out of sync with the entries slice. This keeps the V9 snapshot footprint minimal and eliminates the dual-write hazard.

Implementations

impl AliasTable

pub fn new() -> Self

Creates an empty AliasTable.

pub fn len(&self) -> usize

Returns the total number of alias entries.

pub fn is_empty(&self) -> bool

Returns true if the table contains no entries.

pub fn entries(&self) -> &[AliasEntry]

Returns the full sorted entries slice.

Useful for V9 persistence walkers, debug dumps, stats collection, and any future consumer that needs to iterate the entire table.

pub fn get(&self, id: AliasEntryId) -> Option<&AliasEntry>

Looks up an alias entry by its dense AliasEntryId.

Returns None if id.0 >= self.len(). The id is the position of the entry in the sorted slice, assigned during derive_aliases. It is stable for the lifetime of this table instance.

Used by ResolutionStep::FollowAlias { alias: AliasEntryId } in the P2U07 resolver to recover the full AliasEntry for a recorded step.

pub fn aliases_in(&self, scope: ScopeId) -> &[AliasEntry]

Returns all alias entries declared in scope, including wildcard entries. Returns an empty slice when no aliases belong to scope.

pub fn resolve_alias( &self, scope: ScopeId, symbol: StringId, ) -> Option<StringId>

Resolves symbol within scope to its target name.

Returns None when no matching non-wildcard alias exists. Wildcard entries are deliberately skipped — the resolver dispatches wildcards through the target module’s exports at query time.

The lookup uses binary search on the sorted (scope, from_symbol) order, so it is O(log n) in the number of aliases in scope.

Trait Implementations

impl Clone for AliasTable

fn clone(&self) -> AliasTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AliasTable

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

Formats the value using the given formatter.

impl Default for AliasTable

fn default() -> AliasTable

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for AliasTable

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Serialize for AliasTable

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.