Struct ModuleTracer

struct ModuleTracer<'module> {
    module: &'module Module,
    types_used: HandleSet<Type>,
    constants_used: HandleSet<Constant>,
    overrides_used: HandleSet<Override>,
    global_expressions_used: HandleSet<Expression>,
}

Fields

module: &'module Module

types_used: HandleSet<Type>

constants_used: HandleSet<Constant>

overrides_used: HandleSet<Override>

global_expressions_used: HandleSet<Expression>

Implementations

impl<'module> ModuleTracer<'module>

fn new(module: &'module Module) -> Self

fn trace_special_types(&mut self, special_types: &SpecialTypes)

fn type_expression_tandem(&mut self)

Traverse types and global expressions in tandem to determine which are used.

Assuming that all types and global expressions used by other parts of the module have been added to types_used and global_expressions_used, expand those sets to include all types and global expressions reachable from those.

fn as_type(&mut self) -> TypeTracer<'_>

fn as_const_expression(&mut self) -> ExpressionTracer<'_>

pub fn as_function<'tracer>( &'tracer mut self, function: &'tracer Function, ) -> FunctionTracer<'tracer>

Trait Implementations

impl From<ModuleTracer<'_>> for ModuleMap

fn from(used: ModuleTracer<'_>) -> Self

Converts to this type from the input type.