RecordAllThrownExceptions
Related Doc:
package domain
This type determines in which way thrown exceptions are recorded.
This type determines in which way thrown exceptions are recorded.
For example, if you want to collect all thrown exceptions, then
the type of ThrownException could be Set[ThrownException].
The implementation of org.opalj.ai.domain.RecordLastReturnedValues. It follows the same pattern.
The implementation of org.opalj.ai.domain.RecordAllThrownExceptions.
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.
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.
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.
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.
Joins the previously thrown exception(s) and the newly thrown exception.
Joins the previously thrown exception(s) and the newly thrown exception. Both
exceptions are thrown by the same instruction (same pc).
The instruction might be an athrow instruction or some other instruction
that throws an exception.
For details study the documentation of the abstract type ThrownException
and study the subclass(es) of RecordThrownExceptions.
Wraps the given value into a ThrownException.
Wraps the given value into a ThrownException.
The program counter of the instruction that throws the exception. It is automatically stored in the map that associates instructions with the exceptions that are thrown.
For details study the documentation of the abstract type ThrownException
and study the subclass(es) of RecordThrownExceptions.
Records all exceptions thrown by a method. I.e., for each instruction that throws an exception (or multiple exceptions) all exceptions are recorded.
This domain is only effective if the calculation of joins is fast. Otherwise it can significantly hamper overall performance!
,This domain requires that
DomainValues that represent thrown exceptions have meaningfulequalsandhashCodemethods. (Depending on the purpose of the abstract interpretation, reference equality may be sufficient.)