trait RecordReturnedValuesInfrastructure extends ai.ReturnInstructionsDomain
Infrastructure to record returned values.
- Self Type
- RecordReturnedValuesInfrastructure with ValuesDomain
- Source
- RecordReturnedValuesInfrastructure.scala
- Alphabetic
- By Inheritance
- RecordReturnedValuesInfrastructure
- ReturnInstructionsDomain
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- abstract type ReturnedValue <: AnyRef
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].
Abstract Value Members
- abstract def abruptMethodExecution(pc: Int, exceptionValue: (RecordReturnedValuesInfrastructure.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 doRecordReturnedValue(pc: Int, value: (RecordReturnedValuesInfrastructure.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]
- abstract def returnVoid(pc: Int): Computation[Nothing, (RecordReturnedValuesInfrastructure.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 areturn(pc: Int, value: (RecordReturnedValuesInfrastructure.this)#DomainValue): Computation[Nothing, (RecordReturnedValuesInfrastructure.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 dreturn(pc: Int, value: (RecordReturnedValuesInfrastructure.this)#DomainValue): Computation[Nothing, (RecordReturnedValuesInfrastructure.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: (RecordReturnedValuesInfrastructure.this)#DomainValue): Computation[Nothing, (RecordReturnedValuesInfrastructure.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 ireturn(pc: Int, value: (RecordReturnedValuesInfrastructure.this)#DomainValue): Computation[Nothing, (RecordReturnedValuesInfrastructure.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 lreturn(pc: Int, value: (RecordReturnedValuesInfrastructure.this)#DomainValue): Computation[Nothing, (RecordReturnedValuesInfrastructure.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()
- 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