Struct stack_graphs::partial::PartialScopedSymbol

#[repr(C)]
pub struct PartialScopedSymbol {
    pub symbol: Handle<Symbol>,
    pub scopes: ControlledOption<PartialScopeStack>,
}

A symbol with an unknown, but possibly empty, list of exported scopes attached to it.

Fields

symbol: Handle<Symbol>

scopes: ControlledOption<PartialScopeStack>

Implementations

impl PartialScopedSymbol

pub fn with_offset(self, scope_variable_offset: u32) -> PartialScopedSymbol

Applies an offset to this scoped symbol.

When concatenating partial paths, we have to ensure that the left- and right-hand sides have non-overlapping sets of variables. To do this, we find the maximum value of any variable on the left-hand side, and add this “offset” to the values of all of the variables on the right-hand side.

pub fn unify( &mut self, partials: &mut PartialPaths, rhs: PartialScopedSymbol, scope_bindings: &mut PartialScopeStackBindings ) -> Result<(), PathResolutionError>

Matches this precondition symbol against another, unifying its contents with an existing set of bindings.

pub fn matches( self, partials: &mut PartialPaths, postcondition: PartialScopedSymbol ) -> bool

Returns whether two partial scoped symbols “match”. The symbols must be identical, and any attached scopes must also match.

pub fn apply_partial_bindings( self, partials: &mut PartialPaths, scope_bindings: &PartialScopeStackBindings ) -> Result<PartialScopedSymbol, PathResolutionError>

Applies a set of bindings to this partial scoped symbol, producing a new scoped symbol.

pub fn equals( &self, partials: &mut PartialPaths, other: &PartialScopedSymbol ) -> bool

pub fn cmp( &self, graph: &StackGraph, partials: &mut PartialPaths, other: &PartialScopedSymbol ) -> Ordering

pub fn display<'a>( self, graph: &'a StackGraph, partials: &'a mut PartialPaths ) -> impl Display + 'a

Trait Implementations

impl Clone for PartialScopedSymbol

fn clone(&self) -> PartialScopedSymbol

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Into<PartialScopedSymbol> for sg_partial_scoped_symbol

fn into(self) -> PartialScopedSymbol

Converts this type into the (usually inferred) input type.

impl Copy for PartialScopedSymbol