final case class ConstantInteger(value: Int) extends ConstantFieldValue[Int] with IsIntegerValue with Product with Serializable
- Source
- ConstantFieldValue.scala
- Alphabetic
- By Inheritance
- ConstantInteger
- Serializable
- Product
- Equals
- IsIntegerValue
- IsIntegerLikeValue
- IsPrimitiveValue
- ConstantValueInformationProvider
- ConstantFieldValue
- KnownTypedValue
- KnownValue
- ValueInformation
- ConstantValue
- BootstrapArgument
- Attribute
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new ConstantInteger(value: Int)
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
- def asConstantBoolean: Boolean
- Definition Classes
- ConstantValueInformationProvider
- def asConstantByte: Byte
- Definition Classes
- ConstantValueInformationProvider
- def asConstantChar: Char
- Definition Classes
- ConstantValueInformationProvider
- def asConstantDouble: Double
- Definition Classes
- ConstantValueInformationProvider
- def asConstantFloat: Float
- Definition Classes
- ConstantValueInformationProvider
- def asConstantInteger: Integer
- Definition Classes
- IsIntegerValue → ConstantValueInformationProvider
- def asConstantLong: Long
- Definition Classes
- ConstantValueInformationProvider
- def asConstantShort: Short
- Definition Classes
- ConstantValueInformationProvider
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def asPrimitiveValue: IsPrimitiveValue[IntegerType]
- Definition Classes
- IsPrimitiveValue → 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 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 ofRET
instructions and to determine which values are actually copied by, e.g., thedup_XX
instructions.- Definition Classes
- IsPrimitiveValue → ValueInformation
- Exceptions thrown
IllegalStateException
if this value is illegal or void.- Note
The computational type has to be precise/correct.
- def constantValue: Option[Int]
The constant value that this variable takes - if it take a single constant value! I.e., if the variable may take multiple different values at runtime
constantValue
will returnNone
.The constant value that this variable takes - if it take a single constant value! I.e., if the variable may take multiple different values at runtime
constantValue
will returnNone
.- Definition Classes
- ConstantInteger → ConstantValueInformationProvider
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def hasCategory2ComputationalType: Boolean
Returns
true
if and only if the value has the computational type 2;false
in all other cases (including the case where this value is illegal!).Returns
true
if and only if the value has the computational type 2;false
in all other cases (including the case where this value is illegal!).- Definition Classes
- IsIntegerValue → ValueInformation
- final def isArrayValue: Answer
Returns
Yes
if the value is _not null_ and the least upper type bound is anArrayType
; the value isUnknown
if the least upper type bound isArrayType
but the value may be null; in all other casesNo
is returned; in particular if the value is known to be null.Returns
Yes
if the value is _not null_ and the least upper type bound is anArrayType
; the value isUnknown
if the least upper type bound isArrayType
but the value may be null; in all other casesNo
is returned; in particular if the value is known to be null.No
is also returned if the value's type isObject
orSeriablizable
orCloneable
.- Definition Classes
- IsPrimitiveValue → ValueInformation
- final def isIllegalValue: Boolean
Returns
true
iff this value is not a legal value according to the JVM specification.Returns
true
iff 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 isPrimitiveValue: Boolean
Returns
true
in case of a value with primitive type.Returns
true
in case of a value with primitive type.- Definition Classes
- IsPrimitiveValue → ValueInformation
- Exceptions thrown
IllegalStateException
if this value is illegal.
- final def isReferenceValue: Boolean
Returns
true
if the value has a reference type.Returns
true
if the value has a reference type.- Definition Classes
- IsPrimitiveValue → ValueInformation
- Exceptions thrown
IllegalStateException
if this value is illegal.
- final def isVoid: Boolean
Returns
true
if this value represents void.Returns
true
if this value represents void.- Definition Classes
- KnownTypedValue → ValueInformation
- 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
- ConstantInteger → Attribute
- def lowerBound: Int
- Definition Classes
- ConstantInteger → IsIntegerValue
- 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()
- final def primitiveType: IntegerType
- Definition Classes
- IsIntegerValue → IsPrimitiveValue
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def runtimeValueType: IntegerType
The (runtime) type of the concrete value.
The (runtime) type of the concrete value.
- Definition Classes
- ConstantInteger → ConstantValue
- 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 defaultequals
method.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toBoolean: Boolean
- Definition Classes
- ConstantInteger → ConstantValue
- def toByte: Byte
- Definition Classes
- ConstantInteger → ConstantValue
- def toCanonicalForm: ValueInformation
Returns a
ValueInformation
object that just captures the basic information as defined by thisvalue
framework.Returns a
ValueInformation
object that just captures the basic information as defined by thisvalue
framework. The returned value information object will be independent of the underlying representation from which it was derived.- Definition Classes
- IsIntegerValue → ValueInformation
- def toChar: Char
- Definition Classes
- ConstantInteger → ConstantValue
- def toDouble: Double
- Definition Classes
- ConstantValue
- def toFloat: Float
- Definition Classes
- ConstantValue
- def toInt: Int
- Definition Classes
- ConstantInteger → ConstantValue
- def toJava: String
- Definition Classes
- ConstantInteger → BootstrapArgument
- def toLong: Long
- Definition Classes
- ConstantValue
- def toReferenceType: ReferenceType
- Definition Classes
- ConstantValue
- def toShort: Short
- Definition Classes
- ConstantInteger → ConstantValue
- def toUTF8: String
- Definition Classes
- ConstantValue
- def upperBound: Int
- Definition Classes
- ConstantInteger → IsIntegerValue
- val value: Int
The concrete value.
The concrete value.
- Definition Classes
- ConstantInteger → ConstantValue
- 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
- ConstantInteger → ConstantValue
- final 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
- IsIntegerLikeValue → ValueInformation
- Exceptions thrown
IllegalStateException
if this value represents void or a return address value.
- 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