OpenJDK 27 · java.lang.classfile.instruction.TypeCheckInstruction

Models an instanceof or a checkcast instruction in the code array of a Code attribute. Corresponding opcodes have a kind of Opcode.Kind#TYPE_CHECK. Delivered as a CodeElement when traversing the elements of a CodeModel.

An instanceof checks the type and pushes an integer to the operand stack. A checkcast checks the type and throws a ClassCastException if the check fails. instanceof treat the null reference as a failure, while checkcast treat the null reference as a success.

A type check instruction is composite:

TypeCheckInstruction(
    Opcode opcode,
    ClassEntry type
)

Method Summary

Modifier and Type	Method and Description
public static TypeCheckInstruction	Returns: a type check instruction of(Opcode the opcode for the specific type of type check instruction, which must be of kind `Opcode.Kind#TYPE_CHECK` op, ClassEntry the type against which to check or cast type) Returns a type check instruction.
public static TypeCheckInstruction	Returns: a type check instruction of(Opcode the opcode for the specific type of type check instruction, which must be of kind `Opcode.Kind#TYPE_CHECK` op, ClassDesc the type against which to check or cast type) Returns a type check instruction.
public ClassEntry	Returns: the type against which the instruction checks type() Returns the type against which the instruction checks.

Inherited from java.lang.classfile.Instruction:: opcode sizeInBytes

Method Detail

of back to summary

of	back to summary
public static TypeCheckInstruction of(Opcode op, ClassEntry type) Returns a type check instruction. Parameters op:Opcode the opcode for the specific type of type check instruction, which must be of kind `Opcode.Kind#TYPE_CHECK` type:ClassEntry the type against which to check or cast Returns:TypeCheckInstruction a type check instruction Exceptions IllegalArgumentException: if the opcode kind is not `Opcode.Kind#TYPE_CHECK`

public static TypeCheckInstruction of(Opcode op, ClassEntry type)

Returns a type check instruction.

Parameters

op:Opcode: the opcode for the specific type of type check instruction, which must be of kind Opcode.Kind#TYPE_CHECK
type:ClassEntry: the type against which to check or cast

Returns:TypeCheckInstruction

a type check instruction

Exceptions

IllegalArgumentException:: if the opcode kind is not Opcode.Kind#TYPE_CHECK

of back to summary

of	back to summary
public static TypeCheckInstruction of(Opcode op, ClassDesc type) Returns a type check instruction. Parameters op:Opcode the opcode for the specific type of type check instruction, which must be of kind `Opcode.Kind#TYPE_CHECK` type:ClassDesc the type against which to check or cast Returns:TypeCheckInstruction a type check instruction Exceptions IllegalArgumentException: if the opcode kind is not `Opcode.Kind#TYPE_CHECK`, or if `type` is primitive

public static TypeCheckInstruction of(Opcode op, ClassDesc type)

Returns a type check instruction.

Parameters

op:Opcode: the opcode for the specific type of type check instruction, which must be of kind Opcode.Kind#TYPE_CHECK
type:ClassDesc: the type against which to check or cast

Returns:TypeCheckInstruction

a type check instruction

Exceptions

IllegalArgumentException:: if the opcode kind is not Opcode.Kind#TYPE_CHECK, or if type is primitive

type	back to summary
public ClassEntry type() Returns the type against which the instruction checks. Returns:ClassEntry the type against which the instruction checks

type

back to summary

public ClassEntry type()

Returns the type against which the instruction checks.

Returns:ClassEntry: the type against which the instruction checks

public sealed Interface TypeCheckInstruction

Method Summary

Method Detail