Enum LibraryExn 

#[non_exhaustive]
#[repr(i32)]
pub enum LibraryExn {
    Syscall(SyscallExn),
    Handling(HandlingError),
    Calling(CallingError),
    Called(FaultString),
    AuthToken(AuthTokenError),
    BytestringWrongSize {
        expected: u32,
        found: u32,
    },
    NonNegativeIntUnderflow = 6,
    NonNegativeIntOverflow = 7,
    StorageSerialization = 8,
    StorageIndexOutOfBounds {
        len: u64,
        access: u64,
    },
    StorageKeypathOverflow = 10,
    RetrocausalQueueEntryWrongSize {
        expected: u32,
        found: u32,
    },
    CapacityConstraintAlreadyWritten = 12,
    UnknownMethod = 13,
}

An exception generated by SDK internals.

The wire layout is fixed regardless of crate features – discriminants and payloads alike. Both halves of that have been broken before: discriminant 8 was once a feature-gated Storage(StorageError) nested enum (now the flat StorageSerialization, with the other storage conditions at 9 and 10), and the variants carrying a FaultString once encoded its message under debugging, so an abort payload differed between a host test and the shipped artifact. FaultString now keeps its message host-side and encodes to nothing. Keep new variants payload-stable the same way.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Syscall(SyscallExn)

Handling(HandlingError)

Calling(CallingError)

Called(FaultString)

AuthToken(AuthTokenError)

BytestringWrongSize

Fields

expected: u32

found: u32

NonNegativeIntUnderflow = 6

NonNegativeIntOverflow = 7

StorageSerialization = 8

StorageIndexOutOfBounds

Fields

len: u64

access: u64

StorageKeypathOverflow = 10

RetrocausalQueueEntryWrongSize

Fields

expected: u32

found: u32

CapacityConstraintAlreadyWritten = 12

UnknownMethod = 13

The invoked method id matched no entrypoint on this contract.

Thrown by guest dispatch (and by the native mock, for a contract registered through register_mock_package) in place of the bare trap it used to answer with, which a caller could not tell apart from an OOB access or a bad instruction. Carries no method id — the caller picked the id it invoked.

Implementations

impl LibraryExn

pub fn as_syscall_exn(&self) -> Option<&SyscallExn>

pub fn is_storage_missing(&self) -> bool

True if this is a syscall error saying nothing is stored where a storage read looked: a missing key (kSyscallErrorCodeStorageKeyNotExist) or an empty retro-causal queue (kSyscallErrorCodeNoRetrocausalQueueEntry).

This is the “graceful” arm of the storage try_ getters: a try_get / try_consume Err for which this returns false means the read failed for a reason other than absence (wrong storage type at the key, a corrupt encoding, a host fault).

Trait Implementations

impl ConstMaxSize for LibraryExn

const MAX_SIZE: Option<usize>

Worst-case CXS encoded size in bytes, or None if unbounded.

impl ConstMaxSize for LibraryExn

const MAX_SIZE: Option<usize>

Worst-case TXS encoded size in bytes, or None if unbounded.

impl ContractTypeName for LibraryExn

const NAME: ContractSpecIdView<'static>

The fully qualified id this type is known by in the contract spec.

impl ContractTypeRefSpec for LibraryExn

const INFO: ContractTypeInfo<'static>

The type reference. Transitive type definitions are not carried here; they are retained via the linker-anchor mechanism (__THRUPUT_SPEC_ANCHOR_ROOT) and resolved by spec-tool.

const SIGNED_PREIMAGE: Option<&'static ContractTypeView<'static>> = _

How this type appears as a signed-token preimage (ContractTypeView::SignedToken’s payload): the type itself by default, or None for a type-erased payload (the SDK’s Opaque overrides this).

impl ContractTypeSpec for LibraryExn

const TYPE_DEF: ContractTypeDefView<'static>

The type’s definition (struct, enum, or union) as a const view.

impl Debug for LibraryExn

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

Formats the value using the given formatter.

impl Display for LibraryExn

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

Formats the value using the given formatter.

impl EncodesAs<LibraryExn> for LibraryExn

impl Error for LibraryExn

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 Exn for LibraryExn

const SELECTOR: u64 = 16529008398361299651u64

impl From<AuthTokenError> for LibraryExn

fn from(e: AuthTokenError) -> Self

Converts to this type from the input type.

impl From<CallingError> for LibraryExn

fn from(e: CallingError) -> Self

Converts to this type from the input type.

impl From<HandlingError> for LibraryExn

fn from(e: HandlingError) -> Self

Converts to this type from the input type.

impl PartialEq for LibraryExn

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

Equality operator ==.

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

Inequality operator !=.

impl ReThrow for LibraryExn

Result<T, LibraryExn>::or_re_throw() aborts with the contained library exception (typed, decodable by selector) rather than a fault.

fn re_throw(self) -> !

Re-throw this error. Exceptions are propagated as exceptions; faults panic (a fault stays a fault).

impl<'_r> ReadXDR<'_r> for LibraryExn

fn read_xdr<R: Reader<'_r>>(r: &mut R) -> ReadResult<Self>

Reads an XDR value from the reader.

fn read_xdr_in_place<'s, R>( r: &mut R, slot: Slot<'s, Self>, ) -> Result<Init<'s, Self>, ReadError>

where R: Reader<'r>,

Reads an XDR value directly into slot, without first building it on the stack.

impl StructuralPartialEq for LibraryExn

impl WriteXDR for LibraryExn

fn write_xdr<F, W: Writer<F>>( &self, __write_xdr_writer: &mut W, ) -> WriteResult<()>

Writes this value as XDR data to the writer.

unsafe fn write_xdr_unchecked<F, W: WriterUnchecked<F>>( &self, __write_xdr_writer: &mut W, )

Writes this value as XDR data to the writer, without runtime checks.