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;
16pub mod shape;
17#[cfg(feature = "runtime")]
18pub mod verify_run;
19#[cfg(feature = "runtime")]
20pub mod vm_verify;
21#[cfg(all(feature = "runtime", feature = "wasm"))]
22pub mod wasm_gc_verify;
23pub mod why;
24
25pub use analyze::{AnalyzeOptions, analyze_source};
26pub use factories::{
27    from_check_finding, from_type_error, needs_format_diagnostic, replay_effect_error_diagnostic,
28    replay_output_mismatch_diagnostic, unused_binding_diagnostic, verify_mismatch_diagnostic,
29    verify_runtime_error_diagnostic, verify_unexpected_err_diagnostic,
30};
31pub use model::{
32    AnalysisReport, AnnotatedRegion, Diagnostic, RelatedSpan, Repair, SCHEMA_VERSION, Severity,
33    SourceLine, Span, Underline, json_escape,
34};