Skip to main content

ExecutorErrorDetail

icydb_core::error

Enum ExecutorErrorDetail

pub enum ExecutorErrorDetail {
    MutationRequiredFieldMissing,
    ConstraintViolation {
        diagnostic: Box<ConstraintDiagnostic>,
    },
    AcceptedRowConstraintProgramCorrupt,
    ConstraintActivationWriteBlocked {
        diagnostic: Box<ConstraintDiagnostic>,
    },
}

Expand description

Executor-specific structured error detail.

Variants§

MutationRequiredFieldMissing

A complete insert or replacement omitted one or more required fields.

ConstraintViolation

A final canonical after-image violated one accepted constraint or activation gate.

Fields

§diagnostic: Box<ConstraintDiagnostic>

AcceptedRowConstraintProgramCorrupt

Accepted row-constraint metadata or compiled state was inconsistent.

ConstraintActivationWriteBlocked

A write would rely on one incomplete activation-owned physical proof.

Fields

§diagnostic: Box<ConstraintDiagnostic>

Implementations§

impl ExecutorErrorDetail

pub fn constraint_diagnostic(&self) -> Option<&ConstraintDiagnostic>

Borrow the accepted constraint diagnostic carried by this failure.

impl ExecutorErrorDetail

pub const fn diagnostic_code(&self) -> DiagnosticCode

Return the compact diagnostic code for this executor detail.

pub const fn diagnostic_detail(&self) -> Option<DiagnosticDetail>

Return compact structured diagnostic detail for this executor detail.

Trait Implementations§

impl Debug for ExecutorErrorDetail

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl Freeze for ExecutorErrorDetail

impl RefUnwindSafe for ExecutorErrorDetail

impl Send for ExecutorErrorDetail

impl Sync for ExecutorErrorDetail

impl Unpin for ExecutorErrorDetail

impl UnsafeUnpin for ExecutorErrorDetail

impl UnwindSafe for ExecutorErrorDetail

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> Same for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V