Struct Checker 

pub struct Checker { /* private fields */ }

Implementations

impl Checker

pub fn new() -> Self

pub fn with_strict(self, strict: bool) -> Self

pub fn with_working_dir<P: Into<PathBuf>>(self, dir: P) -> Self

pub fn with_shape_cache( self, cache: Rc<RefCell<BTreeMap<PathBuf, Shape>>>, ) -> Self

pub fn with_import_stack(self, stack: Vec<PathBuf>) -> Self

pub fn with_symbol_table(self, symbol_table: BTreeMap<Rc<str>, Shape>) -> Self

pub fn pop_shape(&mut self) -> Option<Shape>

pub fn result(self) -> Result<BTreeMap<Rc<str>, Shape>, BuildError>

Returns the accumulated symbol table if type checking succeeded, or the first type error encountered (which is typically the root cause).

Trait Implementations

impl Visitor for Checker

fn visit_import(&mut self, _i: &mut ImportDef)

fn leave_import(&mut self)

fn visit_include(&mut self, _i: &mut IncludeDef)

fn leave_include(&mut self)

fn visit_fail(&mut self, _f: &mut FailDef)

fn leave_fail(&mut self)

fn visit_expression(&mut self, expr: &mut Expression)

fn leave_expression(&mut self, expr: &Expression)

fn visit_statement(&mut self, stmt: &mut Statement)

fn leave_statement(&mut self, _stmt: &Statement)

fn visit_value(&mut self, _val: &mut Value)

fn leave_value(&mut self, _val: &Value)