OpenJDK 27 · jdk.internal.classfile.impl.verifier.VerificationType

Field Summary

Modifier and Type	Field and Description
private static final Map<VerificationType, String>	_constantsMap
private final int	_data
private final String	_sym
private static final int	BciForThis
private static final int	BciMask
private static final int	BitsPerByte
private static final int	Bogus
pack-priv static final VerificationType	bogus_type
private static final int	Boolean
pack-priv static final VerificationType	boolean_type
private static final int	Byte
pack-priv static final VerificationType	byte_type
private static final int	Category1
pack-priv static final VerificationType	category1_check
private static final int	Category1Flag
private static final int	Category1Query
private static final int	Category2
private static final int	Category2_2nd
private static final int	Category2_2ndFlag
private static final int	Category2_2ndQuery
pack-priv static final VerificationType	category2_check
private static final int	Category2Flag
private static final int	Category2Query
private static final int	Char
pack-priv static final VerificationType	char_type
private static final int	Double
pack-priv static final VerificationType	double2_type
private static final int	Double_2nd
pack-priv static final VerificationType	double_type
private static final int	Float
pack-priv static final VerificationType	float_type
private static final int	Integer
pack-priv static final VerificationType	integer_type
private static final int	Long
pack-priv static final VerificationType	long2_type
private static final int	Long_2nd
pack-priv static final VerificationType	long_type
private static final int	Null
pack-priv static final VerificationType	null_type
private static final int	Primitive
private static final int	Reference
pack-priv static final VerificationType	reference_check
private static final int	ReferenceFlag
private static final int	ReferenceQuery
private static final int	Short
pack-priv static final VerificationType	short_type
private static final int	TypeMask
private static final int	TypeQuery
private static final int	Uninitialized
pack-priv static final VerificationType	uninitialized_this_type

Constructor Summary

Access	Constructor and Description
pack-priv	VerificationType(String sym)
public	VerificationType(int data, String sym)
pack-priv	VerificationType(int raw_data)

Method Summary

Modifier and Type	Method and Description
private boolean	_is_assignable_from(VerificationType from, VerifierImpl context)
pack-priv int	bci(VerifierImpl context)
pack-priv int	dimensions(VerifierImpl context)
public boolean	equals(Object obj) Overrides java.lang.Object.equals. Indicates whether some other object is "equal to" this one.
pack-priv static VerificationType	from_tag(int tag, VerifierImpl context)
pack-priv VerificationType	get_component(VerifierImpl context)
public int	hashCode() Overrides java.lang.Object.hashCode. Returns a hash code value for this object.
pack-priv boolean	is_array()
pack-priv boolean	is_array_array()
pack-priv boolean	is_assignable_from(VerificationType from, VerifierImpl context)
pack-priv boolean	is_bogus()
pack-priv boolean	is_bool_array()
pack-priv boolean	is_byte_array()
pack-priv boolean	is_category1(VerifierImpl context)
pack-priv boolean	is_category2()
pack-priv boolean	is_category2_2nd()
pack-priv boolean	is_char_array()
pack-priv boolean	is_check()
pack-priv boolean	is_component_assignable_from(VerificationType from, VerifierImpl context)
pack-priv boolean	is_double()
pack-priv boolean	is_double2()
pack-priv boolean	is_double_array()
pack-priv boolean	is_float_array()
pack-priv boolean	is_int_array()
pack-priv boolean	is_integer()
pack-priv boolean	is_long()
pack-priv boolean	is_long2()
pack-priv boolean	is_long_array()
pack-priv boolean	is_null()
pack-priv boolean	is_object()
pack-priv boolean	is_object_array()
pack-priv boolean	is_reference()
pack-priv boolean	is_reference_array()
pack-priv boolean	is_reference_assignable_from(VerificationType from, VerifierImpl context, boolean[] target_is_interface)
pack-priv boolean	is_short_array()
pack-priv boolean	is_uninitialized()
pack-priv boolean	is_uninitialized_this(VerifierImpl context)
pack-priv boolean	is_x_array(char sig)
pack-priv String	name()
pack-priv static VerificationType	reference_type(String sh)
pack-priv boolean	resolve_and_check_assignability(ClassHierarchyImpl assignResolver, String target_name, String from_name, boolean from_is_array, boolean from_is_object, boolean[] target_is_interface)
pack-priv VerificationType	to_category2_2nd(VerifierImpl context)
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.
pack-priv static VerificationType	uninitialized_type(int bci)

