Enum TypeAnnotationTarget 

pub enum TypeAnnotationTarget {
    TypeParameter {
        type_parameter_index: u8,
    },
    SuperType {
        supertype_index: u16,
    },
    TypeParameterBound {
        type_parameter_index: u8,
        bound_index: u8,
    },
    Empty,
    FormalParameter {
        formal_parameter_index: u8,
    },
    Throws {
        throws_type_index: u16,
    },
    LocalVar {
        table: Vec<LocalVarTarget>,
    },
    Catch {
        exception_table_index: u16,
    },
    Offset {
        offset: u16,
    },
    TypeArgument {
        offset: u16,
        type_argument_index: u8,
    },
}

What a TypeAnnotation is attached to.

See JVMS §4.7.20.1.

Variants

TypeParameter

Fields

type_parameter_index: u8

SuperType

Fields

supertype_index: u16

TypeParameterBound

Fields

type_parameter_index: u8

bound_index: u8

Empty

FormalParameter

Fields

formal_parameter_index: u8

Throws

Fields

throws_type_index: u16

LocalVar

Fields

table: Vec<LocalVarTarget>

Catch

Fields

exception_table_index: u16

Offset

Fields

offset: u16

TypeArgument

Fields

offset: u16

type_argument_index: u8

Implementations

impl TypeAnnotationTarget

pub fn try_read(cursor: &mut Cursor<'_>) -> Result<Self>

Reads a target, whose shape is given by its leading target type byte.

Trait Implementations

impl Debug for TypeAnnotationTarget

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

Formats the value using the given formatter.