o

ap.util

Debug

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. Protected

Type Members

  1. abstract class ASSERTION_CATEGORY extends AnyRef

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

  2. abstract class ASSERTION_TYPE extends AnyRef

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

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def assertCtor(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit
  6. def assertCtor(ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit

    Assertions about the construction of an object of a class

  7. def assertInt(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Method-internal assertions (invariants)

  8. def assertInt(ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit

    Method-internal assertions (invariants)

  9. def assertIntFast(ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit
  10. def assertPost(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Postconditions of methods

  11. def assertPost(ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit

    Postconditions of methods

  12. def assertPostFast(ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit

    Postconditions of methods

  13. def assertPre(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Preconditions of methods

  14. def assertPre(ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit

    Preconditions of methods

  15. def assertPreFast(ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit

    Preconditions of methods

  16. def assertTrue(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: => Boolean): Unit
  17. def assertTrue(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit
  18. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  19. def enableAllAssertions(v: Boolean): Unit
  20. val enabledAssertions: DynamicVariable[(ASSERTION_TYPE, ASSERTION_CATEGORY) => Boolean]
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  23. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  25. def initRandomGen(seed: Int): Unit
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  30. def random(lowerBound: Int, upperBound: Int): Int
  31. def randomBool: Boolean
  32. def randoms(lowerBound: Int, upperBound: Int): Iterator[Int]
  33. def signum(x: Int): Int
  34. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. def warnIfNot(at: ASSERTION_TYPE, ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit
  40. def warnIfNotCtor(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Assertions about the construction of an object of a class, output a warning in case of violations

  41. def warnIfNotPost(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Postconditions of methods, output a warning in case of violations

  42. def warnIfNotPostFast(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Postconditions of methods, output a warning in case of violations

  43. def warnIfNotPre(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Preconditions of methods, output a warning in case of violations

  44. def warnIfNotPreFast(ac: ASSERTION_CATEGORY, assertion: => Boolean, message: => String): Unit

    Preconditions of methods, output a warning in case of violations

  45. def whenAssertionsOn[A](ac: ASSERTION_CATEGORY)(comp: => A): Unit
  46. def withDisabledAssertions[A](disabledAssertions: Set[ASSERTION_CATEGORY])(comp: => A): A
  47. def withoutAssertions[A](comp: => A): A
  48. case object AC_ADT extends ASSERTION_CATEGORY with Product with Serializable
  49. case object AC_ALGEBRA extends ASSERTION_CATEGORY with Product with Serializable
  50. case object AC_ALIAS_ANALYSER extends ASSERTION_CATEGORY with Product with Serializable
  51. case object AC_ARRAY extends ASSERTION_CATEGORY with Product with Serializable
  52. case object AC_BASE_TYPE extends ASSERTION_CATEGORY with Product with Serializable
  53. case object AC_BLOCKED_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable
  54. case object AC_CERTIFICATES extends ASSERTION_CATEGORY with Product with Serializable
  55. case object AC_CERTIFICATE_LINEARISER extends ASSERTION_CATEGORY with Product with Serializable
  56. case object AC_CLAUSE_MATCHER extends ASSERTION_CATEGORY with Product with Serializable
  57. case object AC_COMPLEX_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable
  58. case object AC_COMPUTATION_LOGGER extends ASSERTION_CATEGORY with Product with Serializable
  59. case object AC_CONSTANT_FREEDOM extends ASSERTION_CATEGORY with Product with Serializable
  60. case object AC_CONSTRAINT_SIMPLIFIER extends ASSERTION_CATEGORY with Product with Serializable
  61. case object AC_ELIM_CONJUNCTS extends ASSERTION_CATEGORY with Product with Serializable
  62. case object AC_ELIM_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable
  63. case object AC_ENVIRONMENT extends ASSERTION_CATEGORY with Product with Serializable
  64. case object AC_EQUATIONS extends ASSERTION_CATEGORY with Product with Serializable
  65. case object AC_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable
  66. case object AC_GOAL extends ASSERTION_CATEGORY with Product with Serializable
  67. case object AC_INEQUALITIES extends ASSERTION_CATEGORY with Product with Serializable
  68. case object AC_INPUT_ABSY extends ASSERTION_CATEGORY with Product with Serializable
  69. case object AC_INTERPOLATION extends ASSERTION_CATEGORY with Product with Serializable
  70. case object AC_INTERPOLATION_IMPLICATION_CHECKS extends ASSERTION_CATEGORY with Product with Serializable
  71. case object AC_LINEAR_COMB extends ASSERTION_CATEGORY with Product with Serializable
  72. case object AC_MAIN extends ASSERTION_CATEGORY with Product with Serializable
  73. case object AC_MAP_UTILS extends ASSERTION_CATEGORY with Product with Serializable
  74. case object AC_MODEL_FINDER extends ASSERTION_CATEGORY with Product with Serializable
  75. case object AC_MODULO_ARITHMETIC extends ASSERTION_CATEGORY with Product with Serializable
  76. case object AC_NIA extends ASSERTION_CATEGORY with Product with Serializable
  77. case object AC_OMEGA extends ASSERTION_CATEGORY with Product with Serializable
  78. case object AC_PARAMETERS extends ASSERTION_CATEGORY with Product with Serializable
  79. case object AC_PARSER extends ASSERTION_CATEGORY with Product with Serializable
  80. case object AC_PLUGIN extends ASSERTION_CATEGORY with Product with Serializable
  81. case object AC_PO_GRAPH extends ASSERTION_CATEGORY with Product with Serializable
  82. case object AC_PREDICATES extends ASSERTION_CATEGORY with Product with Serializable
  83. case object AC_PRESBURGER_TOOLS extends ASSERTION_CATEGORY with Product with Serializable
  84. case object AC_PROOF_TREE extends ASSERTION_CATEGORY with Product with Serializable
  85. case object AC_PROPAGATION extends ASSERTION_CATEGORY with Product with Serializable
  86. case object AC_PROP_CONNECTIVES extends ASSERTION_CATEGORY with Product with Serializable
  87. case object AC_PROVER extends ASSERTION_CATEGORY with Product with Serializable
  88. case object AC_QUEUE_WITH_ITERATORS extends ASSERTION_CATEGORY with Product with Serializable
  89. case object AC_SEQUENCE extends ASSERTION_CATEGORY with Product with Serializable
  90. case object AC_SEQ_UTILS extends ASSERTION_CATEGORY with Product with Serializable
  91. case object AC_SET_UTILS extends ASSERTION_CATEGORY with Product with Serializable
  92. case object AC_SIGNATURE extends ASSERTION_CATEGORY with Product with Serializable
  93. case object AC_SIMPLE_API extends ASSERTION_CATEGORY with Product with Serializable
  94. case object AC_STRING extends ASSERTION_CATEGORY with Product with Serializable
  95. case object AC_SUBSTITUTIONS extends ASSERTION_CATEGORY with Product with Serializable
  96. case object AC_TERM_ORDER extends ASSERTION_CATEGORY with Product with Serializable
  97. case object AC_THEORY extends ASSERTION_CATEGORY with Product with Serializable
  98. case object AC_TYPES extends ASSERTION_CATEGORY with Product with Serializable
  99. case object AC_VALUE_ENUMERATOR extends ASSERTION_CATEGORY with Product with Serializable
  100. case object AC_VARIABLES extends ASSERTION_CATEGORY with Product with Serializable
  101. case object AC_VAR_TYPES extends ASSERTION_CATEGORY with Product with Serializable
  102. case object AT_METHOD_INTERNAL extends ASSERTION_TYPE with Product with Serializable
  103. case object AT_METHOD_POST extends ASSERTION_TYPE with Product with Serializable
  104. case object AT_METHOD_PRE extends ASSERTION_TYPE with Product with Serializable
  105. case object AT_OBJECT_CONSTRUCTION extends ASSERTION_TYPE with Product with Serializable

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from AnyRef

Inherited from Any

Ungrouped