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;
20pub mod why;
21
22pub use analyze::{AnalyzeOptions, analyze_source};
23pub use factories::{
24    from_check_finding, from_type_error, needs_format_diagnostic, replay_effect_error_diagnostic,
25    replay_output_mismatch_diagnostic, unused_binding_diagnostic, verify_mismatch_diagnostic,
26    verify_runtime_error_diagnostic, verify_unexpected_err_diagnostic,
27};
28pub use model::{
29    AnalysisReport, AnnotatedRegion, Diagnostic, RelatedSpan, Repair, SCHEMA_VERSION, Severity,
30    SourceLine, Span, Underline, json_escape,
31};