Struct GenericAnalyzer 

pub struct GenericAnalyzer {
    pub generic_instances: Mutex<HashMap<String, Vec<GenericInstance>>>,
    pub constraint_violations: Mutex<Vec<ConstraintViolation>>,
    pub instantiation_events: Mutex<Vec<InstantiationEvent>>,
}

Fields

generic_instances: Mutex<HashMap<String, Vec<GenericInstance>>>

constraint_violations: Mutex<Vec<ConstraintViolation>>

instantiation_events: Mutex<Vec<InstantiationEvent>>

Implementations

impl GenericAnalyzer

pub fn new() -> Self

pub fn track_generic_instantiation( &self, base_type: &str, type_params: Vec<String>, ptr: usize, )

pub fn track_generic_instantiation_with_name( &self, name: &str, base_type: &str, type_params: Vec<String>, ptr: usize, )

pub fn track_type_alias_instantiation( &self, alias_name: &str, underlying_type: &str, type_params: Vec<String>, ptr: usize, )

pub fn analyze_constraints(&self, type_name: &str) -> Vec<GenericConstraint>

pub fn check_constraint_violations( &self, type_name: &str, actual_params: &[String], ) -> Vec<ConstraintViolation>

pub fn get_generic_statistics(&self) -> GenericStatistics

pub fn get_type_aliases(&self) -> Vec<TypeAliasInfo>

pub fn resolve_type_alias(&self, alias_name: &str) -> Option<String>

Trait Implementations

impl Default for GenericAnalyzer

fn default() -> Self

Returns the “default value” for a type.