Struct NotationEnv 

pub struct NotationEnv {
    pub scopes: Vec<Vec<NotationRule>>,
}

A notation environment with scoped rules.

Fields

scopes: Vec<Vec<NotationRule>>

Stack of scopes, outermost first

Implementations

impl NotationEnv

pub fn new() -> Self

Create a new notation environment with one empty scope.

pub fn push_scope(&mut self)

Push a new scope.

pub fn pop_scope(&mut self)

Pop the current scope.

pub fn add(&mut self, rule: NotationRule)

Add a rule to the current scope.

pub fn lookup(&self, pattern: &str) -> Vec<&NotationRule>

Look up all rules for a pattern (innermost scope first).

pub fn total_rules(&self) -> usize

Total number of rules across all scopes.

Trait Implementations

impl Default for NotationEnv

fn default() -> Self

Returns the “default value” for a type.