Struct MatlabTypeChecker 

pub struct MatlabTypeChecker {
    pub env: HashMap<String, MatlabType>,
    pub errors: Vec<String>,
}

A basic type-consistency checker for MATLAB expressions.

Fields

env: HashMap<String, MatlabType>

Variable type environment.

errors: Vec<String>

Type errors collected.

Implementations

impl MatlabTypeChecker

pub fn new() -> Self

Create a new checker.

pub fn declare(&mut self, name: impl Into<String>, ty: MatlabType)

Declare a variable with a type.

pub fn infer(&self, expr: &MatlabExpr) -> MatlabType

Infer the type of a MATLAB expression.

pub fn check_stmt(&mut self, stmt: &MatlabStmt)

Check a statement for type consistency.

pub fn has_errors(&self) -> bool

Whether any errors were found.

Trait Implementations

impl Default for MatlabTypeChecker

fn default() -> Self

Returns the “default value” for a type.