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.
If the original exception value is null
(/*E.g.*/throw null;
), then
the exception that is actually thrown is a new NullPointerException
. This
situation is, however, completely handled by OPAL and the exception value
is hence never null
.
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.
The given value
, which is a value with computational type reference, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type reference, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type double, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type double, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type float, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type float, is returned
by the return instruction with the given pc
.
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.
The program counter of a return instruction.
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.
The given value
, which is a value with computational type integer, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type integer, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type long, is returned
by the return instruction with the given pc
.
The given value
, which is a value with computational type long, is returned
by the return instruction with the given pc
.
Handles a monitorenter
instruction.
Handles a monitorenter
instruction.
A monitor enter instruction may throw a NullPointerException
.
Handles a monitorexit
instruction.
Handles a monitorexit
instruction.
A monitor exit instruction may throw a NullPointerException
or an
IllegalMonitorStateException
.
Provides default implementations for a
Domain
's return methods that always throw anIllegalMonitorStateExceptoin
.You can mix in this trait if you are not interested in a method's return values or if you need some default implementations.