Struct cairo_lang_semantic::expr::compute::ComputationContext

pub struct ComputationContext<'ctx> {
    pub db: &'ctx dyn SemanticGroup,
    pub diagnostics: &'ctx mut SemanticDiagnostics,
    pub resolver: Resolver<'ctx>,
    pub exprs: Arena<Expr>,
    pub statements: Arena<Statement>,
    pub semantic_defs: UnorderedHashMap<VarId, Variable>,
    /* private fields */
}

Context for computing the semantic model of expression trees.

Fields

db: &'ctx dyn SemanticGroup

diagnostics: &'ctx mut SemanticDiagnostics

resolver: Resolver<'ctx>

exprs: Arena<Expr>

statements: Arena<Statement>

semantic_defs: UnorderedHashMap<VarId, Variable>

Definitions of semantic variables.

Implementations

impl<'ctx> ComputationContext<'ctx>

pub fn new( db: &'ctx dyn SemanticGroup, diagnostics: &'ctx mut SemanticDiagnostics, resolver: Resolver<'ctx>, signature: Option<&'ctx Signature>, environment: Environment ) -> Self