Enum VerificationType 

pub enum VerificationType<'a> {
    Top,
    Integer,
    Float,
    Long,
    Double,
    Null,
    UninitializedThis,
    Object {
        internal_name: Option<&'a str>,
        constant_pool_index: ConstantPoolIndex,
    },
    Uninitialized {
        offset: u16,
    },
}

A verification type stored in a StackMapTable frame.

Variants

Top

An unusable local-variable slot.

Integer

A category-one integral value.

Float

A category-one floating-point value.

Long

A category-two integral value.

Double

A category-two floating-point value.

Null

The JVM null value.

UninitializedThis

The receiver in an instance constructor before initialization completes.

Object

A reference to a class or array type.

Fields

internal_name: Option<&'a str>

Resolved internal class name or array descriptor, when available.

constant_pool_index: ConstantPoolIndex

Raw constant-pool index of the class entry.

Uninitialized

An object allocated by new before constructor initialization completes.

Fields

offset: u16

Bytecode offset of the allocating new instruction.

Trait Implementations

impl<'a> Clone for VerificationType<'a>

fn clone(&self) -> VerificationType<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for VerificationType<'a>

impl<'a> Debug for VerificationType<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for VerificationType<'a>

impl<'a> PartialEq for VerificationType<'a>

fn eq(&self, other: &VerificationType<'a>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for VerificationType<'a>