Enum fuel_tx::ValidityError

source · 
#[non_exhaustive]
pub enum ValidityError {

Show 58 variants    TransactionMetadataMismatch,
    NoSpendableInput,
    InputWitnessIndexBounds {
        index: usize,
    },
    InputPredicateEmpty {
        index: usize,
    },
    InputPredicateLength {
        index: usize,
    },
    InputPredicateDataLength {
        index: usize,
    },
    InputPredicateOwner {
        index: usize,
    },
    InputInvalidSignature {
        index: usize,
    },
    InputContractAssociatedOutputContract {
        index: usize,
    },
    InputMessageDataLength {
        index: usize,
    },
    DuplicateInputUtxoId {
        utxo_id: UtxoId,
    },
    DuplicateMessageInputId {
        message_id: MessageId,
    },
    DuplicateInputContractId {
        contract_id: ContractId,
    },
    OutputContractInputIndex {
        index: usize,
    },
    TransactionInputContainsNonBaseAssetId {
        index: usize,
    },
    TransactionInputContainsContract {
        index: usize,
    },
    TransactionInputContainsMessageData {
        index: usize,
    },
    TransactionOutputContainsContract {
        index: usize,
    },
    TransactionOutputContainsVariable {
        index: usize,
    },
    TransactionChangeChangeUsesNotBaseAsset {
        index: usize,
    },
    TransactionCreateOutputContractCreatedDoesntMatch {
        index: usize,
    },
    TransactionCreateOutputContractCreatedMultiple {
        index: usize,
    },
    TransactionCreateBytecodeLen,
    TransactionCreateBytecodeWitnessIndex,
    TransactionCreateStorageSlotMax,
    TransactionCreateStorageSlotOrder,
    TransactionScriptLength,
    TransactionScriptDataLength,
    TransactionOutputContainsContractCreated {
        index: usize,
    },
    TransactionMintIncorrectBlockHeight,
    TransactionMintIncorrectOutputIndex,
    TransactionMintNonBaseAsset,
    TransactionUpgradeNoPrivilegedAddress,
    TransactionUpgradeConsensusParametersChecksumMismatch,
    TransactionUpgradeConsensusParametersSerialization,
    TransactionUpgradeConsensusParametersDeserialization,
    TransactionUploadRootVerificationFailed,
    TransactionUploadTooManyBytecodeSubsections,
    TransactionSizeLimitExceeded,
    TransactionMaxGasExceeded,
    TransactionWitnessLimitExceeded,
    TransactionPoliciesAreInvalid,
    TransactionNoGasPricePolicy,
    TransactionMaturity,
    TransactionMaxFeeNotSet,
    TransactionInputsMax,
    TransactionOutputsMax,
    TransactionWitnessesMax,
    TransactionOutputChangeAssetIdDuplicated(AssetId),
    TransactionOutputChangeAssetIdNotFound(AssetId),
    TransactionOutputCoinAssetIdNotFound(AssetId),
    InsufficientFeeAmount {
        expected: u64,
        provided: u64,
    },
    InsufficientInputAmount {
        asset: AssetId,
        expected: u64,
        provided: u64,
    },
    BalanceOverflow,
    GasCostsCoinsOverflow,
    SerializedInputTooLarge {
        index: usize,
    },
    SerializedOutputTooLarge {
        index: usize,
    },
    SerializedWitnessTooLarge {
        index: usize,
    },

}
Expand description

The error returned during the checking of the transaction’s validity rules.

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.
§

TransactionMetadataMismatch

The actual and calculated metadata of the transaction mismatch.

§

NoSpendableInput

Transaction doesn’t have spendable input message or coin.

§

InputWitnessIndexBounds

Fields

§index: usize
§

InputPredicateEmpty

Fields

§index: usize
§

InputPredicateLength

Fields

§index: usize
§

InputPredicateDataLength

Fields

§index: usize
§

InputPredicateOwner

Fields

§index: usize
§

InputInvalidSignature

Fields

§index: usize
§

InputContractAssociatedOutputContract

Fields

§index: usize
§

InputMessageDataLength

Fields

§index: usize
§

DuplicateInputUtxoId

Fields

§utxo_id: UtxoId
§

DuplicateMessageInputId

Fields

§message_id: MessageId
§

DuplicateInputContractId

Fields

§contract_id: ContractId
§

OutputContractInputIndex

Fields

§index: usize
§

TransactionInputContainsNonBaseAssetId

One of inputs’ AssetId is not base asset id.

Fields

§index: usize
§

TransactionInputContainsContract

One of inputs is a Input::Contract when it is not allowed.

Fields

§index: usize
§

TransactionInputContainsMessageData

One of inputs contains retryable message when it is not allowed.

Fields

§index: usize
§

TransactionOutputContainsContract

One of outputs is a Output::Contract when it is not allowed.

Fields

§index: usize
§

TransactionOutputContainsVariable

One of outputs is a Output::Variable when it is not allowed.

Fields

§index: usize
§

TransactionChangeChangeUsesNotBaseAsset

One of Output::Change outputs uses a non-base asset id.

Fields

§index: usize
§

TransactionCreateOutputContractCreatedDoesntMatch

Fields

§index: usize
§

TransactionCreateOutputContractCreatedMultiple

Fields

§index: usize
§

TransactionCreateBytecodeLen

§

TransactionCreateBytecodeWitnessIndex

§

TransactionCreateStorageSlotMax

§

TransactionCreateStorageSlotOrder

§

TransactionScriptLength

§

