Struct QueryPlan 

pub struct QueryPlan { /* private fields */ }

A reusable, invocation-free typed read program.

Implementations

impl QueryPlan

pub fn new( bindings: Vec<AssertionBinding>, inputs: Vec<InputColumn>, pipeline: Vec<ReadStage>, output: QueryOutput, managed_semantics: ManagedSemanticSchemaFingerprint, ) -> Result<Self, Diagnostic>

Validate and construct one canonical plan under fixed protocol limits.

pub fn new_with_functions( bindings: Vec<AssertionBinding>, functions: Vec<LocalFunction>, inputs: Vec<InputColumn>, pipeline: Vec<ReadStage>, output: QueryOutput, managed_semantics: ManagedSemanticSchemaFingerprint, ) -> Result<Self, Diagnostic>

Validate and construct one plan carrying plan-local functions.

pub fn new_v2( bindings: Vec<AssertionBinding>, inputs: Vec<InputColumn>, pipeline: Vec<ReadStage>, output: QueryOutput, managed_semantics: ManagedSemanticSchemaFingerprint, ) -> Result<Self, Diagnostic>

Validate and construct one additive V2 low-level plan.

This constructor carries the required empty V2 compatibility object; there is no host-controlled format switch or legacy mode.

pub fn new_v2_with_functions( bindings: Vec<AssertionBinding>, functions: Vec<LocalFunction>, inputs: Vec<InputColumn>, pipeline: Vec<ReadStage>, output: QueryOutput, compatibility: QueryPlanV2Compatibility, managed_semantics: ManagedSemanticSchemaFingerprint, ) -> Result<Self, Diagnostic>

Validate and construct one additive V2 plan with local functions and an explicit Rust-owned compatibility contract.

pub fn check_structural_limits( &self, limits: StructuralLimits, ) -> Result<(), Diagnostic>

Re-check this plan’s whole structure under caller-supplied limits.

The exact construction-time traversal runs again — bindings, inputs, the root pipeline, and every local function under one aggregate predicate-node budget — so a caller passing stricter StructuralLimits gets every field enforced, not a subset.

pub fn format(&self) -> &str

Return the exact wire format discriminator.

pub fn bindings(&self) -> &[AssertionBinding]

Return dense binding declarations.

pub const fn v2_compatibility(&self) -> Option<&QueryPlanV2Compatibility>

Return the additive V2 compatibility contract.

V1 plans return None; every V2 plan returns Some, including native low-level plans whose compatibility object is empty.

pub fn inputs(&self) -> &[InputColumn]

Return dense typed input column declarations.

pub fn functions(&self) -> &[LocalFunction]

Return the plan-local functions.

pub fn pipeline(&self) -> &[ReadStage]

Return the ordered read pipeline.

pub const fn output(&self) -> &QueryOutput

Return the explicit output category.

pub const fn managed_semantics(&self) -> &ManagedSemanticSchemaFingerprint

Return the exact managed semantics this plan was authored against.

pub const fn required_capabilities(&self) -> &CapabilitySet

Return open capabilities derived from syntax, never named manually.

pub fn canonical_bytes(&self) -> Result<Vec<u8>, Diagnostic>

Encode exact canonical bytes.

pub fn fingerprint(&self) -> Result<QueryPlanFingerprint, Diagnostic>

Compute the canonical domain-separated plan fingerprint.

Trait Implementations

impl Clone for QueryPlan

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 QueryPlan

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

Formats the value using the given formatter.

impl Eq for QueryPlan

impl PartialEq for QueryPlan

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for QueryPlan

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for QueryPlan