Struct ComputationContext 

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

Context for computing the semantic model of expression trees.

Fields

db: &'ctx dyn Database

diagnostics: &'mt mut SemanticDiagnostics<'ctx>

resolver: &'mt mut Resolver<'ctx>

arenas: Arenas<'ctx>

Arenas of semantic objects.

semantic_defs: UnorderedHashMap<VarId<'ctx>, Binding<'ctx>>

Definitions of semantic variables.

Implementations

impl<'ctx, 'mt> ComputationContext<'ctx, 'mt>

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

Creates a new computation context.

pub fn new_global( db: &'ctx dyn Database, diagnostics: &'mt mut SemanticDiagnostics<'ctx>, resolver: &'mt mut Resolver<'ctx>, ) -> Self

Creates a new computation context for a global scope.

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.