Struct ComputationContext

pub struct ComputationContext<'ctx> {
    pub db: &'ctx dyn SemanticGroup,
    pub diagnostics: &'ctx mut SemanticDiagnostics,
    pub resolver: Resolver<'ctx>,
    pub arenas: Arenas,
    pub semantic_defs: UnorderedHashMap<VarId, Binding>,
    /* private fields */
}

Context for computing the semantic model of expression trees.

Fields

db: &'ctx dyn SemanticGroup

diagnostics: &'ctx mut SemanticDiagnostics

resolver: Resolver<'ctx>

arenas: Arenas

Arenas of semantic objects.

semantic_defs: UnorderedHashMap<VarId, Binding>

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, function_id: ContextFunction, ) -> Self

pub fn apply_inference_rewriter_to_exprs(&mut self)

Applies inference rewriter to all the expressions in the computation context, and adds errors on types from the final expressions.