Struct TypeTracker 

pub struct TypeTracker { /* private fields */ }

Tracks type information for variables during compilation

Implementations

impl TypeTracker

pub fn new(schema_registry: TypeSchemaRegistry) -> Self

Create a new type tracker with the given schema registry

pub fn empty() -> Self

Create a new type tracker with an empty registry

pub fn with_stdlib() -> Self

Create a new type tracker with stdlib types pre-registered

pub fn schema_registry(&self) -> &TypeSchemaRegistry

Get the schema registry

pub fn schema_registry_mut(&mut self) -> &mut TypeSchemaRegistry

Get mutable schema registry

pub fn push_scope(&mut self)

Push a new scope for local types

pub fn pop_scope(&mut self)

Pop a scope, removing local type info for that scope

pub fn set_local_type(&mut self, slot: u16, type_info: VariableTypeInfo)

Set type info for a local variable

pub fn set_binding_type(&mut self, slot: u16, type_info: VariableTypeInfo)

Set type info for a module_binding variable

pub fn set_local_binding_semantics( &mut self, slot: u16, semantics: BindingSemantics, )

Set ownership/storage metadata for a local binding.

pub fn set_binding_semantics(&mut self, slot: u16, semantics: BindingSemantics)

Set ownership/storage metadata for a module binding.

pub fn set_local_binding_storage_class( &mut self, slot: u16, storage_class: BindingStorageClass, )

Update only the storage strategy for a local binding.

pub fn set_binding_storage_class( &mut self, slot: u16, storage_class: BindingStorageClass, )

Update only the storage strategy for a module binding.

pub fn get_local_type(&self, slot: u16) -> Option<&VariableTypeInfo>

Get type info for a local variable

pub fn get_binding_type(&self, slot: u16) -> Option<&VariableTypeInfo>

Get type info for a module_binding variable

pub fn get_local_binding_semantics( &self, slot: u16, ) -> Option<&BindingSemantics>

Get ownership/storage metadata for a local binding.

pub fn get_binding_semantics(&self, slot: u16) -> Option<&BindingSemantics>

Get ownership/storage metadata for a module binding.

pub fn register_function_return_type( &mut self, func_name: &str, return_type: &str, )

Register a function’s return type

pub fn get_function_return_type(&self, func_name: &str) -> Option<&String>

Get a function’s return type

pub fn register_object_field_contracts( &mut self, schema_id: SchemaId, fields: HashMap<String, TypeAnnotation>, )

Register compile-time field type contracts for an object schema id.

pub fn get_object_field_contract( &self, schema_id: SchemaId, field_name: &str, ) -> Option<&TypeAnnotation>

Lookup a compile-time field type contract for a schema field.

pub fn get_typed_field_info( &self, type_name: &str, field_name: &str, ) -> Option<(SchemaId, usize, u16)>

Get field offset for typed field access

Returns (schema_id, field_offset, field_index) if type and field are known

pub fn get_row_view_column_id( &self, slot: u16, is_local: bool, field_name: &str, ) -> Option<u32>

Get column index for a RowView field access.

Returns the field index (used as col_id for ColumnAccess operand) if the variable is a RowView and the field exists in its schema.

pub fn can_use_typed_access( &self, slot: u16, is_local: bool, field_name: &str, ) -> bool

Check if we can use typed field access for a variable and field

pub fn get_local_storage_hint(&self, slot: u16) -> StorageHint

Get storage hint for a local variable

pub fn get_module_binding_storage_hint(&self, slot: u16) -> StorageHint

Get storage hint for a module_binding variable

pub fn local_uses_nan_sentinel(&self, slot: u16) -> bool

Check if a local variable uses NaN sentinel for nullability

pub fn module_binding_uses_nan_sentinel(&self, slot: u16) -> bool

Check if a module_binding variable uses NaN sentinel for nullability

pub fn clear_locals(&mut self)

Clear all local type info (for function entry)

pub fn register_inline_object_schema( &mut self, field_names: &[&str], ) -> SchemaId

Register an inline object schema from field names

Creates a TypeSchema for an object literal with the given fields. All fields are assumed to be Any type (NaN-boxed) since we don’t have full type inference at compile time.

Returns the SchemaId for use with NewTypedObject opcode.

Example

// For: let x = { a: 1, b: "hello" }
let schema_id = tracker.register_inline_object_schema(&["a", "b"]);
// Now emit NewTypedObject with schema_id

pub fn register_inline_object_schema_typed( &mut self, fields: &[(&str, FieldType)], ) -> SchemaId

Register an inline object schema with typed fields

Like register_inline_object_schema but allows specifying field types for better JIT optimization. Deduplicates by matching both field names and types.

pub fn register_named_object_schema( &mut self, type_name: &str, fields: &[(&str, FieldType)], ) -> SchemaId

Register a named struct schema (e.g. Point { x, y })

Unlike register_inline_object_schema which auto-generates names, this uses the actual struct type name so .type() can resolve it.

pub fn register_typed_object_schema( &mut self, field_defs: Vec<(String, FieldType)>, ) -> SchemaId

Register an inline object schema with typed fields

Like register_inline_object_schema but allows specifying field types for better JIT optimization.

Trait Implementations

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.