Object

ap.util

Debug

Related Doc: package util

Permalink

object Debug

A collect of methods for writing runtime assertions and inserting debugging information. In particular, here the different categories and types of assertions are defined and can be switched on and off.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Debug
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract class ASSERTION_CATEGORY extends AnyRef

    Permalink

    Categories of assertions, essentially the software unit that the assertion belongs to

  2. abstract class ASSERTION_TYPE extends AnyRef

    Permalink

    Types of assertions, essentially the place where an assertion is put

Value Members

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object AC_ADT extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  5. object AC_ALGEBRA extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  6. object AC_ALIAS_ANALYSER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  7. object AC_ARRAY extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  8. object AC_BASE_TYPE extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  9. object AC_BLOCKED_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  10. object AC_CERTIFICATES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  11. object AC_CERTIFICATE_LINEARISER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  12. object AC_CLAUSE_MATCHER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  13. object AC_COMPLEX_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  14. object AC_COMPUTATION_LOGGER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  15. object AC_CONSTANT_FREEDOM extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  16. object AC_CONSTRAINT_SIMPLIFIER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  17. object AC_ELIM_CONJUNCTS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  18. object AC_ELIM_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  19. object AC_ENVIRONMENT extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  20. object AC_EQUATIONS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  21. object AC_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  22. object AC_GOAL extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  23. object AC_INEQUALITIES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  24. object AC_INPUT_ABSY extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  25. object AC_INTERPOLATION extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  26. object AC_INTERPOLATION_IMPLICATION_CHECKS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  27. object AC_LINEAR_COMB extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  28. object AC_MAIN extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  29. object AC_MAP_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  30. object AC_MODEL_FINDER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  31. object AC_MODULO_ARITHMETIC extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  32. object AC_NIA extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  33. object AC_OMEGA extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  34. object AC_PARAMETERS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  35. object AC_PARSER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  36. object AC_PLUGIN extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  37. object AC_PO_GRAPH extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  38. object AC_PREDICATES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  39. object AC_PRESBURGER_TOOLS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  40. object AC_PROOF_TREE extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  41. object AC_PROPAGATION extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  42. object AC_PROP_CONNECTIVES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  43. object AC_PROVER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  44. object AC_QUEUE_WITH_ITERATORS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  45. object AC_SEQUENCE extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  46. object AC_SEQ_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  47. object AC_SET_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  48. object AC_SIGNATURE extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  49. object AC_SIMPLE_API extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  50. object AC_STRING extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  51. object AC_SUBSTITUTIONS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  52. object AC_TERM_ORDER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  53. object AC_THEORY extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  54. object AC_TYPES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  55. object AC_VALUE_ENUMERATOR extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  56. object AC_VARIABLES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  57. object AC_VAR_TYPES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  58. object AT_METHOD_INTERNAL extends ASSERTION_TYPE with Product with Serializable

    Permalink
  59. object AT_METHOD_POST extends ASSERTION_TYPE with Product with Serializable

    Permalink
  60. object AT_METHOD_PRE extends ASSERTION_TYPE with Product with Serializable

    Permalink
  61. object AT_OBJECT_CONSTRUCTION extends ASSERTION_TYPE with Product with Serializable

    Permalink
  62. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  63. def assertCtor(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink
  64. def assertCtor(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink

    Assertions about the construction of an object of a class

  65. def assertInt(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

    Method-internal assertions (invariants)

  66. def assertInt(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink

    Method-internal assertions (invariants)

  67. def assertIntFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink
  68. def assertPost(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

    Postconditions of methods

  69. def assertPost(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink

    Postconditions of methods

  70. def assertPostFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink

    Postconditions of methods

  71. def assertPre(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

    Preconditions of methods

  72. def assertPre(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink

    Preconditions of methods

  73. def assertPreFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink

    Preconditions of methods

  74. def assertTrue(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean): Unit

    Permalink
  75. def assertTrue(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink
  76. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  77. def enableAllAssertions(v: Boolean): Unit

    Permalink
  78. val enabledAssertions: DynamicVariable[(ASSERTION_TYPE, ASSERTION_CATEGORY) ⇒ Boolean]

    Permalink
  79. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  81. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  82. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  83. def initRandomGen(seed: Int): Unit

    Permalink
  84. final def isInstanceOf[T0]: Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  87. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  88. def random(lowerBound: Int, upperBound: Int): Int

    Permalink
  89. def randoms(lowerBound: Int, upperBound: Int): Iterator[Int]

    Permalink
  90. def signum(x: Int): Int

    Permalink
  91. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  92. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  93. final def wait(arg0: Long, arg1: Int): Unit

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  95. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  96. def warnIfNot(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink
  97. def warnIfNotPost(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

    Postconditions of methods, output a warning in case of violations

  98. def warnIfNotPostFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

    Postconditions of methods, output a warning in case of violations

  99. def warnIfNotPre(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

    Preconditions of methods, output a warning in case of violations

  100. def warnIfNotPreFast(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

    Preconditions of methods, output a warning in case of violations

  101. def whenAssertionsOn[A](ac: ASSERTION_CATEGORY)(comp: ⇒ A): Unit

    Permalink
  102. def withDisabledAssertions[A](disabledAssertions: Set[ASSERTION_CATEGORY])(comp: ⇒ A): A

    Permalink
  103. def withoutAssertions[A](comp: ⇒ A): A

    Permalink

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped