APIdia Launch Partner
Top Description Inners Fields Constructors Methods
jdk.internal.classfile.impl.verifier

pack-priv Class VerificationTable

extends Object
Class Inheritance
Imports
java.util.ArrayList, .List

From stackMapTable.cpp.

Nested and Inner Type Summary

Modifier and TypeClass and Description
pack-priv static class
pack-priv static class

Field Summary

Modifier and TypeField and Description
private final int
private final List<VerificationFrame>
private final int
private final VerifierImpl

Constructor Summary

AccessConstructor and Description
pack-priv

Method Summary

Modifier and TypeMethod and Description
pack-priv void
pack-priv int
pack-priv int
pack-priv int
get_offset(int index)

pack-priv boolean
match_stackmap(VerificationFrame frame, int target, boolean match, boolean update)

pack-priv boolean
match_stackmap(VerificationFrame frame, int target, int frame_index, boolean match, boolean update)

Inherited from java.lang.Object:
cloneequalsfinalizegetClasshashCodenotifynotifyAlltoStringwaitwaitwait

Field Detail

_code_lengthback to summary
private final int _code_length
_frame_arrayback to summary
private final List<VerificationFrame> _frame_array
_frame_countback to summary
private final int _frame_count
_verifierback to summary
private final VerifierImpl _verifier

Constructor Detail

VerificationTableback to summary
pack-priv VerificationTable(VerificationTable.StackMapReader reader, VerificationWrapper.ConstantPoolWrapper cp, VerifierImpl v)

Method Detail

check_jump_targetback to summary
pack-priv void check_jump_target(VerificationFrame frame, int target)
get_frame_countback to summary
pack-priv int get_frame_count()
get_index_from_offsetback to summary
pack-priv int get_index_from_offset(int offset)
get_offsetback to summary
pack-priv int get_offset(int index)
match_stackmapback to summary
pack-priv boolean match_stackmap(VerificationFrame frame, int target, boolean match, boolean update)
match_stackmapback to summary
pack-priv boolean match_stackmap(VerificationFrame frame, int target, int frame_index, boolean match, boolean update)
jdk.internal.classfile.impl.verifier back to summary

pack-priv Class VerificationTable.StackMapReader

extends Object
Class Inheritance
  • java.lang.Object
  • jdk.internal.classfile.impl.verifier.VerificationTable.StackMapReader

Field Summary

Modifier and TypeField and Description
private final byte[]
private final int
private final VerificationWrapper.ConstantPoolWrapper
pack-priv boolean
private final int
pack-priv char
pack-priv char
private int
private VerificationFrame
private final VerificationTable.StackMapStream
private final VerifierImpl

Constructor Summary

AccessConstructor and Description
public
StackMapReader(byte[] stackmapData, byte[] code_data, int code_len, VerificationFrame init_frame, char max_locals, char max_stack, VerificationWrapper.ConstantPoolWrapper cp, VerifierImpl context)

Method Summary

Modifier and TypeMethod and Description
public boolean
public void
pack-priv void
pack-priv void
pack-priv void
check_verification_type_array_size(int size, int max_size)

pack-priv int
chop(VerificationType[] locals, int length, int chops)

public byte[]
public int
public int
public VerificationFrame
next()

pack-priv VerificationFrame
pack-priv VerificationType
public VerificationFrame
Inherited from java.lang.Object:
cloneequalsfinalizegetClasshashCodenotifynotifyAlltoStringwaitwaitwait

Field Detail

_code_databack to summary
private final byte[] _code_data
_code_lengthback to summary
private final int _code_length
_cpback to summary
private final VerificationWrapper.ConstantPoolWrapper _cp
_firstback to summary
pack-priv boolean _first
_frame_countback to summary
private final int _frame_count
_max_localsback to summary
pack-priv char _max_locals
_max_stackback to summary
pack-priv char _max_stack
_parsed_frame_countback to summary
private int _parsed_frame_count
_prev_frameback to summary
private VerificationFrame _prev_frame
_streamback to summary
private final VerificationTable.StackMapStream _stream
_verifierback to summary
private final VerifierImpl _verifier

Constructor Detail

StackMapReaderback to summary
public StackMapReader(byte[] stackmapData, byte[] code_data, int code_len, VerificationFrame init_frame, char max_locals, char max_stack, VerificationWrapper.ConstantPoolWrapper cp, VerifierImpl context)

Method Detail

at_endback to summary
public boolean at_end()
check_endback to summary
public void check_end()
check_offsetback to summary
pack-priv void check_offset(VerificationFrame frame)
check_sizeback to summary
pack-priv void check_size()
check_verification_type_array_sizeback to summary
pack-priv void check_verification_type_array_size(int size, int max_size)
chopback to summary
pack-priv int chop(VerificationType[] locals, int length, int chops)
code_databack to summary
public byte[] code_data()
code_lengthback to summary
public int code_length()
get_frame_countback to summary
public int get_frame_count()
nextback to summary
public VerificationFrame next()
next_helperback to summary
pack-priv VerificationFrame next_helper()
parse_verification_typeback to summary
pack-priv VerificationType parse_verification_type(int[] flags)
prev_frameback to summary
public VerificationFrame prev_frame()
jdk.internal.classfile.impl.verifier back to summary

pack-priv Class VerificationTable.StackMapStream

extends Object
Class Inheritance
  • java.lang.Object
  • jdk.internal.classfile.impl.verifier.VerificationTable.StackMapStream

Field Summary

Modifier and TypeField and Description
private final byte[]
private int
private final VerifierImpl

Constructor Summary

AccessConstructor and Description
pack-priv
StackMapStream(byte[] ah, VerifierImpl context)

Method Summary

Modifier and TypeMethod and Description
pack-priv boolean
pack-priv int
pack-priv int
Inherited from java.lang.Object:
cloneequalsfinalizegetClasshashCodenotifynotifyAlltoStringwaitwaitwait

Field Detail

_databack to summary
private final byte[] _data
_indexback to summary
private int _index
_verifierback to summary
private final VerifierImpl _verifier

Constructor Detail

StackMapStreamback to summary
pack-priv StackMapStream(byte[] ah, VerifierImpl context)

Method Detail

at_endback to summary
pack-priv boolean at_end()
get_u1back to summary
pack-priv int get_u1()
get_u2back to summary
pack-priv int get_u2()