Inherited from java.lang.Object:: clone finalize getClass notify notifyAll wait wait wait

Field Detail

_constantsMap	back to summary
private static final Map<VerificationType, String> _constantsMap

_data	back to summary
private final int _data

_sym	back to summary
private final String _sym

BciForThis	back to summary
private static final int BciForThis

BciMask	back to summary
private static final int BciMask

BitsPerByte	back to summary
private static final int BitsPerByte

Bogus	back to summary
private static final int Bogus

bogus_type	back to summary
pack-priv static final VerificationType bogus_type

Boolean	back to summary
private static final int Boolean

boolean_type	back to summary
pack-priv static final VerificationType boolean_type

Byte	back to summary
private static final int Byte

byte_type	back to summary
pack-priv static final VerificationType byte_type

Category1	back to summary
private static final int Category1

category1_check	back to summary
pack-priv static final VerificationType category1_check

Category1Flag	back to summary
private static final int Category1Flag

Category1Query	back to summary
private static final int Category1Query

Category2	back to summary
private static final int Category2

Category2_2nd	back to summary
private static final int Category2_2nd

Category2_2ndFlag	back to summary
private static final int Category2_2ndFlag

Category2_2ndQuery	back to summary
private static final int Category2_2ndQuery

category2_check	back to summary
pack-priv static final VerificationType category2_check

Category2Flag	back to summary
private static final int Category2Flag

Category2Query	back to summary
private static final int Category2Query

Char	back to summary
private static final int Char

char_type	back to summary
pack-priv static final VerificationType char_type

Double	back to summary
private static final int Double

double2_type	back to summary
pack-priv static final VerificationType double2_type

Double_2nd	back to summary
private static final int Double_2nd

double_type	back to summary
pack-priv static final VerificationType double_type

Float	back to summary
private static final int Float

float_type	back to summary
pack-priv static final VerificationType float_type

Integer	back to summary
private static final int Integer

integer_type	back to summary
pack-priv static final VerificationType integer_type

Long	back to summary
private static final int Long

long2_type	back to summary
pack-priv static final VerificationType long2_type

Long_2nd	back to summary
private static final int Long_2nd

long_type	back to summary
pack-priv static final VerificationType long_type

Null	back to summary
private static final int Null

null_type	back to summary
pack-priv static final VerificationType null_type

Primitive	back to summary
private static final int Primitive

Reference	back to summary
private static final int Reference

reference_check	back to summary
pack-priv static final VerificationType reference_check

ReferenceFlag	back to summary
private static final int ReferenceFlag

ReferenceQuery	back to summary
private static final int ReferenceQuery

Short	back to summary
private static final int Short

short_type	back to summary
pack-priv static final VerificationType short_type

TypeMask	back to summary
private static final int TypeMask

TypeQuery	back to summary
private static final int TypeQuery

Uninitialized	back to summary
private static final int Uninitialized

uninitialized_this_type	back to summary
pack-priv static final VerificationType uninitialized_this_type

Constructor Detail

VerificationType	back to summary
pack-priv VerificationType(String sym)

VerificationType	back to summary
public VerificationType(int data, String sym)

VerificationType	back to summary
pack-priv VerificationType(int raw_data)

Method Detail

_is_assignable_from	back to summary
private boolean _is_assignable_from(VerificationType from, VerifierImpl context)

bci	back to summary
pack-priv int bci(VerifierImpl context)

dimensions	back to summary
pack-priv int dimensions(VerifierImpl context)

equals back to summary

public boolean equals(Object obj)

Overrides java.lang.Object.equals.

Doc from java.lang.Object.equals.

Indicates whether some other object is "equal to" this one.

The equals method implements an equivalence relation on non-null object references:

It is reflexive: for any non-null reference value x, x.equals(x) should return true.
It is symmetric: for any non-null reference values x and y, x.equals(y) should return true if and only if y.equals(x) returns true.
It is transitive: for any non-null reference values x, y, and z, if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.
It is consistent: for any non-null reference values x and y, multiple invocations of x.equals(y) consistently return true or consistently return false, provided no information used in equals comparisons on the objects is modified.
For any non-null reference value x, x.equals(null) should return false.

