Struct ProgramResult 

pub struct ProgramResult<'a> { /* private fields */ }

Successful evaluation returns all emission requests together. No callback runs during evaluation. Rendering spends the same request budget and callers should commit the returned bytes only after rendering succeeds.

Implementations

impl<'a> ProgramResult<'a>

pub fn candidate(&self) -> Option<&Input>

The complete reparsed document, present only for an editing program.

pub fn emissions(&self) -> &[ProgramEmission<'a>]

pub fn semantic(&self) -> Option<&SemanticResult<'a>>

pub fn model_facts(&self) -> Option<&ModelFacts<'a>>

Retained owner for native nominal IDs, including pure .dzn reports.

pub fn limitations(&self) -> &[SourceDiagnostic]

pub fn is_complete(&self) -> bool

pub fn render(&mut self) -> Result<Vec<u8>, QueryError>

Render all requested outputs into one buffer. Zirql traverses mixed report containers and renders JSON or Markdown. JSON uses tagged constructed data and a completion envelope; Markdown retains completion metadata on this result. Repeated rendering charges the allowance again; a failure returns no partial bytes.

Trait Implementations

impl<'a> Debug for ProgramResult<'a>

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

Formats the value using the given formatter.