TransactionScriptDataLength

§

TransactionOutputContainsContractCreated

The output contains a Output::ContractCreated which is not allowed.

Fields

§index: usize
§

TransactionMintIncorrectBlockHeight

The block height of the checking doesn’t match the transaction’s block height. Mint transaction only exists in the scope of the block.

§

TransactionMintIncorrectOutputIndex

The Output.input_index is not zero.

§

TransactionMintNonBaseAsset

The Output.mint_base_asset is not base asset.

§

TransactionUpgradeNoPrivilegedAddress

The Upgrade transaction doesn’t have the privileged address as the input owner.

§

TransactionUpgradeConsensusParametersChecksumMismatch

The Upgrade transaction’s checksum doesn’t match the consensus parameters from witness.

§

TransactionUpgradeConsensusParametersSerialization

The Upgrade transaction’s consensus parameters serialization failed.

§

TransactionUpgradeConsensusParametersDeserialization

The Upgrade transaction’s consensus parameters deserialization failed.

§

TransactionUploadRootVerificationFailed

The verification of the bytecode root of the Upload transaction failed.

§

TransactionUploadTooManyBytecodeSubsections

The total number of bytecode subsections in the Upload transaction exceeds the limit.

§

TransactionSizeLimitExceeded

The transaction exceeded the size limit.

§

TransactionMaxGasExceeded

Max gas per tx exceeded

§

TransactionWitnessLimitExceeded

§

TransactionPoliciesAreInvalid

§

TransactionNoGasPricePolicy

§

TransactionMaturity

§

TransactionMaxFeeNotSet

§

TransactionInputsMax

§

TransactionOutputsMax

§

TransactionWitnessesMax

§

TransactionOutputChangeAssetIdDuplicated(AssetId)

§

TransactionOutputChangeAssetIdNotFound(AssetId)

§

TransactionOutputCoinAssetIdNotFound(AssetId)

This error happens when a transaction attempts to create a coin output for an asset type that doesn’t exist in the coin inputs.

§

InsufficientFeeAmount

The transaction doesn’t provide enough input amount of the native chain asset to cover all potential execution fees

Fields

§expected: u64

The expected amount of fees required to cover the transaction

§provided: u64

The fee amount actually provided for spending

§

InsufficientInputAmount

The transaction doesn’t provide enough input amount of the given asset to cover the amounts used in the outputs.

Fields

§asset: AssetId

The asset id being spent

§expected: u64

The amount expected by a coin output

§provided: u64

The total amount provided by coin inputs

§

BalanceOverflow

The given coins is too large

§

GasCostsCoinsOverflow

The given gas costs is are too large

§

SerializedInputTooLarge

Serialized input length is too large.

Fields

§index: usize
§

SerializedOutputTooLarge

Serialized output length is too large.

Fields

§index: usize
§

SerializedWitnessTooLarge

Serialized witness length is too large.

Fields

§index: usize

Trait Implementations§

source§

impl Clone for ValidityError

source§

fn clone(&self) -> ValidityError

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 ValidityError

source§

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

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

impl Display for ValidityError

source§

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

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

impl Hash for ValidityError

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 PartialEq for ValidityError

source§

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

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

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

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

impl Eq for ValidityError

source§

impl StructuralPartialEq for ValidityError

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> Conv for T

source§

fn conv<T>(self) -> T
where Self: Into<T>,

Converts self into T using Into<T>. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> FmtForward for T

source§

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.
source§

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

Causes self to use its Display implementation when Debug-formatted.
source§

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

Causes self to use its LowerExp implementation when Debug-formatted.
source§

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

Causes self to use its LowerHex implementation when Debug-formatted.
source§

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.
source§

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

Causes self to use its Pointer implementation when Debug-formatted.
source§

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

Causes self to use its UpperExp implementation when Debug-formatted.
source§

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

Causes self to use its UpperHex implementation when Debug-formatted.
source§

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. 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> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

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

source§

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R
where Self: Sized,

Pipes by value. This is generally the method you want to use. Read more
source§

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R
where R: 'a,

Borrows self and passes that borrow into the pipe function. Read more
source§

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R
where R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more
source§

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
where Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more
source§

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
where Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more
source§

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
where Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.
source§

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
where Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe function.
source§

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

Borrows self, then passes self.deref() into the pipe function.
source§

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R, ) -> R
where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe function.
source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

impl<T> StorageAsMut for T

source§

fn storage<Type>(&mut self) -> StorageMut<'_, Self, Type>
where Type: Mappable,

source§

fn storage_as_mut<Type>(&mut self) -> StorageMut<'_, Self, Type>
where Type: Mappable,

source§

impl<T> StorageAsRef for T

source§

fn storage<Type>(&self) -> StorageRef<'_, Self, Type>
where Type: Mappable,

source§

fn storage_as_ref<Type>(&self) -> StorageRef<'_, Self, Type>
where Type: Mappable,

source§

impl<T> Tap for T

source§

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more
source§

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more
source§

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Immutable access to the Borrow<B> of a value. Read more
source§

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Mutable access to the BorrowMut<B> of a value. Read more
source§

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more
source§

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more
source§

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Immutable access to the Deref::Target of a value. Read more
source§

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Mutable access to the Deref::Target of a value. Read more
source§

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.
source§

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release builds.
source§

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release builds.
source§

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.
source§

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release builds.
source§

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release builds.
source§

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release builds.
source§

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release builds.
source§

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

§

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> TryConv for T

source§

fn try_conv<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more
source§

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

§

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>,

§

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<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V