Trait

org.opalj.ai.domain

ThrowNoPotentialExceptionsConfiguration

Related Doc: package domain

Permalink

trait ThrowNoPotentialExceptionsConfiguration extends Configuration

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

Linear Supertypes
Configuration, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ThrowNoPotentialExceptionsConfiguration
  2. Configuration
  3. AnyRef
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to any2stringadd[ThrowNoPotentialExceptionsConfiguration] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (ThrowNoPotentialExceptionsConfiguration, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to ArrowAssoc[ThrowNoPotentialExceptionsConfiguration] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def ensuring(cond: (ThrowNoPotentialExceptionsConfiguration) ⇒ Boolean, msg: ⇒ Any): ThrowNoPotentialExceptionsConfiguration

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to Ensuring[ThrowNoPotentialExceptionsConfiguration] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  9. def ensuring(cond: (ThrowNoPotentialExceptionsConfiguration) ⇒ Boolean): ThrowNoPotentialExceptionsConfiguration

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to Ensuring[ThrowNoPotentialExceptionsConfiguration] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  10. def ensuring(cond: Boolean, msg: ⇒ Any): ThrowNoPotentialExceptionsConfiguration

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to Ensuring[ThrowNoPotentialExceptionsConfiguration] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  11. def ensuring(cond: Boolean): ThrowNoPotentialExceptionsConfiguration

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to Ensuring[ThrowNoPotentialExceptionsConfiguration] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def formatted(fmtstr: String): String

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to StringFormat[ThrowNoPotentialExceptionsConfiguration] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  16. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  23. def throwArithmeticExceptions: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  24. def throwArrayIndexOutOfBoundsException: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  25. def throwArrayStoreException: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  26. def throwClassCastException: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  27. def throwClassNotFoundException: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  28. def throwExceptionsOnMethodCall: ExceptionsRaisedByCalledMethod

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  29. def throwIllegalMonitorStateException: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  30. def throwNegativeArraySizeException: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  31. def throwNullPointerExceptionOnArrayAccess: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  32. def throwNullPointerExceptionOnFieldAccess: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  33. def throwNullPointerExceptionOnMethodCall: Boolean

    Permalink

    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
    }
    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  34. def throwNullPointerExceptionOnMonitorAccess: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  35. def throwNullPointerExceptionOnThrow: Boolean

    Permalink

    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.

    returns

    true

    Definition Classes
    ThrowNoPotentialExceptionsConfigurationConfiguration
  36. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  37. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. def [B](y: B): (ThrowNoPotentialExceptionsConfiguration, B)

    Permalink
    Implicit information
    This member is added by an implicit conversion from ThrowNoPotentialExceptionsConfiguration to ArrowAssoc[ThrowNoPotentialExceptionsConfiguration] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Inherited from Configuration

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from ThrowNoPotentialExceptionsConfiguration to any2stringadd[ThrowNoPotentialExceptionsConfiguration]

Inherited by implicit conversion StringFormat from ThrowNoPotentialExceptionsConfiguration to StringFormat[ThrowNoPotentialExceptionsConfiguration]

Inherited by implicit conversion Ensuring from ThrowNoPotentialExceptionsConfiguration to Ensuring[ThrowNoPotentialExceptionsConfiguration]

Inherited by implicit conversion ArrowAssoc from ThrowNoPotentialExceptionsConfiguration to ArrowAssoc[ThrowNoPotentialExceptionsConfiguration]

Ungrouped