Enum EofValidationError

pub enum EofValidationError {
    FalsePositive,
    UnknownOpcode,
    OpcodeDisabled,
    InstructionNotForwardAccessed,
    MissingImmediateBytes,
    MissingRJUMPVImmediateBytes,
    JumpToImmediateBytes,
    BackwardJumpToImmediateBytes,
    RJUMPVZeroMaxIndex,
    JumpZeroOffset,
    EOFCREATEInvalidIndex,
    CodeSectionOutOfBounds,
    CALLFNonReturningFunction,
    StackOverflow,
    JUMPFEnoughOutputs,
    JUMPFStackHigherThanOutputs,
    DataLoadOutOfBounds,
    RETFBiggestStackNumMoreThenOutputs,
    StackUnderflow,
    TypesStackUnderflow,
    JumpUnderflow,
    JumpOverflow,
    BackwardJumpBiggestNumMismatch,
    BackwardJumpSmallestNumMismatch,
    LastInstructionNotTerminating,
    CodeSectionNotAccessed,
    InvalidTypesSection,
    InvalidFirstTypesSection,
    MaxStackMismatch,
    NoCodeSections,
    SubContainerCalledInTwoModes,
    SubContainerNotAccessed,
    DataNotFilled,
    NonReturningSectionIsReturning,
}

Variants

FalsePositive

UnknownOpcode

Opcode is not known. It is not defined in the opcode table.

OpcodeDisabled

Opcode is disabled in EOF. For example JUMP, JUMPI, etc.

InstructionNotForwardAccessed

Every instruction inside bytecode should be forward accessed. Forward access can be a jump or sequential opcode. In case after terminal opcode there should be a forward jump.

MissingImmediateBytes

Bytecode is too small and is missing immediate bytes for instruction.

MissingRJUMPVImmediateBytes

Similar to EofValidationError::MissingImmediateBytes but for special case of RJUMPV immediate bytes.

JumpToImmediateBytes

Invalid jump into immediate bytes.

BackwardJumpToImmediateBytes

Invalid jump into immediate bytes.

RJUMPVZeroMaxIndex

MaxIndex in RJUMPV can’t be zero. Zero max index makes it RJUMPI.

JumpZeroOffset

Jump with zero offset would make a jump to next opcode, it does not make sense.

EOFCREATEInvalidIndex

EOFCREATE points to container out of bounds.

CodeSectionOutOfBounds

CALLF section out of bounds.

CALLFNonReturningFunction

CALLF to non returning function is not allowed.

StackOverflow

CALLF stack overflow.

JUMPFEnoughOutputs

JUMPF needs to have enough outputs.

JUMPFStackHigherThanOutputs

JUMPF Stack

DataLoadOutOfBounds

DATA load out of bounds.

RETFBiggestStackNumMoreThenOutputs

RETF biggest stack num more then outputs.

StackUnderflow

Stack requirement is more than smallest stack items.

TypesStackUnderflow

Smallest stack items is more than types output.

JumpUnderflow

Jump out of bounds.

JumpOverflow

Jump to out of bounds.

BackwardJumpBiggestNumMismatch

Backward jump should have same smallest and biggest stack items.

BackwardJumpSmallestNumMismatch

Backward jump should have same smallest and biggest stack items.

LastInstructionNotTerminating

Last instruction should be terminating.

CodeSectionNotAccessed

Code section not accessed.

InvalidTypesSection

Types section invalid

InvalidFirstTypesSection

First types section is invalid. It should have inputs 0 and outputs 0x80.

MaxStackMismatch

Max stack element mismatch.

NoCodeSections

No code sections present

SubContainerCalledInTwoModes

Sub container called in two different modes. Check CodeType for more information.

SubContainerNotAccessed

Sub container not accessed.

DataNotFilled

Data size needs to be filled for ReturnContract type.

NonReturningSectionIsReturning

Section is marked as non-returning but has either RETF or JUMPF to returning section opcodes.

Trait Implementations

impl Clone for EofValidationError

fn clone(&self) -> EofValidationError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EofValidationError

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

Formats the value using the given formatter.

impl Display for EofValidationError

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

Formats the value using the given formatter.

impl Error for EofValidationError

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<EofValidationError> for EofError

fn from(err: EofValidationError) -> Self

Converts to this type from the input type.

impl Hash for EofValidationError

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for EofValidationError

fn cmp(&self, other: &EofValidationError) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for EofValidationError

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd for EofValidationError

fn partial_cmp(&self, other: &EofValidationError) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for EofValidationError

impl Eq for EofValidationError

impl StructuralPartialEq for EofValidationError