Struct AnalysisReport 

pub struct AnalysisReport {
    pub schema_version: u32,
    pub kind: &'static str,
    pub file_label: String,
    pub diagnostics: Vec<Diagnostic>,
    pub why_summary: Option<WhySummary>,
    pub context_summary: Option<ContextSummary>,
    pub verify_summary: Option<VerifySummary>,
}

Fields

schema_version: u32

kind: &'static str

file_label: String

diagnostics: Vec<Diagnostic>

why_summary: Option<WhySummary>

File-local justification summary — present when the caller opts in via AnalyzeOptions::include_why_summary.

context_summary: Option<ContextSummary>

File-local context summary (module shape, functions, types, decisions) — present when include_context_summary is set.

verify_summary: Option<VerifySummary>

Per-verify-block pass/fail/skip counts — present when include_verify_run is set. Diagnostics list carries the failing case details; verify_summary gives the scorecard.

Implementations

impl AnalysisReport

pub fn new(file_label: impl Into<String>) -> Self

pub fn with_diagnostics( file_label: impl Into<String>, diagnostics: Vec<Diagnostic>, ) -> Self

pub fn to_json(&self) -> String

Trait Implementations

impl Clone for AnalysisReport

fn clone(&self) -> AnalysisReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisReport

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

Formats the value using the given formatter.

impl Serialize for AnalysisReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.