Struct TypeEnv 

pub struct TypeEnv { /* private fields */ }

A type environment for tracking variable and type bindings.

Implementations

impl TypeEnv

pub fn new() -> Self

Create a new empty type environment with a global scope.

pub fn push_scope(&mut self)

Enter a new scope.

pub fn pop_scope(&mut self)

Exit the current scope.

pub fn bind_local(&mut self, name: String, ty: Type)

Bind a local variable in the current scope.

pub fn lookup_local(&self, name: &str) -> Option<&Type>

Look up a local variable, searching from innermost scope.

pub fn define_type_alias(&mut self, name: String, ty: Type)

Define a type alias.

pub fn lookup_type_alias(&self, name: &str) -> Option<&Type>

Look up a type alias.

pub fn resolve_type(&self, ty: &Type) -> Type

Resolve a named type to its actual type. Returns the type itself if it’s not an alias.

pub fn define_const(&mut self, name: String, ty: Type)

Define a constant.

pub fn lookup_const(&self, name: &str) -> Option<&Type>

Look up a constant.

pub fn define_var(&mut self, name: String, ty: Type)

Define a state variable.

pub fn lookup_var(&self, name: &str) -> Option<&Type>

Look up a state variable.

pub fn state_var_names(&self) -> impl Iterator<Item = &str>

Get all state variable names.

pub fn define_action(&mut self, name: String, sig: ActionSig)

Define an action.

pub fn lookup_action(&self, name: &str) -> Option<&ActionSig>

Look up an action.

pub fn define_func( &mut self, name: String, param_names: Vec<String>, param_types: Vec<Type>, )

Define a user-defined function.

pub fn lookup_func(&self, name: &str) -> Option<&FuncInfo>

Look up a function.

pub fn lookup_ident(&self, name: &str) -> Option<&Type>

Look up any identifier (local, const, or var).

Trait Implementations

impl Clone for TypeEnv

fn clone(&self) -> TypeEnv

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeEnv

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

Formats the value using the given formatter.

impl Default for TypeEnv

fn default() -> Self

Returns the “default value” for a type.