Struct cairo_lang_lowering::lower::refs::SemanticLoweringMapping

pub struct SemanticLoweringMapping { /* private fields */ }

Maps member paths (MemberPath) to lowered variable ids.

Implementations

impl SemanticLoweringMapping

pub fn topmost_mapped_containing_member_path( &mut self, member_path: MemberPath ) -> Option<MemberPath>

Returns the topmost mapped member path containing the given member path, or None no such member path exists in the mapping.

pub fn get_scattered_members( &mut self, member_path: &MemberPath ) -> Option<Vec<MemberPath>>

Returns the scattered members of the given member path, or None if the member path is not scattered.

pub fn get<TContext: StructRecomposer>( &mut self, ctx: TContext, path: &MemberPath ) -> Option<VariableId>

pub fn introduce(&mut self, path: MemberPath, var: VariableId)

pub fn update<TContext: StructRecomposer>( &mut self, ctx: TContext, path: &MemberPath, var: VariableId ) -> Option<()>

Trait Implementations

impl Clone for SemanticLoweringMapping

fn clone(&self) -> SemanticLoweringMapping

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SemanticLoweringMapping

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SemanticLoweringMapping

fn default() -> SemanticLoweringMapping

Returns the “default value” for a type.