Struct GenericAnalyzer 

pub struct GenericAnalyzer { /* private fields */ }

Generic type analysis system

Implementations

impl GenericAnalyzer

pub fn new() -> Self

Create a new generic analyzer

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

Track a generic type instantiation

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

Track a generic type instantiation with variable name

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

Track a type alias instantiation

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

Analyze generic constraints for a type

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

Check for constraint violations

pub fn get_generic_statistics(&self) -> GenericStatistics

Get statistics about generic usage

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

Get all type aliases and their underlying types

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

Resolve a type alias to its underlying type

Trait Implementations

impl Default for GenericAnalyzer

fn default() -> Self

Returns the “default value” for a type.