Struct SemanticModel 

pub struct SemanticModel { /* private fields */ }

The immutable product of semantic analysis.

Implementations

impl SemanticModel

pub fn scopes(&self) -> &[Scope]

Returns every lexical scope, with the module scope first.

pub fn scope(&self, id: ScopeId) -> &Scope

Returns a scope by identity.

pub const fn module_scope(&self) -> ScopeId

Returns the top-level module scope.

pub fn symbols(&self) -> &[Symbol]

Returns every bound name.

pub fn symbol(&self, id: SymbolId) -> &Symbol

Returns a symbol by identity.

pub fn symbol_type(&self, id: SymbolId) -> TypeId

Returns the declared or inferred type of a bound name.

pub const fn types(&self) -> &TypeTable

Returns the interned type table.

pub const fn facts(&self) -> &AnalysisFacts

Returns the immutable semantic evidence consumed by lint rules.

pub fn reference(&self, node: NodeId) -> Option<SymbolId>

Returns the symbol an identifier reference resolved to, if any.

pub fn resolved_reference_count(&self) -> usize

Returns how many identifier references resolved to a local binding.

pub fn lookup_value(&self, scope: ScopeId, name: &str) -> Option<SymbolId>

Resolves a value name from scope outward through its ancestors.

pub fn lookup_type(&self, scope: ScopeId, name: &str) -> Option<SymbolId>

Resolves a type name from scope outward through its ancestors.

Trait Implementations

impl Clone for SemanticModel

fn clone(&self) -> SemanticModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticModel

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

Formats the value using the given formatter.