sealed abstract class ConstantFieldValue[T] extends Attribute with ConstantValue[T] with KnownTypedValue
A representation of the constant value of a field.
- Source
- ConstantFieldValue.scala
- Alphabetic
- By Inheritance
- ConstantFieldValue
- KnownTypedValue
- KnownValue
- ValueInformation
- ConstantValue
- BootstrapArgument
- Attribute
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract def computationalType: ComputationalType
The computational type of the value if this object represents a legal value.
The computational type of the value if this object represents a legal value.
The precise computational type is, e.g., needed to calculate the effect of generic stack manipulation instructions (e.g.,
DUP_...andSWAP) on the stack as well as to calculate the jump targets ofRETinstructions and to determine which values are actually copied by, e.g., thedup_XXinstructions.- Definition Classes
- ValueInformation
- Exceptions thrown
IllegalStateExceptionif this value is illegal or void.- Note
The computational type has to be precise/correct.
- abstract def hasCategory2ComputationalType: Boolean
Returns
trueif and only if the value has the computational type 2;falsein all other cases (including the case where this value is illegal!).Returns
trueif and only if the value has the computational type 2;falsein all other cases (including the case where this value is illegal!).- Definition Classes
- ValueInformation
- abstract def isArrayValue: Answer
Returns
Yesif the value is _not null_ and the least upper type bound is anArrayType; the value isUnknownif the least upper type bound isArrayTypebut the value may be null; in all other casesNois returned; in particular if the value is known to be null.Returns
Yesif the value is _not null_ and the least upper type bound is anArrayType; the value isUnknownif the least upper type bound isArrayTypebut the value may be null; in all other casesNois returned; in particular if the value is known to be null.Nois also returned if the value's type isObjectorSeriablizableorCloneable.- Definition Classes
- ValueInformation
- abstract def isPrimitiveValue: Boolean
Returns
truein case of a value with primitive type.Returns
truein case of a value with primitive type.- Definition Classes
- ValueInformation
- Exceptions thrown
IllegalStateExceptionif this value is illegal.
- abstract def isReferenceValue: Boolean
Returns
trueif the value has a reference type.Returns
trueif the value has a reference type.- Definition Classes
- ValueInformation
- Exceptions thrown
IllegalStateExceptionif this value is illegal.
- abstract def kindId: Int
Returns the unique ID that identifies this kind of attribute (Signature, LineNumberTable, ...)
Returns the unique ID that identifies this kind of attribute (Signature, LineNumberTable, ...)
This id can then be used in a switch statement to efficiently identify the attribute.
(attribute.id : @scala.annotation.switch) match { case Signature.Id => ... }
Associating Unique Id
The unique ids are manually associated with the attributes. The attributes use the following IDs:
- (-1 Unknown Attribute)
- 1-5 The ConstantValue Attribute
- 6 The Code Attribute
- 7 The StackMapTable Attribute
- 8 The Exceptions Attribute
- 9 The InnerClasses Attribute
- 10 The EnclosingMethod Attribute
- 11 The Synthetic Attribute
- 12-16 The Signature Attribute
- 17 The SourceFile Attribute
- 18 The SourceDebugExtension Attribute
- 19 The LineNumberTable Attribute
- 20 The LocalVariableTable Attribute
- 21 The LocalVariableTypeTable Attribute
- 22 The Deprecated Attribute
- 23 The RuntimeVisibleAnnotations Attribute
- 24 The RuntimeInvisibleAnnotations Attribute
- 25 The RuntimeVisibleParameterAnnotations Attribute
- 26 The RuntimeInvisibleParameterAnnotations Attribute
- 27 The RuntimeVisibleTypeAnnotations Attribute
- 28 The RuntimeInvisibleTypeAnnotations Attribute
- 29-41 The AnnotationDefault Attribute
- 42 The BootstrapMethods Attribute
- 43 The MethodParameters Attribute
- 44 The Module Attribute (Java 9)
- 45 The ModuleMainClass Attribute (Java 9)
- 46 The ModulePackages Attribute (Java 9)
- 47 The NestHost Attribute (Java 11)
- 48 The NestMembers Attribute (Java 11)
- 49 The Record Attribute (Java 16)
- 1001 OPAL's VirtualTypeFlag Attribute
- 1002 OPAL's SynthesizedClassFiles Attribute
- 1003 OPAL's TACode Attribute (the 3-Address Code)
- Definition Classes
- Attribute
- abstract def runtimeValueType: Type
The (runtime) type of the concrete value.
The (runtime) type of the concrete value.
- Definition Classes
- ConstantValue
- abstract def toCanonicalForm: ValueInformation
Returns a
ValueInformationobject that just captures the basic information as defined by thisvalueframework.Returns a
ValueInformationobject that just captures the basic information as defined by thisvalueframework. The returned value information object will be independent of the underlying representation from which it was derived.- Definition Classes
- ValueInformation
- abstract def toJava: String
- Definition Classes
- BootstrapArgument
- abstract def value: T
The concrete value.
The concrete value.
- Definition Classes
- ConstantValue
- abstract def valueToString: String
A string representation of the concrete value; used for debugging purposes.
A string representation of the concrete value; used for debugging purposes.
- Definition Classes
- ConstantValue
- abstract def verificationTypeInfo: VerificationTypeInfo
The type of this value as used by the org.opalj.br.StackMapTable attribute.
The type of this value as used by the org.opalj.br.StackMapTable attribute.
- Definition Classes
- ValueInformation
- Exceptions thrown
IllegalStateExceptionif this value represents void or a return address value.
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def asPrimitiveValue: IsPrimitiveValue[_ <: BaseType]
- Definition Classes
- ValueInformation
- def asReferenceValue: IsReferenceValue
- Definition Classes
- ValueInformation
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def isIllegalValue: Boolean
Returns
trueiff this value is not a legal value according to the JVM specification.Returns
trueiff this value is not a legal value according to the JVM specification. Such values cannot be used to perform any computations and will generally not occur in static analyses unless the analysis or the bytecode is buggy.- Definition Classes
- KnownValue → ValueInformation
- Note
An IsIllegalValue can always be distinguished from a void value.
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def isVoid: Boolean
Returns
trueif this value represents void.Returns
trueif this value represents void.- Definition Classes
- KnownTypedValue → ValueInformation
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- def similar(other: Attribute, config: SimilarityTestConfiguration): Boolean
Returns true if this attribute and the given one are guaranteed to be indistinguishable at runtime.
Returns true if this attribute and the given one are guaranteed to be indistinguishable at runtime.
- Definition Classes
- ConstantFieldValue → Attribute
- Note
If this class is implemented as a proper
case class, this method can often be implemented by forwarding to the defaultequalsmethod.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toBoolean: Boolean
- Definition Classes
- ConstantValue
- def toByte: Byte
- Definition Classes
- ConstantValue
- def toChar: Char
- Definition Classes
- ConstantValue
- def toDouble: Double
- Definition Classes
- ConstantValue
- def toFloat: Float
- Definition Classes
- ConstantValue
- def toInt: Int
- Definition Classes
- ConstantValue
- def toLong: Long
- Definition Classes
- ConstantValue
- def toReferenceType: ReferenceType
- Definition Classes
- ConstantValue
- def toShort: Short
- Definition Classes
- ConstantValue
- def toString(): String
- Definition Classes
- AnyRef → Any
- def toUTF8: String
- Definition Classes
- ConstantValue
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated