Struct GlobalState

pub struct GlobalState<I: SemanticContextInstruction> {
    pub constants: HashMap<ConstantName, Constant>,
    pub types: HashMap<TypeName, Type>,
    pub functions: HashMap<FunctionName, Function>,
    pub context: SemanticStack<I>,
}

Global State

Global state can contains state declarations of:

• Constants
• Types
• Functions And Semantic State context results for Global State context:
• Context The visibility of Global state limited by current module. Context contains results of Semantic stack, as result of Semantic analyzer for Global State context. It’s can be used for post-verification process, linting, Codegen.

Fields

constants: HashMap<ConstantName, Constant>

Constants declarations

types: HashMap<TypeName, Type>

Types declarations

functions: HashMap<FunctionName, Function>

Functions declarations

context: SemanticStack<I>

Context as Semantic Stack Context results contains basic semantic result tree for Global context state.

Trait Implementations

impl<I: Debug + SemanticContextInstruction> Debug for GlobalState<I>

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

Formats the value using the given formatter.