Struct EnvBuilder 

pub struct EnvBuilder { /* private fields */ }

A builder that accumulates declarations and checks them together.

Useful for constructing a consistent environment from a sequence of declarations, with error recovery.

Implementations

impl EnvBuilder

pub fn new() -> Self

Create a new empty builder.

pub fn add(&mut self, decl: Declaration) -> bool

Add a declaration to the builder, checking it against the current environment.

pub fn add_all(&mut self, decls: Vec<Declaration>) -> usize

Add multiple declarations.

pub fn build(self) -> (Environment, CheckStats, Vec<(String, String)>)

Return the built environment (consuming the builder).

pub fn env(&self) -> &Environment

Return a reference to the current environment.

pub fn stats(&self) -> &CheckStats

Return a reference to the current statistics.

pub fn errors(&self) -> &[(String, String)]

Return a reference to the current errors.

pub fn is_clean(&self) -> bool

Returns true if no errors have been encountered.

Trait Implementations

impl Default for EnvBuilder

fn default() -> EnvBuilder

Returns the “default value” for a type.