Struct cairo_lang_lowering::lower::context::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: Option<ExprLoop>,
    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: Option<ExprLoop>

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<'a, 'db> LoweringContext<'a, 'db>

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 get_location( &self, stable_ptr: SyntaxStablePtrId ) -> StableLocationOption

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

Trait Implementations

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

type Target = EncapsulatingLoweringContext<'db>

The resulting type after dereferencing.

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

Dereferences the value.

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

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

Mutably dereferences the value.