Module org.glavo.classfile

Package org.glavo.classfile.instruction

Interface TypeCheckInstruction

All Superinterfaces:

ClassFileElement, CodeElement, Instruction

All Known Implementing Classes:

AbstractInstruction.BoundTypeCheckInstruction, AbstractInstruction.UnboundTypeCheckInstruction

public sealed interface TypeCheckInstruction
extends Instruction
permits AbstractInstruction.BoundTypeCheckInstruction, AbstractInstruction.UnboundTypeCheckInstruction

Models an instanceof or checkcast instruction in the code array of a Code attribute. Delivered as a CodeElement when traversing the elements of a CodeModel.

Since:

22

Method Summary

Modifier and Type	Method	Description
static TypeCheckInstruction	of(Opcode op, ClassDesc type)	Returns a type check instruction.
static TypeCheckInstruction	of(Opcode op, ClassEntry type)	Returns a type check instruction.
ClassEntry	type()	Returns the type against which the instruction checks or casts.

Methods inherited from interface org.glavo.classfile.Instruction

opcode, sizeInBytes

Method Details

type

ClassEntry type()

Returns the type against which the instruction checks or casts.

Returns:

the type against which the instruction checks or casts

of

static TypeCheckInstruction of(Opcode op,
 ClassEntry type)

Returns a type check instruction.

Parameters:

op - the opcode for the specific type of type check instruction, which must be of kind Opcode.Kind.TYPE_CHECK

type - the type against which to check or cast

Returns:

a type check instruction

of

static TypeCheckInstruction of(Opcode op,
 ClassDesc type)

Returns a type check instruction.

Parameters:

op - the opcode for the specific type of type check instruction, which must be of kind Opcode.Kind.TYPE_CHECK

type - the type against which to check or cast

Returns:

a type check instruction