Enum EngineError 

pub enum EngineError {
    UnsupportedSchemaVersion {
        package_kind: &'static str,
        package_id: String,
        version: String,
        supported: &'static str,
    },
    DuplicateDefinitionPackage(String),
    UnknownCapability(String),
    DuplicateCapability(String),
    UnknownParameter {
        capability: String,
        parameter: String,
    },
    MissingParameter {
        capability: String,
        parameter: String,
    },
    InvalidParameterType {
        capability: String,
        parameter: String,
    },
    InvalidTableRow {
        capability: String,
        parameter: String,
        row: usize,
        detail: String,
    },
    DuplicateBinding(String),
    InvalidRuleId(String),
    UnknownDefinition(String),
    MissingDefinitionPackage(String),
    CapabilityContract {
        definition: String,
        capability: String,
        detail: String,
    },
    DuplicateRule(String),
    DuplicateRuleSet(String),
    NoRuleSet,
    DuplicateConcept(String),
    UnknownConcept {
        rule: String,
        kind: String,
        concept: String,
    },
    DuplicateReportTable {
        rule: String,
        table: String,
    },
    InvalidRefinement {
        rule: String,
        detail: String,
    },
    MissingRefiner(&'static str),
    InvalidDependency {
        rule: String,
        detail: String,
    },
    InvalidClassification {
        classification: String,
        detail: String,
    },
}

Errors while compiling untrusted declarations into a trusted execution plan.

Variants

UnsupportedSchemaVersion

A package declares a schema version this compiler does not implement.

Fields

package_kind: &'static str

package_id: String

version: String

supported: &'static str

DuplicateDefinitionPackage(String)

Multiple supplied definition packages declared the same package identity.

UnknownCapability(String)

A capability was not registered by the host.

DuplicateCapability(String)

Two trusted implementations claimed an ID.

UnknownParameter

A package supplied a non-declared parameter.

Fields

capability: String

parameter: String

MissingParameter

A required parameter was absent.

Fields

capability: String

parameter: String

InvalidParameterType

A binding type did not conform to its descriptor.

Fields

capability: String

parameter: String

InvalidTableRow

A row of a table-valued binding does not fit the declared columns.

Fields

capability: String

parameter: String

row: usize

Zero-based row index.

detail: String

DuplicateBinding(String)

A rule binds a parameter more than once.

InvalidRuleId(String)

A rule ID violates the engine identity contract.

UnknownDefinition(String)

A rule references no loaded definition.

MissingDefinitionPackage(String)

A ruleset references a definition package that was not supplied.

CapabilityContract

A trusted capability descriptor conflicts with its portable definition.

Fields

definition: String

capability: String

detail: String

DuplicateRule(String)

Rule IDs must be unique throughout the recursive folder tree.

DuplicateRuleSet(String)

Two rulesets compiled together share a package ID.

NoRuleSet

No ruleset was given to compile.

DuplicateConcept(String)

Two loaded definition packages declare the same concept identity.

UnknownConcept

A rule names a concept no loaded definition package declares.

Fields

rule: String

kind: String

concept: String

DuplicateReportTable

One rule reported two tables of one name.

Fields

rule: String

table: String

InvalidRefinement

A rule refines its outcomes in a way the package or the capability cannot support, such as severity bands on a capability that reports no deviation.

Fields

rule: String

detail: String

MissingRefiner(&'static str)

The host asked the runtime to refine every outcome (locate it) and registered no outcome refiner to do so.

InvalidDependency

A rule’s gate or ruleOutcome selector names no rule of its ruleset, a cycle of rules depends on itself, or the host registered no outcome refiner to read another rule’s selection.

Fields

rule: String

detail: String

InvalidClassification

A classification the ruleset derives is malformed, reads a rule’s outcome, depends on itself through other classifications, is declared twice with different rows, or the host registered no outcome refiner to evaluate its rows.

Fields

classification: String

detail: String

Trait Implementations

impl Debug for EngineError

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

Formats the value using the given formatter.

impl Display for EngineError

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

Formats the value using the given formatter.

impl Eq for EngineError

impl Error for EngineError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.

impl PartialEq for EngineError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EngineError