Struct CheckOutcome 

pub struct CheckOutcome {
    pub diagnostics: Vec<Diagnostic>,
    pub model: Option<SemanticModel>,
    pub files: Vec<FileRecord>,
    pub post_compile_hook: Option<PostCompileHook>,
    pub display_root: PathBuf,
}

The outcome of check: structured diagnostics plus the resolved model.

model is present exactly when diagnostics contains no errors; files is the frontend file registry (main file id 0, then one entry per include) and is retained even on failure so diagnostics map to real sources.

Fields

diagnostics: Vec<Diagnostic>

model: Option<SemanticModel>

files: Vec<FileRecord>

post_compile_hook: Option<PostCompileHook>

The declared #!postCompileHook script, when the source declared one and the project checked clean.

This is the declaration record, not an execution result: the frontend recognizes, parses, validates, and records the directive, but never executes the hook. Execution against the final Workshop text is lowering-dependent (workshop-rs emission, issue #8); the frontend never fabricates a Workshop payload.

display_root: PathBuf

The directory the files display paths resolve against — the #!mainFile effective directory when the entry redirects the project root, otherwise the canonicalized input root.

Implementations

impl CheckOutcome

pub fn is_clean(&self) -> bool

Whether the project checked clean.

Trait Implementations

impl Clone for CheckOutcome

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckOutcome

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

Formats the value using the given formatter.