Struct TypeTracker 

pub struct TypeTracker { /* private fields */ }

Tracks variable types within the current analysis scope

Implementations

impl TypeTracker

pub fn new() -> Self

pub fn with_registry(registry: Arc<GlobalTypeRegistry>) -> Self

Create a TypeTracker with a shared type registry

pub fn set_function_registry( &mut self, registry: Arc<FunctionSignatureRegistry>, )

Set the function registry for return type resolution

pub fn set_current_file(&mut self, file: PathBuf)

Set the current file path for import resolution

pub fn set_module_path(&mut self, path: Vec<String>)

Set the module path

pub fn enter_scope(&mut self, kind: ScopeKind, impl_type: Option<String>)

Enter a new scope

pub fn exit_scope(&mut self)

Exit the current scope

pub fn record_variable(&mut self, name: String, resolved_type: ResolvedType)

Record a variable with its type

pub fn resolve_variable_type(&self, name: &str) -> Option<ResolvedType>

Resolve a variable’s type by looking through the scope stack

pub fn resolve_expr_type(&self, expr: &Expr) -> Option<ResolvedType>

Resolve the type of an expression

pub fn current_impl_type(&self) -> Option<String>

Get the current impl type if in an impl block

pub fn track_self_param( &mut self, fn_item: Option<&ItemFn>, impl_fn: Option<&ImplItemFn>, )

Track self parameter in a function

Trait Implementations

impl Clone for TypeTracker

fn clone(&self) -> TypeTracker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeTracker

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

Formats the value using the given formatter.

impl Default for TypeTracker

fn default() -> Self

Returns the “default value” for a type.