Struct AlterContext 

pub struct AlterContext {
    pub current_alter: Option<Ident>,
    pub alter_stack: Vec<Ident>,
    pub alter_defs: HashMap<String, AlterDef>,
    pub current_category: Option<AlterCategory>,
    pub current_state: Option<AlterState>,
}

Context for type checking within alter blocks

Fields

current_alter: Option<Ident>

Currently fronting alter (if in alter block)

alter_stack: Vec<Ident>

Stack of alter blocks (for nested contexts)

alter_defs: HashMap<String, AlterDef>

Known alter definitions

current_category: Option<AlterCategory>

Current alter’s category

current_state: Option<AlterState>

Current alter’s state

Implementations

impl AlterContext

pub fn new() -> Self

Create a new alter context

pub fn register_alter(&mut self, def: AlterDef)

Register an alter definition

pub fn enter_alter(&mut self, alter: Ident)

Enter an alter block context

pub fn exit_alter(&mut self)

Exit current alter block

pub fn in_alter_block(&self) -> bool

Check if we’re currently in an alter block

pub fn fronter_name(&self) -> Option<&str>

Get the current fronting alter’s name

pub fn can_front(&self, alter_name: &str) -> bool

Check if an alter can front based on category

pub fn validate_switch(&self, target: &str) -> SwitchValidation

Check if a switch to an alter is valid

Trait Implementations

impl Clone for AlterContext

fn clone(&self) -> AlterContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AlterContext

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

Formats the value using the given formatter.

impl Default for AlterContext

fn default() -> Self

Returns the “default value” for a type.