Struct concordium_std::Reject

pub struct Reject {
    pub error_code: NonZeroI32,
    pub return_value: Option<Vec<u8>>,
}

An error message, signalling rejection of a smart contract invocation. The client will see the error code as a reject reason; if a schema is provided, the error message corresponding to the error code will be displayed. The valid range for an error code is from i32::MIN to -1. A return value can also be provided.

Fields

error_code: NonZeroI32

return_value: Option<Vec<u8>>

Implementations

impl Reject

pub fn new(x: i32) -> Option<Self>

This returns None for all values >= 0 and Some otherwise.

Trait Implementations

impl Debug for Reject

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

Formats the value using the given formatter.

impl Default for Reject

Default error is i32::MIN.

fn default() -> Self

Returns the “default value” for a type.

impl From<()> for Reject

Mapped to i32::MIN + 1.

fn from(_: ()) -> Self

Converts to this type from the input type.

impl<T> From<CallContractError<T>> for Reject

AmountTooLarge is i32::MIN + 15, MissingAccount is i32::MIN + 16, MissingContract is i32::MIN + 17, MissingEntrypoint is i32::MIN + 18, MessageFailed is i32::MIN + 19, LogicReject is i32::MIN + 20, Trap is i32::MIN + 21.

fn from(cce: CallContractError<T>) -> Self

Converts to this type from the input type.

impl From<LogError> for Reject

Full is mapped to i32::MIN + 3, Malformed is mapped to i32::MIN + 4.

fn from(le: LogError) -> Self

Converts to this type from the input type.

impl From<NewContractNameError> for Reject

MissingInitPrefix is mapped to i32::MIN + 5, TooLong to i32::MIN + 6, ContainsDot to i32::MIN + 9, and InvalidCharacters to i32::MIN + 10.

fn from(nre: NewContractNameError) -> Self

Converts to this type from the input type.

impl From<NewReceiveNameError> for Reject

MissingDotSeparator is mapped to i32::MIN + 7, TooLong to i32::MIN + 8, and InvalidCharacters to i32::MIN + 11.

fn from(nre: NewReceiveNameError) -> Self

Converts to this type from the input type.

impl From<NonZero<i32>> for Reject

fn from(error_code: NonZeroI32) -> Self

Converts to this type from the input type.

impl From<NotPayableError> for Reject

The error code is i32::MIN + 12.

fn from(_: NotPayableError) -> Self

Converts to this type from the input type.

impl From<ParseError> for Reject

Mapped to i32::MIN + 2.

fn from(_: ParseError) -> Self

Converts to this type from the input type.

impl From<QueryAccountBalanceError> for Reject

Query account balance error missing account is i32::MIN + 25.

fn from(_: QueryAccountBalanceError) -> Self

Converts to this type from the input type.

impl From<QueryContractBalanceError> for Reject

Query contract balance error missing contract is i32::MIN + 26.

fn from(_: QueryContractBalanceError) -> Self

Converts to this type from the input type.

impl From<TransferError> for Reject

AmountTooLarge is i32::MIN + 13, MissingAccount is i32::MIN + 14.

fn from(te: TransferError) -> Self

Converts to this type from the input type.

impl From<UpgradeError> for Reject

MissingModule is i32::MIN + 22, MissingContract is i32::MIN + 23, UnsupportedModuleVersion is i32::MIN + 24.

fn from(te: UpgradeError) -> Self

Converts to this type from the input type.

impl PartialEq for Reject

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

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

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.

impl Eq for Reject

impl StructuralPartialEq for Reject