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

Modifier and Type	Field and Description
private final ClassModel	classModel Record Component accessed by classModel().

Access	Constructor and Description
public	ParserVerifier(ClassModel classModel)

Method Summary

Modifier and Type	Method and Description
private static int	annotationSize(Annotation an)
private static int	annotationsSize(List<Annotation> ans)
private static int	attributesSize(List<Attribute<?>> attrs)
public ClassModel	classModel() Record Component getter of classModel.
private String	className()
private static int	componentsSize(List<RecordComponentInfo> comps)
private VerifyError	cpeVerifyError(final PoolEntry cpe, final Throwable e)
public final boolean	equals(Object o) Implements abstract java.lang.Record.equals. Indicates whether some other object is "equal to" this one.
public final int	hashCode() Implements abstract java.lang.Record.hashCode. Returns a hash code value for the record.
private static int	moduleHashesSize(List<ModuleHashInfo> hashes)
private static int	parameterAnnotationsSize(List<List<Annotation>> pans)
private int	stackMapFrameSize(StackMapFrameInfo frame)
private static <T, S extends Collection<?>> int	subSize(Collection<T> entries, Function<T, S> subMH, int entrySize, int subSize)
private static <T> int	subSize(Collection<T> entries, ToIntFunction<T> subMH)
private String	toString(AttributedElement ae)
public final String	toString() Implements abstract java.lang.Record.toString. Returns a string representation of the record.
private static int	typeAnnotationsSize(List<TypeAnnotation> ans)
private static int	valueSize(AnnotationValue val)
private static int	verificationTypeSize(StackMapFrameInfo.VerificationTypeInfo vti)
pack-priv List<VerifyError>	verify()
private void	verifyAttribute(AttributedElement ae, Attribute<?> a, List<VerifyError> errors)
private void	verifyAttributes(ClassFileElement cfe, List<VerifyError> errors)
private void	verifyConstantPool(List<VerifyError> errors)
private void	verifyFieldName(String name)
private void	verifyFields(List<VerifyError> errors)
private void	verifyInterfaces(List<VerifyError> errors)
private void	verifyMethodName(String name)
private void	verifyMethods(List<VerifyError> errors)

classModel	back to summary
private final ClassModel classModel Record Component accessed by classModel().

ParserVerifier	back to summary
public ParserVerifier(ClassModel classModel)

Method Detail

annotationSize	back to summary
private static int annotationSize(Annotation an)

annotationsSize	back to summary
private static int annotationsSize(List<Annotation> ans)

attributesSize	back to summary
private static int attributesSize(List<Attribute<?>> attrs)

classModel	back to summary
public ClassModel classModel() Record Component getter of classModel.

className	back to summary
private String className()

componentsSize	back to summary
private static int componentsSize(List<RecordComponentInfo> comps)

cpeVerifyError	back to summary
private VerifyError cpeVerifyError(final PoolEntry cpe, final Throwable e)

equals back to summary

equals	back to summary
public final boolean equals(Object o) Implements abstract java.lang.Record.equals. Doc from java.lang.Record.equals. Indicates whether some other object is "equal to" this one. In addition to the general contract of `Object.equals`, record classes must further obey the invariant that when a record instance is "copied" by passing the result of the record component accessor methods to the canonical constructor, as follows: R copy = new R(r.c1(), r.c2(), ..., r.cn()); then it must be the case that `r.equals(copy)`.

public final boolean equals(Object o)

Implements abstract java.lang.Record.equals.

Doc from java.lang.Record.equals.

Indicates whether some other object is "equal to" this one. In addition to the general contract of Object.equals, record classes must further obey the invariant that when a record instance is "copied" by passing the result of the record component accessor methods to the canonical constructor, as follows:

    R copy = new R(r.c1(), r.c2(), ..., r.cn());

then it must be the case that r.equals(copy).

hashCode back to summary

hashCode	back to summary
public final int hashCode() Implements abstract java.lang.Record.hashCode. Doc from java.lang.Record.hashCode. Returns a hash code value for the record. Obeys the general contract of `Object.hashCode`. For records, hashing behavior is constrained by the refined contract of `Record.equals`, so that any two records created from the same components must have the same hash code.

public final int hashCode()

Implements abstract java.lang.Record.hashCode.

Doc from java.lang.Record.hashCode.

Returns a hash code value for the record. Obeys the general contract of Object.hashCode. For records, hashing behavior is constrained by the refined contract of Record.equals, so that any two records created from the same components must have the same hash code.

moduleHashesSize	back to summary
private static int moduleHashesSize(List<ModuleHashInfo> hashes)

parameterAnnotationsSize	back to summary
private static int parameterAnnotationsSize(List<List<Annotation>> pans)

stackMapFrameSize	back to summary
private int stackMapFrameSize(StackMapFrameInfo frame)

subSize	back to summary
private static <T, S extends Collection<?>> int subSize(Collection<T> entries, Function<T, S> subMH, int entrySize, int subSize)

subSize	back to summary
private static <T> int subSize(Collection<T> entries, ToIntFunction<T> subMH)

toString	back to summary
private String toString(AttributedElement ae)

toString back to summary

toString	back to summary
public final String toString() Implements abstract java.lang.Record.toString. Doc from java.lang.Record.toString. Returns a string representation of the record. In accordance with the general contract of `Object#toString()`, the `toString` method returns a string that "textually represents" this record. The result should be a concise but informative representation that is easy for a person to read. In addition to this general contract, record classes must further participate in the invariant that any two records which are equal must produce equal strings. This invariant is necessarily relaxed in the rare case where corresponding equal component values might fail to produce equal strings for themselves.

public final String toString()

Implements abstract java.lang.Record.toString.

Doc from java.lang.Record.toString.

Returns a string representation of the record. In accordance with the general contract of Object#toString(), the toString method returns a string that "textually represents" this record. The result should be a concise but informative representation that is easy for a person to read.

In addition to this general contract, record classes must further participate in the invariant that any two records which are equal must produce equal strings. This invariant is necessarily relaxed in the rare case where corresponding equal component values might fail to produce equal strings for themselves.

typeAnnotationsSize	back to summary
private static int typeAnnotationsSize(List<TypeAnnotation> ans)

valueSize	back to summary
private static int valueSize(AnnotationValue val)

verificationTypeSize	back to summary
private static int verificationTypeSize(StackMapFrameInfo.VerificationTypeInfo vti)

verify	back to summary
pack-priv List<VerifyError> verify()

verifyAttribute	back to summary
private void verifyAttribute(AttributedElement ae, Attribute<?> a, List<VerifyError> errors)

verifyAttributes	back to summary
private void verifyAttributes(ClassFileElement cfe, List<VerifyError> errors)

verifyConstantPool	back to summary
private void verifyConstantPool(List<VerifyError> errors)

verifyFieldName	back to summary
private void verifyFieldName(String name)

verifyFields	back to summary
private void verifyFields(List<VerifyError> errors)

verifyInterfaces	back to summary
private void verifyInterfaces(List<VerifyError> errors)

verifyMethodName	back to summary
private void verifyMethodName(String name)

verifyMethods	back to summary
private void verifyMethods(List<VerifyError> errors)

public final Record ParserVerifier

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail