Skip to main content

aver/diagnostics/
mod.rs

1//! Canonical diagnostic model, factories, and analysis pipeline.
2//!
3//! Runtime-neutral and wasm-safe: shared between CLI (`src/main/tty_render`),
4//! the playground (`src/playground.rs`), and the LSP server.
5//!
6//! Entry point: [`analyze_source`] — source in, [`AnalysisReport`] out.
7//!
8//! Schema: JSON emitted via [`AnalysisReport::to_json`] carries
9//! `schema_version: 1`. See `docs/diagnostics-schema.md`.
10
11pub mod analyze;
12pub mod classify;
13pub mod context;
14pub mod factories;
15pub mod model;
16#[cfg(feature = "runtime")]
17pub mod verify_run;
18#[cfg(feature = "runtime")]
19pub mod vm_verify;
20#[cfg(all(feature = "runtime", feature = "wasm"))]
21pub mod wasm_gc_verify;
22pub mod why;
23
24pub use analyze::{AnalyzeOptions, analyze_source};
25pub use factories::{
26    from_check_finding, from_type_error, needs_format_diagnostic, replay_effect_error_diagnostic,
27    replay_output_mismatch_diagnostic, unused_binding_diagnostic, verify_mismatch_diagnostic,
28    verify_runtime_error_diagnostic, verify_unexpected_err_diagnostic,
29};
30pub use model::{
31    AnalysisReport, AnnotatedRegion, Diagnostic, RelatedSpan, Repair, SCHEMA_VERSION, Severity,
32    SourceLine, Span, Underline, json_escape,
33};