Record Class AnnotationsReader.ArrayElementValue
java.lang.Object
java.lang.Record
com.ibm.wala.shrike.shrikeCT.AnnotationsReader.ArrayElementValue
- Record Components:
vals- the values contained in the array
- All Implemented Interfaces:
AnnotationsReader.ElementValue
- Enclosing class:
AnnotationsReader
public static record AnnotationsReader.ArrayElementValue(AnnotationsReader.ElementValue[] vals)
extends Record
implements AnnotationsReader.ElementValue
represents an annotation argument that itself is an array of arguments
- Author:
- sjfink
-
Constructor Summary
ConstructorsConstructorDescriptionCreates an instance of aArrayElementValuerecord class. -
Method Summary
-
Constructor Details
-
ArrayElementValue
Creates an instance of aArrayElementValuerecord class.- Parameters:
vals- the value for thevalsrecord component
-
-
Method Details
-
toString
-
hashCode
-
equals
Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared withObjects::equals(Object,Object). -
vals
-