Struct TypeContext 

pub struct TypeContext { /* private fields */ }

Context for type resolution and type checking

Maintains a registry of user-defined types and provides field lookup, type compatibility checking, and type inference from literal values.

Example

use elo_rust::codegen::types::{TypeContext, TypeInfo, RustType};

let mut context = TypeContext::new();

let mut user_type = TypeInfo::new("User");
user_type.add_field("email", RustType::String);
user_type.add_field("age", RustType::Integer);

context.register_type("User", user_type);

// Look up field types
assert_eq!(
    context.get_field_type("User", "email"),
    Some(&RustType::String)
);

Implementations

impl TypeContext

pub fn new() -> Self

Create a new empty type context

pub fn register_type(&mut self, name: &str, type_info: TypeInfo)

Register a new custom type in the context

Arguments

• name - The name of the type (e.g., “User”, “Product”)
• type_info - The type information including field definitions

pub fn get_field_type( &self, type_name: &str, field_name: &str, ) -> Option<&RustType>

Look up the type of a field in a registered type

Arguments

• type_name - The name of the type (e.g., “User”)
• field_name - The name of the field (e.g., “email”)

Returns

Some(&RustType) if the type and field exist, None otherwise

pub fn is_empty(&self) -> bool

Check if this context has any registered types

pub fn list_all_type_names(&self) -> Vec<String>

Get all registered type names

pub fn infer_from_literal(&self, literal: &str) -> RustType

Infer the type from a literal value

Attempts to determine the Rust type of a literal string by:

1. Trying to parse as integer
2. Trying to parse as float
3. Checking for boolean keywords (true/false)
4. Checking for quoted strings

Arguments

• literal - The literal value as a string

Returns

The inferred RustType, or RustType::Unknown if unable to infer

Trait Implementations

impl Clone for TypeContext

fn clone(&self) -> TypeContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeContext

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

Formats the value using the given formatter.

impl Default for TypeContext

fn default() -> TypeContext

Returns the “default value” for a type.