Struct ScopeGraph 

#[non_exhaustive]
pub struct ScopeGraph {
    pub scopes: Vec<ScopeFrame>,
    pub bindings: Vec<Binding>,
    pub references: Vec<BindingReference>,
}

HIR-local scope graph for compiler-substrate proof.

The graph is intentionally parser-core-local. Later compiler fact export can map these ids to perl-semantic-facts ids without changing provider behavior in this first scope/pad slice.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

scopes: Vec<ScopeFrame>

Scope frames in stable creation order.

bindings: Vec<Binding>

Bindings in stable declaration order.

references: Vec<BindingReference>

Variable references observed while lowering.

Implementations

impl ScopeGraph

pub fn root_scope(&self) -> Option<&ScopeFrame>

Return the root file scope, when present.

Trait Implementations

impl Clone for ScopeGraph

fn clone(&self) -> ScopeGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScopeGraph

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

Formats the value using the given formatter.

impl Default for ScopeGraph

fn default() -> ScopeGraph

Returns the “default value” for a type.

impl PartialEq for ScopeGraph

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

impl StructuralPartialEq for ScopeGraph