Struct TolerantCompiler 

pub struct TolerantCompiler { /* private fields */ }

Tolerant compilation façade.

The compiler is stateless besides its RecoveryStrategy; each call to Self::compile_program starts from a fresh CompilerContext unless the caller uses Self::compile_program_with_contexts.

Implementations

impl TolerantCompiler

pub fn new() -> Self

Construct a tolerant compiler with RecoveryStrategy::SkipOnError.

pub fn with_strategy(strategy: RecoveryStrategy) -> Self

Construct a tolerant compiler with a specific recovery strategy.

pub fn strategy(&self) -> RecoveryStrategy

Configured recovery strategy.

pub fn set_strategy(&mut self, strategy: RecoveryStrategy)

Update the recovery strategy in place.

pub fn compile_program(&self, program: &[TLExpr]) -> PartialCompilationResult

Compile a program (slice of expressions) under the current recovery strategy using one fresh CompilerContext per expression so failures do not poison the context for siblings.

pub fn compile_program_with<F>( &self, program: &[TLExpr], make_ctx: F, ) -> PartialCompilationResult

where F: FnMut(usize) -> CompilerContext,

Compile a program, calling make_ctx once per expression to obtain a fresh context. This lets callers share domain declarations across expressions while still keeping each compilation isolated.

pub fn compile_program_with_contexts( &self, program: &[TLExpr], contexts: &mut [CompilerContext], ) -> PartialCompilationResult

Compile a program re-using a caller-supplied vector of contexts. Every context is used exactly once, matched by index to the expression slot.

The caller must provide contexts.len() >= program.len(); surplus contexts are ignored.

Trait Implementations

impl Clone for TolerantCompiler

fn clone(&self) -> TolerantCompiler

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TolerantCompiler

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

Formats the value using the given formatter.

impl Default for TolerantCompiler

fn default() -> TolerantCompiler

Returns the “default value” for a type.