trait RecordLastReturnedValues extends RecordReturnedValues
Records the last value that is returned by a specific return instruction.
Recording just the last value that is returned by an (a|i|l|f|d)return
instruction
is often sufficient (e.g., in case of a domain that performs all computations at the type
level). The "last" value encodes all necessary information.
- Self Type
- RecordLastReturnedValues with ValuesDomain with Configuration with ExceptionsFactory
- Source
- RecordLastReturnedValues.scala
- Alphabetic
- By Inheritance
- RecordLastReturnedValues
- RecordReturnedValues
- CustomInitialization
- RecordReturnedValuesInfrastructure
- ReturnInstructionsDomain
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type ReturnedValue = (RecordLastReturnedValues.this)#DomainValue
This type determines in which way the returned values are recorded.
This type determines in which way the returned values are recorded.
For example, if it is sufficient to just record the last value that was returned by a specific return instruction, then the type could be
DomainValue
and the implementation ofjoinReturnedValues(...)
would just return the last given value. Furthermore,returnedValue
would be the identity function.However, if you have a (more) precise domain you may want to collect all returned values. In this case the type of
ReturnedValue
could be Set[DomainValue].- Definition Classes
- RecordLastReturnedValues → RecordReturnedValuesInfrastructure
Abstract Value Members
- abstract def abruptMethodExecution(pc: Int, exceptionValue: (RecordLastReturnedValues.this)#ExceptionValue): Unit
Called by the abstract interpreter when an exception is thrown that is not (guaranteed to be) handled within the same method.
Called by the abstract interpreter when an exception is thrown that is not (guaranteed to be) handled within the same method.
- Definition Classes
- ReturnInstructionsDomain
- Note
If the original exception value is
null
(/*E.g.*/throw null;
), then the exception that is actually thrown is a newNullPointerException
. This situation is, however, completely handled by OPAL and the exception value is hence nevernull
.
- abstract def returnVoid(pc: Int): Computation[Nothing, (RecordLastReturnedValues.this)#ExceptionValue]
Called when a return instruction with the given
pc
is reached.Called when a return instruction with the given
pc
is reached. In other words, when the method returns normally.- Definition Classes
- ReturnInstructionsDomain
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
- def allReturnedValues: IntMap[(RecordLastReturnedValues.this)#ReturnedValue]
Returns the set of all returned values.
Returns the set of all returned values.
- Definition Classes
- RecordReturnedValues
- def areturn(pc: Int, value: (RecordLastReturnedValues.this)#DomainValue): Computation[Nothing, (RecordLastReturnedValues.this)#ExceptionValue]
The given
value
, which is a value with computational type reference, is returned by the return instruction with the givenpc
.The given
value
, which is a value with computational type reference, is returned by the return instruction with the givenpc
.- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- def doRecordReturnedValue(pc: Int, value: (RecordLastReturnedValues.this)#DomainValue): Boolean
Records the returned value.
Records the returned value.
- returns
true
if the information about the returned value was updated.
- Attributes
- protected[this]
- Definition Classes
- RecordReturnedValues → RecordReturnedValuesInfrastructure
- def dreturn(pc: Int, value: (RecordLastReturnedValues.this)#DomainValue): Computation[Nothing, (RecordLastReturnedValues.this)#ExceptionValue]
The given
value
, which is a value with computational type double, is returned by the return instruction with the givenpc
.The given
value
, which is a value with computational type double, is returned by the return instruction with the givenpc
.- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def freturn(pc: Int, value: (RecordLastReturnedValues.this)#DomainValue): Computation[Nothing, (RecordLastReturnedValues.this)#ExceptionValue]
The given
value
, which is a value with computational type float, is returned by the return instruction with the givenpc
.The given
value
, which is a value with computational type float, is returned by the return instruction with the givenpc
.- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def initProperties(code: Code, cfJoins: IntTrieSet, initialLocals: (RecordLastReturnedValues.this)#Locals): Unit
Override this method to perform custom initialization steps.
Override this method to perform custom initialization steps.
Always use
abstract override
and call the super method; it is recommended to complete the initialization of this domain before calling the super method.- Definition Classes
- RecordReturnedValues → CustomInitialization
- def ireturn(pc: Int, value: (RecordLastReturnedValues.this)#DomainValue): Computation[Nothing, (RecordLastReturnedValues.this)#ExceptionValue]
The given
value
, which is a value with computational type integer, is returned by the return instruction with the givenpc
.The given
value
, which is a value with computational type integer, is returned by the return instruction with the givenpc
.- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def joinReturnedValues(pc: Int, previouslyReturnedValue: (RecordLastReturnedValues.this)#ReturnedValue, value: (RecordLastReturnedValues.this)#DomainValue): (RecordLastReturnedValues.this)#ReturnedValue
Joins the previously returned value and the newly given
value
.Joins the previously returned value and the newly given
value
. Both values are returned by the same return instruction (samepc
).- pc
The program counter of the return instruction. The returned values are automatically associated with the pc of the instruction. Hence, it is not strictly required to store it in the
ReturnedValue
.
- Attributes
- protected[this]
- Definition Classes
- RecordLastReturnedValues → RecordReturnedValues
- See also
For details study the documentation of the abstract type
ReturnedValue
and study the subclass(es) ofRecordReturnedValues
.
- def lreturn(pc: Int, value: (RecordLastReturnedValues.this)#DomainValue): Computation[Nothing, (RecordLastReturnedValues.this)#ExceptionValue]
The given
value
, which is a value with computational type long, is returned by the return instruction with the givenpc
.The given
value
, which is a value with computational type long, is returned by the return instruction with the givenpc
.- Definition Classes
- RecordReturnedValuesInfrastructure → ReturnInstructionsDomain
- 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 recordReturnedValue(pc: Int, value: (RecordLastReturnedValues.this)#DomainValue): (RecordLastReturnedValues.this)#ReturnedValue
Wraps the given value into a
ReturnedValue
.Wraps the given value into a
ReturnedValue
.- pc
The program counter of the return instruction. The returned values are automatically associated with the pc of the instruction. Hence, it is not strictly required to store it in the
ReturnedValue
.
- Attributes
- protected[this]
- Definition Classes
- RecordLastReturnedValues → RecordReturnedValues
- See also
For details study the documentation of the abstract type
ReturnedValue
and study the subclass(es) ofRecordReturnedValues
.
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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