Struct LoweringContext

pub struct LoweringContext<'a, 'db> {
    pub encapsulating_ctx: Option<&'a mut EncapsulatingLoweringContext<'db>>,
    pub variables: VariableAllocator<'db>,
    pub signature: Signature,
    pub function_id: FunctionWithBodyId,
    pub concrete_function_id: ConcreteFunctionWithBodyId,
    pub current_loop_expr_id: Option<ExprId>,
    pub diagnostics: LoweringDiagnostics,
    pub blocks: FlatBlocksBuilder,
}

Fields

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

variables: VariableAllocator<'db>

Variable allocator.

signature: Signature

Current function signature.

function_id: FunctionWithBodyId

Id for the current function being lowered.

concrete_function_id: ConcreteFunctionWithBodyId

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

current_loop_expr_id: Option<ExprId>

Current loop expression needed for recursive calls in continue

diagnostics: LoweringDiagnostics

Current emitted diagnostics.

blocks: FlatBlocksBuilder

Lowered blocks of the function.

Implementations

impl<'a, 'db> LoweringContext<'a, 'db>

pub fn new( global_ctx: &'a mut EncapsulatingLoweringContext<'db>, function_id: FunctionWithBodyId, signature: Signature, ) -> Maybe<Self>

where 'db: 'a,

impl LoweringContext<'_, '_>

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

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

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

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) -> LocationId

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

Trait Implementations

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

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.