An equivalence relation partitions the elements it operates on into equivalence classes; all the members of an equivalence class are equal to each other. Members of an equivalence class are substitutable for each other, at least for some purposes.

Annotations

@Override

from_tag	back to summary
pack-priv static VerificationType from_tag(int tag, VerifierImpl context)

get_component	back to summary
pack-priv VerificationType get_component(VerifierImpl context)

hashCode back to summary

public int hashCode()

Overrides java.lang.Object.hashCode.

Doc from java.lang.Object.hashCode.

Returns a hash code value for this object. This method is supported for the benefit of hash tables such as those provided by java.util.HashMap.

The general contract of hashCode is:

Whenever it is invoked on the same object more than once during an execution of a Java application, the hashCode method must consistently return the same integer, provided no information used in equals comparisons on the object is modified. This integer need not remain consistent from one execution of an application to another execution of the same application.
If two objects are equal according to the equals method, then calling the hashCode method on each of the two objects must produce the same integer result.
It is not required that if two objects are unequal according to the equals method, then calling the hashCode method on each of the two objects must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of hash tables.

Annotations

@Override

is_array	back to summary
pack-priv boolean is_array()

is_array_array	back to summary
pack-priv boolean is_array_array()

is_assignable_from	back to summary
pack-priv boolean is_assignable_from(VerificationType from, VerifierImpl context)

is_bogus	back to summary
pack-priv boolean is_bogus()

is_bool_array	back to summary
pack-priv boolean is_bool_array()

is_byte_array	back to summary
pack-priv boolean is_byte_array()

is_category1	back to summary
pack-priv boolean is_category1(VerifierImpl context)

is_category2	back to summary
pack-priv boolean is_category2()

is_category2_2nd	back to summary
pack-priv boolean is_category2_2nd()

is_char_array	back to summary
pack-priv boolean is_char_array()

is_check	back to summary
pack-priv boolean is_check()

is_component_assignable_from	back to summary
pack-priv boolean is_component_assignable_from(VerificationType from, VerifierImpl context)

is_double	back to summary
pack-priv boolean is_double()

is_double2	back to summary
pack-priv boolean is_double2()

is_double_array	back to summary
pack-priv boolean is_double_array()

is_float_array	back to summary
pack-priv boolean is_float_array()

is_int_array	back to summary
pack-priv boolean is_int_array()

is_integer	back to summary
pack-priv boolean is_integer()

is_long	back to summary
pack-priv boolean is_long()

is_long2	back to summary
pack-priv boolean is_long2()

is_long_array	back to summary
pack-priv boolean is_long_array()

is_null	back to summary
pack-priv boolean is_null()

is_object	back to summary
pack-priv boolean is_object()

is_object_array	back to summary
pack-priv boolean is_object_array()

is_reference	back to summary
pack-priv boolean is_reference()

is_reference_array	back to summary
pack-priv boolean is_reference_array()

is_reference_assignable_from	back to summary
pack-priv boolean is_reference_assignable_from(VerificationType from, VerifierImpl context, boolean[] target_is_interface)

is_short_array	back to summary
pack-priv boolean is_short_array()

is_uninitialized	back to summary
pack-priv boolean is_uninitialized()

is_uninitialized_this	back to summary
pack-priv boolean is_uninitialized_this(VerifierImpl context)

is_x_array	back to summary
pack-priv boolean is_x_array(char sig)

name	back to summary
pack-priv String name()

reference_type	back to summary
pack-priv static VerificationType reference_type(String sh)

resolve_and_check_assignability	back to summary
pack-priv boolean resolve_and_check_assignability(ClassHierarchyImpl assignResolver, String target_name, String from_name, boolean from_is_array, boolean from_is_object, boolean[] target_is_interface)

to_category2_2nd	back to summary
pack-priv VerificationType to_category2_2nd(VerifierImpl context)

toString back to summary

public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

Annotations

@Override

uninitialized_type	back to summary
pack-priv static VerificationType uninitialized_type(int bci)

pack-priv Class VerificationType

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail