Enum ModelContractViolation 

pub enum ModelContractViolation {
    AttributeCreateRequiresAdd,
    AttributeDeleteTargetsMissingKey,
    AttributeOperationKeyHasUnsupportedForm,
    AttributeOperationSetContainsDuplicateKey,
    AttributeOperationKeyIsInvalid,
    AttributeOperationTargetsUnsupportedKey,
    AttributeUpdateTargetsImmutableAttribute,
    AttributeValueDoesNotSatisfyRules,
    InvalidCleanupPolicy,
    InvalidCqType,
    MissingTimerDeliveryProperty,
    InvalidTimerProperty {
        property: &'static str,
    },
    UnsupportedTimerPrecision {
        precision_ms: u64,
    },
    TimerDeliveryArithmeticOverflow,
    TimerDeliveryTimeIsNotInFuture {
        deliver_ms: u64,
        now_ms: u64,
    },
    TimerDelayExceedsMaximum {
        delay_ms: u64,
        max_delay_ms: u64,
    },
    InvalidPopRetryPolicyState,
}

Deterministic validation failure at the runtime-neutral model boundary.

The public messages are fixed. Variant fields retain only static schema identifiers and numeric admission evidence.

Variants

AttributeCreateRequiresAdd

A topic-creation attribute operation did not use the add form.

AttributeDeleteTargetsMissingKey

An attribute delete operation named a key that is not present.

AttributeOperationKeyHasUnsupportedForm

An attribute operation key did not have a supported form.

AttributeOperationSetContainsDuplicateKey

An attribute operation set contains the same key more than once.

AttributeOperationKeyIsInvalid

An attribute operation key is structurally invalid.

AttributeOperationTargetsUnsupportedKey

An attribute operation named an unsupported key.

AttributeUpdateTargetsImmutableAttribute

An attribute update targeted an immutable attribute.

AttributeValueDoesNotSatisfyRules

An attribute value does not satisfy the selected attribute’s rules.

InvalidCleanupPolicy

A cleanup-policy parser input did not name a supported policy.

InvalidCqType

A consume-queue type parser input did not name a supported type.

MissingTimerDeliveryProperty

A timer request did not specify a supported delivery property.

InvalidTimerProperty

A timer property does not contain an unsigned integer.

Fields

property: &'static str

Name of the selected timer property.

UnsupportedTimerPrecision

A timer precision is not supported by the Java-compatible timer engine.

Fields

precision_ms: u64

Requested timer precision in milliseconds.

TimerDeliveryArithmeticOverflow

Checked timer-delivery arithmetic overflowed.

TimerDeliveryTimeIsNotInFuture

A timer delivery timestamp is not later than the caller’s clock sample.

Fields

deliver_ms: u64

Requested delivery timestamp in milliseconds.

now_ms: u64

Caller-supplied current timestamp in milliseconds.

TimerDelayExceedsMaximum

A timer delay exceeds the configured admission horizon.

Fields

delay_ms: u64

Requested delay in milliseconds.

max_delay_ms: u64

Configured maximum delay in milliseconds.

InvalidPopRetryPolicyState

A POP retry policy does not describe a supported migration state.

Implementations

impl ModelContractViolation

pub const fn condition(&self) -> CanonicalCondition

Returns the canonical condition for every model contract rejection.

Trait Implementations

impl Clone for ModelContractViolation

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ModelContractViolation

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

Formats the value using the given formatter.

impl Display for ModelContractViolation

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

Formats the value using the given formatter.

impl Eq for ModelContractViolation

impl Error for ModelContractViolation

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 ModelContractViolation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ModelContractViolation