Struct LoweringContext 

pub struct LoweringContext<'db, 'mt> {
    pub encapsulating_ctx: Option<&'mt mut EncapsulatingLoweringContext<'db>>,
    pub variables: VariableAllocator<'db>,
    pub signature: EnrichedSemanticSignature<'db>,
    pub function_id: FunctionWithBodyId<'db>,
    pub concrete_function_id: ConcreteFunctionWithBodyId<'db>,
    pub current_loop_ctx: Option<LoopContext<'db>>,
    pub diagnostics: LoweringDiagnostics<'db>,
    pub blocks: BlocksBuilder<'db>,
    pub return_type: TypeId<'db>,
    pub snapped_semantics: OrderedHashMap<MemberPath<'db>, VariableId>,
}

Fields

encapsulating_ctx: Option<&'mt mut EncapsulatingLoweringContext<'db>>

variables: VariableAllocator<'db>

Variable allocator.

signature: EnrichedSemanticSignature<'db>

Current function signature.

function_id: FunctionWithBodyId<'db>

Id for the current function being lowered.

concrete_function_id: ConcreteFunctionWithBodyId<'db>

Id for the current concrete function to be used when generating recursive calls. This is the generic function specialized with its own generic parameters.

current_loop_ctx: Option<LoopContext<'db>>

Current loop context.

diagnostics: LoweringDiagnostics<'db>

Current emitted diagnostics.

blocks: BlocksBuilder<'db>

Lowered blocks of the function.

return_type: TypeId<'db>

snapped_semantics: OrderedHashMap<MemberPath<'db>, VariableId>

The semantic variables that are captured as snapshots.

For example, if we have a loop body that uses @x.a, then x.a will be added to snapped_semantics.

Implementations

impl<'db, 'mt> LoweringContext<'db, 'mt>

pub fn new( global_ctx: &'mt mut EncapsulatingLoweringContext<'db>, function_id: FunctionWithBodyId<'db>, signature: EnrichedSemanticSignature<'db>, return_type: TypeId<'db>, ) -> Maybe<Self>

where 'db: 'mt,

impl<'db, 'mt> LoweringContext<'db, 'mt>

pub fn new_var(&mut self, req: VarRequest<'db>) -> VariableId

Allocates a new variable in the context’s variable arena according to the context.

pub fn new_var_usage(&mut self, req: VarRequest<'db>) -> VarUsage<'db>

Same as new_var but returns it as a VarUsage. This is useful when the variable definition and usage locations are the same.

pub fn get_location( &self, stable_ptr: SyntaxStablePtrId<'db>, ) -> LocationId<'db>

Retrieves the LocationId of a stable syntax pointer in the current function file.

Trait Implementations

impl<'db, 'mt> Deref for LoweringContext<'db, 'mt>

type Target = EncapsulatingLoweringContext<'db>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl DerefMut for LoweringContext<'_, '_>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.