pub struct ExecutionPlan { /* private fields */ }Expand description
Validated, deterministic request plan.
Implementations§
Source§impl ExecutionPlan
impl ExecutionPlan
Sourcepub fn rules(&self) -> &[CompiledRule]
pub fn rules(&self) -> &[CompiledRule]
Rules in execution order: every rule after the rules its gates and
ruleOutcome selectors read, and otherwise by stable rule ID.
Sourcepub fn deferred(&self) -> &[DeferredRule]
pub fn deferred(&self) -> &[DeferredRule]
Rules compiled but not executable as authored, ordered by rule ID.
Sourcepub fn concepts(&self) -> &ConceptCatalog
pub fn concepts(&self) -> &ConceptCatalog
Canonical concepts declared by the ruleset’s definition packages.
Sourcepub fn refinement(&self, rule: &RuleId) -> Option<&RuleRefinement>
pub fn refinement(&self, rule: &RuleId) -> Option<&RuleRefinement>
How rule refines its outcomes; None when it declares nothing.
Sourcepub fn classifications(&self) -> &[ClassificationDefinition]
pub fn classifications(&self) -> &[ClassificationDefinition]
The classifications the plan derives, in the order they are derived.
Sourcepub fn gates(&self, rule: &RuleId) -> &[(RuleId, GateCondition)]
pub fn gates(&self, rule: &RuleId) -> &[(RuleId, GateCondition)]
The whole-rule gates of rule: each parent rule and the condition
on its outcome. Empty for an ungated rule.
Sourcepub fn is_auxiliary(&self, rule: &RuleId) -> bool
pub fn is_auxiliary(&self, rule: &RuleId) -> bool
Whether rule is auxiliary: run for the rules that read its
outcome, and never reported itself.
Trait Implementations§
Source§impl Clone for ExecutionPlan
impl Clone for ExecutionPlan
Auto Trait Implementations§
impl Freeze for ExecutionPlan
impl RefUnwindSafe for ExecutionPlan
impl Send for ExecutionPlan
impl Sync for ExecutionPlan
impl Unpin for ExecutionPlan
impl UnsafeUnpin for ExecutionPlan
impl UnwindSafe for ExecutionPlan
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more