trait DefaultTypeLevelHandlingOfMethodResults extends DefaultTypeLevelHandlingForThrownExceptions with DefaultTypeLevelHandlingOfVoidReturns with DefaultTypeLevelHandlingForReturnInstructions
A Domain
that does nothing if a method returns ab-/normally.
- Self Type
- DefaultTypeLevelHandlingOfMethodResults with ValuesDomain with ExceptionsFactory with Configuration
- Source
- DefaultTypeLevelHandlingOfMethodResults.scala
- Note
This trait's methods are generally not intended to be overridden. If you need to do some special processing just directly implement the respective method and mixin the traits that ignore the rest.
- Alphabetic
- By Inheritance
- DefaultTypeLevelHandlingOfMethodResults
- DefaultTypeLevelHandlingForReturnInstructions
- DefaultTypeLevelHandlingOfVoidReturns
- DefaultTypeLevelHandlingForThrownExceptions
- ReturnInstructionsDomain
- MonitorInstructionsTracker
- CustomInitialization
- MonitorInstructionsDomain
- ReturnInstructionsDomain
- 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
- def abruptMethodExecution(pc: Int, exception: (DefaultTypeLevelHandlingOfMethodResults.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
- DefaultTypeLevelHandlingForThrownExceptions → 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
.
- def areturn(pc: Int, value: (DefaultTypeLevelHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.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
- DefaultTypeLevelHandlingForReturnInstructions → 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: (DefaultTypeLevelHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.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
- DefaultTypeLevelHandlingForReturnInstructions → ReturnInstructionsDomain
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def freturn(pc: Int, value: (DefaultTypeLevelHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.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
- DefaultTypeLevelHandlingForReturnInstructions → ReturnInstructionsDomain
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def handleReturn(pc: Int): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.this)#ExceptionValue]
Creates a computation object that encapsulates the result of a computation that may throw an
IllegalMonitorStateException
if a monitor is (potentially) used.Creates a computation object that encapsulates the result of a computation that may throw an
IllegalMonitorStateException
if a monitor is (potentially) used. The primary example are the(XXX)return
instructions.- pc
The program counter of a return instruction.
- Attributes
- protected[this]
- Definition Classes
- ReturnInstructionsDomain
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def initProperties(code: Code, cfJoins: IntTrieSet, initialLocals: (DefaultTypeLevelHandlingOfMethodResults.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
- MonitorInstructionsTracker → CustomInitialization
- def ireturn(pc: Int, value: (DefaultTypeLevelHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.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
- DefaultTypeLevelHandlingForReturnInstructions → ReturnInstructionsDomain
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isMonitorInstructionUsed: Boolean
- Definition Classes
- MonitorInstructionsTracker
- def lreturn(pc: Int, value: (DefaultTypeLevelHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.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
- DefaultTypeLevelHandlingForReturnInstructions → ReturnInstructionsDomain
- def monitorenter(pc: Int, value: (DefaultTypeLevelHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.this)#ExceptionValue]
Handles a
monitorenter
instruction.Handles a
monitorenter
instruction.- Definition Classes
- MonitorInstructionsTracker → MonitorInstructionsDomain
- Note
A monitor enter instruction may throw a
NullPointerException
.
- def monitorexit(pc: Int, value: (DefaultTypeLevelHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.this)#ExceptionValues]
Handles a
monitorexit
instruction.Handles a
monitorexit
instruction.- Definition Classes
- MonitorInstructionsTracker → MonitorInstructionsDomain
- Note
A monitor exit instruction may throw a
NullPointerException
or anIllegalMonitorStateException
.
- 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 returnVoid(pc: Int): Computation[Nothing, (DefaultTypeLevelHandlingOfMethodResults.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
- DefaultTypeLevelHandlingOfVoidReturns → ReturnInstructionsDomain
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- val usesMonitorInstruction: Boolean
- Attributes
- protected[this]
- Definition Classes
- MonitorInstructionsTracker
- 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