Struct stack_graphs::c::sg_partial_symbol_stack

#[repr(C)]
pub struct sg_partial_symbol_stack {
    pub cells: sg_partial_symbol_stack_cell_handle,
    pub direction: sg_deque_direction,
    pub length: u32,
    pub variable: sg_symbol_stack_variable,
}

A pattern that might match against a symbol stack. Consists of a (possibly empty) list of partial scoped symbols.

(Note that unlike partial scope stacks, we don’t store any “symbol stack variable” here. We could! But with our current path-finding rules, every partial path will always have exactly one symbol stack variable, which will appear at the end of its precondition and postcondition. So for simplicity we just leave it out. At some point in the future we might add it in so that the symbol and scope stack formalisms and implementations are more obviously symmetric.)

Fields

cells: sg_partial_symbol_stack_cell_handle

The handle of the first element in the partial symbol stack, or SG_LIST_EMPTY_HANDLE if the list is empty, or 0 if the list is null.

direction: sg_deque_direction

length: u32

variable: sg_symbol_stack_variable

The symbol stack variable representing the unknown content of a partial symbol stack, or 0 if the variable is missing. (If so, this partial symbol stack can only match a symbol stack with exactly the list of symbols in cells, instead of any symbol stack with those symbols as a prefix.)

Trait Implementations

impl Clone for sg_partial_symbol_stack

fn clone(&self) -> sg_partial_symbol_stack

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for sg_partial_symbol_stack

fn default() -> sg_partial_symbol_stack

Returns the “default value” for a type.

impl From<PartialSymbolStack> for sg_partial_symbol_stack

fn from(stack: PartialSymbolStack) -> sg_partial_symbol_stack

Performs the conversion.

impl PartialEq<sg_partial_symbol_stack> for sg_partial_symbol_stack

fn eq(&self, other: &sg_partial_symbol_stack) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &sg_partial_symbol_stack) -> bool

This method tests for !=.

impl Copy for sg_partial_symbol_stack

impl Eq for sg_partial_symbol_stack

impl StructuralEq for sg_partial_symbol_stack

impl StructuralPartialEq for sg_partial_symbol_stack