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
IllegalMonitorStateExceptions 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
IllegalMonitorStateExceptions 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