Enum EngineError 

pub enum EngineError {
    SessionNotFound(String),
    BadSessionId(String),
    InvalidClaim(String),
    InvalidEvidence(String),
    InvalidRemediation(String),
    ClaimNotFound(String),
    ContradictionNotFound(String),
    DuplicateId(String),
    StoreError(String),
}

All errors the kernel can return. Each Display begins with a stable code.

Variants

SessionNotFound(String)

The referenced session has no event log.

BadSessionId(String)

The session id is empty or contains path-unsafe characters.

InvalidClaim(String)

A claim payload is structurally invalid (empty id, predicate, etc.).

InvalidEvidence(String)

An evidence payload is invalid (e.g. references an unknown claim).

InvalidRemediation(String)

A remediation payload is invalid (e.g. unknown target).

ClaimNotFound(String)

A referenced claim does not exist in the session.

ContradictionNotFound(String)

A referenced contradiction does not currently exist.

DuplicateId(String)

A duplicate claim/event id was submitted.

StoreError(String)

Underlying store I/O failure.

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 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.