Struct TypeChecker 

pub struct TypeChecker { /* private fields */ }

Type checker

Implementations

impl TypeChecker

pub fn new() -> Self

Create a new type checker

pub fn check(&mut self, ast: &AST) -> Result<(), TypeError>

Type check an AST

pub fn get_var_type(&self, name: &str) -> Option<&VarType>

Get variable type

pub fn get_function_signature(&self, name: &str) -> Option<&FunctionSignature>

Get function signature

Trait Implementations

impl Clone for TypeChecker

fn clone(&self) -> TypeChecker

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeChecker

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

Formats the value using the given formatter.

impl Default for TypeChecker

fn default() -> Self

Returns the “default value” for a type.