Struct Program 

pub struct Program { /* private fields */ }

Implementations

impl Program

pub fn from_values( functions: Vec<ProgramFunction>, bindings: Vec<(Pattern, ProgramValue)>, final_report: ProgramValue, limits: ProgramLimits, ) -> Result<Self, QueryError>

Construct a pure report without parsing generated source. Native leaves use shared expressions with ProgramNative stages and native set operators. Query leaves own domain syntax; ordering selectors retain their singleton input and the caller’s query range.

All input trees transfer to this call, including on failure. Preparation against the current input/model happens during ordinary evaluation.

Errors

Unsupported constructs, duplicate names and exhausted construction bounds retain caller-supplied ranges. Evaluation also checks scope, purity, pattern compatibility and native types before executing statements.

impl Program

pub fn parse(source: &str, limits: ProgramLimits) -> Result<Self, QueryError>

Parse immutable bindings, reports, or one terminal data edit batch. All names, terminal emitters and supported result transitions are checked before any statement executes.

pub fn is_editing(&self) -> bool

pub fn requires_model_facts(&self) -> bool

pub fn evaluate<'a>( &self, input: &'a Input, limits: ProgramLimits, ) -> Result<ProgramResult<'a>, QueryError>

pub fn evaluate_with_model<'a>( &self, input: &'a Input, model: Option<&'a ModelContext>, limits: ProgramLimits, ) -> Result<ProgramResult<'a>, QueryError>

pub fn evaluate_with_facts<'a>( &self, input: &'a Input, facts: Rc<ModelFacts<'a>>, limits: ProgramLimits, ) -> Result<ProgramResult<'a>, QueryError>

pub fn with_function_limits(self, limits: FunctionLimits) -> Self

Set the independent active function depth; compatible tail calls reuse it.

pub fn parameters(&self) -> &[ParameterDeclaration]

Required scalar declarations retained by this program.

pub fn evaluate_with_parameters<'a>( &self, input: &'a Input, parameters: ParameterInputs<'_>, limits: ProgramLimits, ) -> Result<ProgramResult<'a>, QueryError>

Admit the complete caller set before native/model execution.

pub fn evaluate_with_model_and_parameters<'a>( &self, input: &'a Input, model: Option<&'a ModelContext>, parameters: ParameterInputs<'_>, limits: ProgramLimits, ) -> Result<ProgramResult<'a>, QueryError>

pub fn evaluate_with_facts_and_parameters<'a>( &self, input: &'a Input, facts: Rc<ModelFacts<'a>>, parameters: ParameterInputs<'_>, limits: ProgramLimits, ) -> Result<ProgramResult<'a>, QueryError>

Trait Implementations

impl Debug for Program

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

Formats the value using the given formatter.

impl Drop for Program

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.