If true
, all instructions that may raise an arithmetic exception (e.g., idiv,
ldiv) should do so if it is impossible to statically determine that no
exception will occur.
If true
, all instructions that may raise an arithmetic exception (e.g., idiv,
ldiv) should do so if it is impossible to statically determine that no
exception will occur. But, if we can statically determine that the operation will
raise an exception then the exception will be thrown – independently of this
setting. Furthermore, if we can statically determine that no exception will be
raised, no exception will be thrown. Hence, this setting only affects computations
with values with incomplete information.
true
If true
an ArrayIndexOutOfBoundsException
is thrown if the index cannot
be verified to be valid.
If true
an ArrayIndexOutOfBoundsException
is thrown if the index cannot
be verified to be valid.
true
If true
an ArrayStoreException
is thrown if it cannot be verified that the
value can be stored in the array.
If true
an ArrayStoreException
is thrown if it cannot be verified that the
value can be stored in the array.
true
If true
a ClassCastException
is thrown by CHECKCAST
instructions if it
cannot be verified that no ClassCastException
will be thrown.
If true
a ClassCastException
is thrown by CHECKCAST
instructions if it
cannot be verified that no ClassCastException
will be thrown.
true
Throw a ClassNotFoundException
if the a specific reference type is not
known in the current context.
Throw a ClassNotFoundException
if the a specific reference type is not
known in the current context. The context is typically a specific Project
.
true
Determines the behavior how method calls are handled where the exceptions that the called method may throw are unknown.
Determines the behavior how method calls are handled where the exceptions that the called method may throw are unknown.
true
If true
then monitorexit
and the (XXX)return
instructions will throw
IllegalMonitorStateException
s unless the analysis is able to determine that
the exception is guaranteed to be raised.
If true
then monitorexit
and the (XXX)return
instructions will throw
IllegalMonitorStateException
s unless the analysis is able to determine that
the exception is guaranteed to be raised.
true
If true
a NegativeArraySizeException
is thrown if the index cannot be
verified to be positive.
If true
a NegativeArraySizeException
is thrown if the index cannot be
verified to be positive.
true
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored.
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored. However, if the interpreter
identifies a situation in which a NullPointerException
is guaranteed to be
thrown, it will be thrown.
true
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored.
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored. However, if the interpreter
identifies a situation in which a NullPointerException
is guaranteed to be
thrown, it will be thrown.
true
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored.
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored. However, if the interpreter
identifies a situation in which a NullPointerException
is guaranteed to be
thrown, it will be thrown. Example:
def demo(o : Object) { o.toString // - If "true", a NullPointerException will ALSO be thrown; // the operation also succeeds. // - If "false" the operation will "just" succeed }
true
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored.
Returns true
if potential NullPointerExceptions
should be thrown and false
if such NullPointerExceptions
should be ignored. However, if the interpreter
identifies a situation in which a NullPointerException
is guaranteed to be
thrown, it will be thrown.
true
If true
a NullPointerExceptions
is thrown if the exception that is to be
thrown is not not known to be null.
If true
a NullPointerExceptions
is thrown if the exception that is to be
thrown is not not known to be null.
true
A configuration that forces abstract interpretation to never create an exception if it is not possible to deduce that the specific exception is guaranteed to be thrown.
Usage
If you need to adapt a setting just override the respective method in your domain or create a class that inherits from Configuration.
Core Properties