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.

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()

Methods inherited from interface org.glavo.classfile.Instruction

opcode, sizeInBytes

Method Details

type

ClassEntry type()

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