Struct stack_graphs::partial::PartialScopeStack

#[repr(C)]
pub struct PartialScopeStack { /* fields omitted */ }

A pattern that might match against a scope stack. Consists of a (possibly empty) list of exported scopes, along with an optional scope stack variable.

Implementations

impl PartialScopeStack

pub fn can_only_match_empty(&self) -> bool

Returns whether this partial scope stack can only match the empty scope stack.

pub fn contains_scopes(&self) -> bool

Returns whether this partial scope stack contains any scopes.

pub fn empty() -> PartialScopeStack

Returns an empty partial scope stack.

pub fn from_variable(variable: ScopeStackVariable) -> PartialScopeStack

Returns a partial scope stack containing only a scope stack variable.

pub fn match_stack(
    &self,
    stack: ScopeStack,
    bindings: &mut ScopeStackBindings
) -> Result<(), PathResolutionError>

Matches this partial scope stack against a scope stack, unifying any scope stack variables with an existing set of bindings.

pub fn matches(
    self,
    partials: &mut PartialPaths,
    other: PartialScopeStack
) -> bool

Returns whether two partial scope stacks match exactly the same set of scope stacks.

pub fn apply_bindings(
    self,
    paths: &mut Paths,
    partials: &mut PartialPaths,
    bindings: &ScopeStackBindings
) -> Result<ScopeStack, PathResolutionError>

Applies a set of scope stack bindings to this partial scope stack, producing a new scope stack.

pub fn push_front(&mut self, partials: &mut PartialPaths, node: Handle<Node>)

Pushes a new Node onto the front of this partial scope stack. The node must be an exported scope node.

pub fn push_back(&mut self, partials: &mut PartialPaths, node: Handle<Node>)

Pushes a new Node onto the back of this partial scope stack. The node must be an exported scope node.

pub fn pop_front(&mut self, partials: &mut PartialPaths) -> Option<Handle<Node>>

Removes and returns the Node at the front of this partial scope stack. If the stack does not contain any exported scope nodes, returns None.

pub fn pop_back(&mut self, partials: &mut PartialPaths) -> Option<Handle<Node>>

Removes and returns the Node at the back of this partial scope stack. If the stack does not contain any exported scope nodes, returns None.

pub fn variable(&self) -> Option<ScopeStackVariable>

Returns the scope stack variable at the end of this partial scope stack. If the stack does not contain a scope stack variable, returns None.

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

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

pub fn iter_scopes<'a>(
    &self,
    partials: &'a mut PartialPaths
) -> impl Iterator<Item = Handle<Node>> + 'a

Returns an iterator over the scopes in this partial scope stack.

pub fn iter_unordered<'a>(
    &self,
    partials: &'a PartialPaths
) -> impl Iterator<Item = Handle<Node>> + 'a

Returns an iterator over the contents of this partial scope stack, with no guarantee about the ordering of the elements.

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

Trait Implementations

impl Clone for PartialScopeStack

fn clone(&self) -> PartialScopeStack

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<PartialScopeStack> for sg_partial_scope_stack

fn from(stack: PartialScopeStack) -> sg_partial_scope_stack

Performs the conversion.

impl Copy for PartialScopeStack