fuel_asm

Enum PanicReason

source
#[non_exhaustive]
#[repr(u8)]
pub enum PanicReason {
Show 57 variants UnknownPanicReason = 0, Revert = 1, OutOfGas = 2, TransactionValidity = 3, MemoryOverflow = 4, ArithmeticOverflow = 5, ContractNotFound = 6, MemoryOwnership = 7, NotEnoughBalance = 8, ExpectedInternalContext = 9, AssetIdNotFound = 10, InputNotFound = 11, OutputNotFound = 12, WitnessNotFound = 13, TransactionMaturity = 14, InvalidMetadataIdentifier = 15, MalformedCallStructure = 16, ReservedRegisterNotWritable = 17, InvalidFlags = 18, InvalidImmediateValue = 19, ExpectedCoinInput = 20, EcalError = 21, MemoryWriteOverlap = 22, ContractNotInInputs = 23, InternalBalanceOverflow = 24, ContractMaxSize = 25, ExpectedUnallocatedStack = 26, MaxStaticContractsReached = 27, TransferAmountCannotBeZero = 28, ExpectedOutputVariable = 29, ExpectedParentInternalContext = 30, PredicateReturnedNonOne = 31, ContractIdAlreadyDeployed = 32, ContractMismatch = 33, MessageDataTooLong = 34, ArithmeticError = 35, ContractInstructionNotAllowed = 36, TransferZeroCoins = 37, InvalidInstruction = 38, MemoryNotExecutable = 39, PolicyIsNotSet = 40, PolicyNotFound = 41, TooManyReceipts = 42, BalanceOverflow = 43, InvalidBlockHeight = 44, TooManySlots = 45, ExpectedNestedCaller = 46, MemoryGrowthOverlap = 47, UninitalizedMemoryAccess = 48, OverridingConsensusParameters = 49, UnknownStateTransactionBytecodeRoot = 50, OverridingStateTransactionBytecode = 51, BytecodeAlreadyUploaded = 52, ThePartIsNotSequentiallyConnected = 53, BlobNotFound = 54, BlobIdAlreadyUploaded = 55, GasCostNotDefined = 56,
}
Expand description

Panic reason representation for the interpreter.

Variants (Non-exhaustive)§

This enum is marked as 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.
§

UnknownPanicReason = 0

The byte can’t be mapped to any known PanicReason.

§

Revert = 1

Found RVRT instruction.

§

OutOfGas = 2

Execution ran out of gas.

§

TransactionValidity = 3

The transaction validity is violated.

§

MemoryOverflow = 4

Attempt to write outside interpreter memory boundaries.

§

ArithmeticOverflow = 5

Overflow while executing arithmetic operation. These errors are ignored using the WRAPPING flag.

§

ContractNotFound = 6

Designed contract was not found in the storage.

§

MemoryOwnership = 7

Memory ownership rules are violated.

§

NotEnoughBalance = 8

The asset ID balance isn’t enough for the instruction.

§

ExpectedInternalContext = 9

The interpreter is expected to be in internal context.

§

AssetIdNotFound = 10

The queried asset ID was not found in the state.

§

InputNotFound = 11

The provided input is not found in the transaction.

§

OutputNotFound = 12

The provided output is not found in the transaction.

§

WitnessNotFound = 13

The provided witness is not found in the transaction.

§

TransactionMaturity = 14

The transaction maturity is not valid for this request.

§

InvalidMetadataIdentifier = 15

The metadata identifier is invalid.

§

MalformedCallStructure = 16

The call structure is not valid.

§

ReservedRegisterNotWritable = 17

The provided register does not allow write operations.

§

InvalidFlags = 18

The execution resulted in an erroneous state of the interpreter.

§

InvalidImmediateValue = 19

The provided immediate value is not valid for this instruction.

§

ExpectedCoinInput = 20

The provided transaction input is not of type Coin.

§

EcalError = 21

ECAL instruction failed.

§

MemoryWriteOverlap = 22

Two segments of the interpreter memory should not intersect for write operations.

§

ContractNotInInputs = 23

The requested contract is not listed in the transaction inputs.

§

InternalBalanceOverflow = 24

The internal asset ID balance overflowed with the provided instruction.

§

ContractMaxSize = 25

The maximum allowed contract size is violated.

§

ExpectedUnallocatedStack = 26

This instruction expects the stack area to be unallocated for this call.

§

MaxStaticContractsReached = 27

The maximum allowed number of static contracts was reached for this transaction.

§

TransferAmountCannotBeZero = 28

The requested transfer amount cannot be zero.

§

ExpectedOutputVariable = 29

The provided transaction output should be of type Variable.

§

ExpectedParentInternalContext = 30

The expected context of the stack parent is internal.

§

PredicateReturnedNonOne = 31

The predicate returned non 1. The 1 means successful verification of the predicate, all other values means unsuccessful.

§

ContractIdAlreadyDeployed = 32

The contract ID is already deployed and can’t be overwritten.

§

ContractMismatch = 33

