Struct chrysanthemum::verify::VContext

pub struct VContext {
    pub functions: FnvHashMap<String, FunctionDef>,
    pub types: FnvHashMap<Type, TypeDef>,
}

Verification context. Contains things like symbol tables, etc.

The Default impl will give you the default type and function definitions, too.

Fields

functions: FnvHashMap<String, FunctionDef>

Function definitions.

types: FnvHashMap<Type, TypeDef>

Type definitions

Methods

impl VContext

pub fn type_of_expr(&self, e: &Expr) -> Result<Type, Error>

Returns the type that the given expression must yield. Error if type is unknown, ie an undefined structure.

pub fn type_of_exprs(&self, e: &[Expr]) -> Result<Type, Error>

Returns the type that the given LIST of expressions must yield, which is the type of the last expression, or Unit if the list is empty.

pub fn get_defined_type(&self, name: &Type) -> &TypeDef

Returns a TypeDef matching a given name. Assumes the typedef exists and has already been defined; may panic if it hasn't.

It might be better to turn the AST into an IR with all types resolved, but, for now...

Trait Implementations

impl Clone for VContext

fn clone(&self) -> VContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for VContext

fn default() -> Self

Returns the "default value" for a type.

impl Debug for VContext

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

Formats the value using the given formatter.