trait DefaultHandlingForThrownExceptions extends ReturnInstructionsDomain
Basic implementation of a Domain
's abruptMethodExecution
method that does
nothing.
- Self Type
- DefaultHandlingForThrownExceptions with ValuesDomain with Configuration with ExceptionsFactory
- Source
- DefaultHandlingForThrownExceptions.scala
- Note
Mix-in this trait if the analysis does not need to do anything special in case of an exception or if you have multiple stackable traits and you need a base implementation. Example:
MySpecialDomain extends ... with DefaultHandlingForThrownExceptions with RecordThrownExceptions with ...
- Alphabetic
- By Inheritance
- DefaultHandlingForThrownExceptions
- ReturnInstructionsDomain
- ReturnInstructionsDomain
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
areturn(pc: Int, value: (DefaultHandlingForThrownExceptions.this)#DomainValue): Computation[Nothing, (DefaultHandlingForThrownExceptions.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
- ReturnInstructionsDomain
-
abstract
def
dreturn(pc: Int, value: (DefaultHandlingForThrownExceptions.this)#DomainValue): Computation[Nothing, (DefaultHandlingForThrownExceptions.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
- ReturnInstructionsDomain
-
abstract
def
freturn(pc: Int, value: (DefaultHandlingForThrownExceptions.this)#DomainValue): Computation[Nothing, (DefaultHandlingForThrownExceptions.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
- ReturnInstructionsDomain
-
abstract
def
ireturn(pc: Int, value: (DefaultHandlingForThrownExceptions.this)#DomainValue): Computation[Nothing, (DefaultHandlingForThrownExceptions.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
- ReturnInstructionsDomain
-
abstract
def
lreturn(pc: Int, value: (DefaultHandlingForThrownExceptions.this)#DomainValue): Computation[Nothing, (DefaultHandlingForThrownExceptions.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
- ReturnInstructionsDomain
-
abstract
def
returnVoid(pc: Int): Computation[Nothing, (DefaultHandlingForThrownExceptions.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
abruptMethodExecution(pc: Int, exception: (DefaultHandlingForThrownExceptions.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
- DefaultHandlingForThrownExceptions → 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
.
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
handleReturn(pc: Int): Computation[Nothing, (DefaultHandlingForThrownExceptions.this)#ExceptionValue]
- Attributes
- protected[this]
- Definition Classes
- ReturnInstructionsDomain
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )