Enum ProofError 

pub enum ProofError {
    TooManyElements(&'static str),
    WrongElementCount {
        expected: usize,
        got: usize,
    },
    Overflow(&'static str),
    CorruptedProof(String),
    IncorrectProof(String),
    UnexpectedResultProof(String),
    InvalidTransition(String),
    UnknownContract(String),
    InvalidMetadata(String),
    ErrorRetrievingContract(String),
    MissingContextRequirement(String),
    IncompleteProof(&'static str),
    IncorrectValueSize(&'static str),
    IncorrectElementPath {
        expected: Path,
        actual: Path,
    },
}

Proof errors

Variants

TooManyElements(&'static str)

Too many elements error

WrongElementCount

Wrong element count error

Fields

expected: usize

The expected count

got: usize

The count we got

Overflow(&'static str)

Overflow error

CorruptedProof(String)

An incoherent result is akin to a corrupted code execution, the proof returned is said to be valid, however data it possesses isn’t what was asked for.

IncorrectProof(String)

The proof returned is said to be valid, data is what we asked for, but is not what was expected, for example if we updated a contract, but we are getting back the old contract

UnexpectedResultProof(String)

The proof returned is said to be valid, data is what we asked for, but is not what was expected, for example we ask for token balance, and we get that the token does not exist. UnexpectedResultProof is most likely is a User error. IncorrectProof is most likely a system error.

InvalidTransition(String)

The transition we are trying to prove was executed is invalid

UnknownContract(String)

The transition we are trying to prove has an unknown contract

InvalidMetadata(String)

The metadata we got back from platform is incorrect

ErrorRetrievingContract(String)

We are trying to callback to retrieve a contract, but there was an error

MissingContextRequirement(String)

We are missing a context requirement

IncompleteProof(&'static str)

Incomplete proof error

IncorrectValueSize(&'static str)

Incorrect value size

IncorrectElementPath

Incorrect element path error

Fields

expected: Path

The expected path

actual: Path

The actual path

Trait Implementations

impl Debug for ProofError

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

Formats the value using the given formatter.

impl Display for ProofError

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

Formats the value using the given formatter.

impl Error for ProofError

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 From<ProofError> for Error

fn from(source: ProofError) -> Self

Converts to this type from the input type.