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. Shared syntax inside a native operand must have one owner: lowering consumes its opaque native payloads. Sharing runtime values does not impose this syntax-ownership requirement.

Errors

Unsupported constructs, duplicate names and exhausted construction bounds retain caller-supplied ranges. Shared syntax with multiple owners, direct filter, match and path payloads and emission are refused before lowering. 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.