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>,
    pub inference: Inference<'ctx>,
    /* 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.

inference: Inference<'ctx>

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