Struct SemanticLoweringMapping

pub struct SemanticLoweringMapping {
    pub captured: UnorderedHashMap<MemberPath, VariableId>,
    pub copiable_captured: UnorderedHashMap<MemberPath, VariableId>,
    pub closures: UnorderedHashMap<VariableId, ClosureInfo>,
    /* private fields */
}

Fields

captured: UnorderedHashMap<MemberPath, VariableId>

Maps captured member paths to a clusure that captured them.

copiable_captured: UnorderedHashMap<MemberPath, VariableId>

Maps captured member paths which are copiable to a clusure that captured them.

closures: UnorderedHashMap<VariableId, ClosureInfo>

Maps the variable id of a closure to the closure info.

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 destructure_closure<TContext: StructRecomposer>( &mut self, ctx: &mut TContext, closure_var: VariableId, closure_info: &ClosureInfo, ) -> Vec<VariableId>

pub fn invalidate_closure<TContext: StructRecomposer>( &mut self, ctx: &mut TContext, closure_var: VariableId, )

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: &mut 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.