Enum ExecutorErrorDetail 

pub enum ExecutorErrorDetail {
    MutationRequiredFieldMissing,
    MutationManagedTimestampRegression,
    MutationDatabaseOwnedFieldExplicit,
    MutationBatchEmpty,
    MutationBatchTooManyItems,
    MutationBatchStagedBytesExceeded,
    MutationBatchResultBytesExceeded,
    MutationBatchEntityMismatch,
    MutationBatchDuplicateKey,
    ConstraintViolation {
        diagnostic: Box<ConstraintDiagnostic>,
    },
    AcceptedRowConstraintProgramCorrupt,
    ConstraintActivationWriteBlocked {
        diagnostic: Box<ConstraintDiagnostic>,
    },
}

Executor-specific structured error detail.

Variants

MutationRequiredFieldMissing

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

MutationManagedTimestampRegression

A logical mutation would move accepted managed time backward.

MutationDatabaseOwnedFieldExplicit

A caller explicitly authored a field owned by accepted database policy.

MutationBatchEmpty

A mixed structural mutation batch contained no operations.

MutationBatchTooManyItems

A mixed structural mutation batch exceeded its operation-count bound.

MutationBatchStagedBytesExceeded

A mixed structural mutation batch exceeded its staged-byte bound.

MutationBatchResultBytesExceeded

A mixed structural mutation result exceeded its encoded response bound.

MutationBatchEntityMismatch

A mixed structural mutation batch resolved to more than one accepted entity.

MutationBatchDuplicateKey

More than one mixed structural operation targeted the same accepted key.

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.