case object AReturnAddressValue extends IsReturnAddressValue with Product with Serializable
- Source
- ValueInformation.scala
- Alphabetic
- By Inheritance
- AReturnAddressValue
- Serializable
- Product
- Equals
- IsReturnAddressValue
- KnownTypedValue
- KnownValue
- ValueInformation
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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 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
- IsReturnAddressValue → ValueInformation
- Exceptions thrown
IllegalStateExceptionif this value is illegal or void.- Note
The computational type has to be precise/correct.
- 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()
- final 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
- IsReturnAddressValue → ValueInformation
- final 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
- IsReturnAddressValue → ValueInformation
- 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 isPrimitiveValue: Boolean
Returns
truein case of a value with primitive type.Returns
truein case of a value with primitive type.- Definition Classes
- IsReturnAddressValue → ValueInformation
- Exceptions thrown
IllegalStateExceptionif this value is illegal.
- final def isReferenceValue: Boolean
Returns
trueif the value has a reference type.Returns
trueif the value has a reference type.- Definition Classes
- IsReturnAddressValue → ValueInformation
- Exceptions thrown
IllegalStateExceptionif this value is illegal.
- 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 productElementName(n: Int): String
- Definition Classes
- Product
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toCanonicalForm: IsReturnAddressValue
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
- IsReturnAddressValue → ValueInformation
- 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
- IsReturnAddressValue → ValueInformation
- Exceptions thrown
IllegalStateExceptionif 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