The loaded contract mismatch expectations.

§

MessageDataTooLong = 34

Attempting to send message data longer than MAX_MESSAGE_DATA_LENGTH

§

ArithmeticError = 35

Mathematically invalid arguments where given to an arithmetic instruction. For instance, division by zero produces this. These errors are ignored using the UNSAFEMATH flag.

§

ContractInstructionNotAllowed = 36

The contract instruction is not allowed in predicates.

§

TransferZeroCoins = 37

Transfer of zero coins is not allowed.

§

InvalidInstruction = 38

Attempted to execute an invalid instruction

§

MemoryNotExecutable = 39

Memory outside $is..$ssp range is not executable

§

PolicyIsNotSet = 40

The policy is not set.

§

PolicyNotFound = 41

The policy is not found across policies.

§

TooManyReceipts = 42

Receipt context is full

§

BalanceOverflow = 43

Balance of a contract overflowed

§

InvalidBlockHeight = 44

Block height value is invalid, typically because it is too large

§

TooManySlots = 45

Attempt to use sequential memory instructions with too large slot count, typically because it cannot fit into usize

§

ExpectedNestedCaller = 46

Caller of this internal context is also expected to be internal, i.e. $fp->$fp must be non-zero.

§

MemoryGrowthOverlap = 47

During memory growth, the stack overlapped with the heap

§

UninitalizedMemoryAccess = 48

Attempting to read or write uninitialized memory. Also occurs when boundary crosses from stack to heap.

§

OverridingConsensusParameters = 49

Overriding consensus parameters is not allowed.

§

UnknownStateTransactionBytecodeRoot = 50

The storage doesn’t know about the hash of the state transition bytecode.

§

OverridingStateTransactionBytecode = 51

Overriding the state transition bytecode is not allowed.

§

BytecodeAlreadyUploaded = 52

The bytecode is already uploaded and cannot be uploaded again.

§

ThePartIsNotSequentiallyConnected = 53

The part of the bytecode is not sequentially connected to the previous parts.

§

BlobNotFound = 54

The requested blob is not found.

§

BlobIdAlreadyUploaded = 55

The blob was already

§

GasCostNotDefined = 56

Active gas costs do not define the cost for this instruction.

Trait Implementations§

source§

impl Clone for PanicReason

source§

fn clone(&self) -> PanicReason

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for PanicReason

source§

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

Formats the value using the given formatter. Read more
source§

impl Default for PanicReason

source§

fn default() -> PanicReason

Returns the “default value” for a type. Read more
source§

impl<'de> Deserialize<'de> for PanicReason

source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
source§

impl Display for PanicReason

source§

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

Formats the value using the given formatter. Read more
source§

impl From<PanicReason> for JsValue

source§

fn from(value: PanicReason) -> Self

Converts to this type from the input type.
source§

impl From<TryFromSliceError> for PanicReason

source§

fn from(_: TryFromSliceError) -> Self

Converts to this type from the input type.
source§

impl From<u8> for PanicReason

source§

fn from(v: u8) -> Self

Converts to this type from the input type.
source§

impl FromWasmAbi for PanicReason

source§

type Abi = u32

The wasm ABI type that this converts from when coming back out from the ABI boundary.
source§

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi. Read more
source§

impl Hash for PanicReason

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl IntoEnumIterator for PanicReason

source§

type Iterator = PanicReasonIter

source§

fn iter() -> PanicReasonIter

source§

impl IntoWasmAbi for PanicReason

source§

type Abi = u32

The wasm ABI type that this converts into when crossing the ABI boundary.
source§

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.
source§

impl OptionFromWasmAbi for PanicReason

source§

fn is_none(val: &u32) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.
source§

impl OptionIntoWasmAbi for PanicReason

source§

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option. Read more
source§

impl PartialEq for PanicReason

source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Serialize for PanicReason

source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
source§

impl TryFromJsValue for PanicReason

source§

type Error = JsValue

The type returned in the event of a conversion error.
source§

fn try_from_js_value( value: JsValue, ) -> Result<Self, <PanicReason as TryFromJsValue>::Error>

Performs the conversion.
source§

impl VectorFromWasmAbi for PanicReason

source§

type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi

source§

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[PanicReason]>

source§

impl VectorIntoJsValue for PanicReason

source§

impl VectorIntoWasmAbi for PanicReason

source§

impl WasmDescribe for PanicReason

source§

impl WasmDescribeVector for PanicReason

source§

impl Copy for PanicReason

source§

impl Eq for PanicReason

source§

impl StructuralPartialEq for PanicReason

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

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

source§

impl<T> ReturnWasmAbi for T
where T: IntoWasmAbi,

source§

type Abi = <T as IntoWasmAbi>::Abi

Same as IntoWasmAbi::Abi
source§

fn return_abi(self) -> <T as ReturnWasmAbi>::Abi

Same as IntoWasmAbi::into_abi, except that it may throw and never return in the case of Err.
source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for T
where T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

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

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

source§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,