Struct semantic_analyzer::semantic::GlobalState

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

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

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

Trait Implementations

impl Debug for GlobalState

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

Formats the value using the given formatter.