Struct NullDriver

pub struct NullDriver;

Driver that discards all pipeline outputs.

Trait Implementations

impl Driver for NullDriver

type Error = Infallible

Error type returned by hook implementations.

fn on_ast(&mut self, _program: &Program) -> Result<(), Self::Error>

Observe the parsed AST before meta expansion.

fn on_expanded_ast(&mut self, _program: &Program) -> Result<(), Self::Error>

Observe the AST after meta expansion and elaboration.

fn on_hir(&mut self, _program: &HirProgram) -> Result<(), Self::Error>

Observe lowered HIR.

fn on_hir_origins( &mut self, _origins: &HirOriginTable, ) -> Result<(), Self::Error>

Observe side-table provenance ids keyed by HIR expression ids.

fn on_checked(&mut self, _program: &CheckedProgram) -> Result<(), Self::Error>

Observe semantic checker annotations.

fn on_mir(&mut self, _program: &MirProgram) -> Result<(), Self::Error>

Observe lowered MIR.

fn on_mir_origins( &mut self, _origins: &MirOriginTable, ) -> Result<(), Self::Error>

Observe side-table provenance ids keyed by MIR function/local ids.

fn on_pass_snapshot( &mut self, _snapshot: &PassSnapshot, ) -> Result<(), Self::Error>

Observe one pass snapshot emitted by the pipeline.

fn on_rust(&mut self, _source: &str) -> Result<(), Self::Error>

Observe emitted Rust source.

fn on_wat(&mut self, _source: &str) -> Result<(), Self::Error>

Observe emitted WAT source.

fn on_wasm(&mut self, _bytes: &[u8]) -> Result<(), Self::Error>

Observe emitted WASM bytes when available.

fn on_wasm_diagnostics( &mut self, _diagnostics: &[WasmDiagnostic], ) -> Result<(), Self::Error>

Observe non-fatal diagnostics from WASM emission.

fn on_pass_timings( &mut self, _timings: &[PassTiming], ) -> Result<(), Self::Error>

Observe per-pass timing information.

fn on_provenance_summary( &mut self, _summary: ProvenanceSummary, ) -> Result<(), Self::Error>

Observe aggregate provenance counters for one compile run.