Configuration

abstract def throwArithmeticExceptions: Boolean

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.

abstract def throwArrayIndexOutOfBoundsException: Boolean

If true an ArrayIndexOutOfBoundsException is thrown if the index cannot be verified to be valid.

abstract def throwArrayStoreException: Boolean

If true an ArrayStoreException is thrown if it cannot be verified that the value can be stored in the array.

abstract def throwClassCastException: Boolean

If true a ClassCastException is thrown by CHECKCAST instructions if it cannot be verified that no ClassCastException will be thrown.

abstract def throwClassNotFoundException: Boolean

Throw a ClassNotFoundException if the a specific reference type is not known in the current context.

abstract def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

Determines the behavior how method calls are handled where the exceptions that the called method may throw are unknown.

abstract def throwIllegalMonitorStateException: Boolean

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.

abstract def throwNegativeArraySizeException: Boolean

If true a NegativeArraySizeException is thrown if the index cannot be verified to be positive.

abstract def throwNullPointerExceptionOnArrayAccess: Boolean

Returns true if potential NullPointerExceptions should be thrown and false if such NullPointerExceptions should be ignored.

abstract def throwNullPointerExceptionOnFieldAccess: Boolean

Returns true if potential NullPointerExceptions should be thrown and false if such NullPointerExceptions should be ignored.

abstract def throwNullPointerExceptionOnMethodCall: Boolean

Returns true if potential NullPointerExceptions should be thrown and false if such NullPointerExceptions should be ignored.

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
}

abstract def throwNullPointerExceptionOnMonitorAccess: Boolean

Returns true if potential NullPointerExceptions should be thrown and false if such NullPointerExceptions should be ignored.

abstract def throwNullPointerExceptionOnThrow: Boolean

If true a NullPointerExceptions is thrown if the exception that is to be thrown is not not known to be null.

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (Configuration, B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (Configuration) ⇒ Boolean, msg: ⇒ Any): Configuration

def ensuring(cond: (Configuration) ⇒ Boolean): Configuration

def ensuring(cond: Boolean, msg: ⇒ Any): Configuration

def ensuring(cond: Boolean): Configuration

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def →[B](y: B): (Configuration, B)