final case class ConstantLong(value: Long) extends ConstantFieldValue[Long] with IsLongValue with Product with Serializable
- Source
- ConstantFieldValue.scala
- Alphabetic
- By Inheritance
- ConstantLong
- Serializable
- Serializable
- Product
- Equals
- IsLongValue
- IsPrimitiveValue
- ConstantValueInformationProvider
- ConstantFieldValue
- KnownTypedValue
- KnownValue
- ValueInformation
- ConstantValue
- BootstrapArgument
- Attribute
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new ConstantLong(value: Long)
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
- ConstantValueInformationProvider
-
def
asConstantLong: Long
- Definition Classes
- IsLongValue → ConstantValueInformationProvider
-
def
asConstantShort: Short
- Definition Classes
- ConstantValueInformationProvider
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
final
def
asPrimitiveValue: IsPrimitiveValue[LongType]
- Definition Classes
- IsPrimitiveValue → ValueInformation
-
def
asReferenceValue: IsReferenceValue
- Definition Classes
- ValueInformation
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @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[Long]
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
- ConstantLong → ConstantValueInformationProvider
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
getClass(): Class[_]
- 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
- IsLongValue → 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
- ConstantLong → Attribute
-
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: LongType
- Definition Classes
- IsLongValue → IsPrimitiveValue
-
def
runtimeValueType: LongType
The (runtime) type of the concrete value.
The (runtime) type of the concrete value.
- Definition Classes
- ConstantLong → 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
- ConstantValue
-
def
toByte: Byte
- Definition Classes
- 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
- IsLongValue → ValueInformation
-
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
toJava: String
- Definition Classes
- ConstantLong → BootstrapArgument
-
def
toLong: Long
- Definition Classes
- ConstantLong → ConstantValue
-
def
toReferenceType: ReferenceType
- Definition Classes
- ConstantValue
-
def
toShort: Short
- Definition Classes
- ConstantValue
-
def
toUTF8: String
- Definition Classes
- ConstantValue
-
val
value: Long
The concrete value.
The concrete value.
- Definition Classes
- ConstantLong → 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
- ConstantLong → 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
- IsLongValue → 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( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated