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_SEQ_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  46. object AC_SET_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  47. object AC_SIGNATURE extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  48. object AC_SIMPLE_API extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  49. object AC_SUBSTITUTIONS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  50. object AC_TERM_ORDER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  51. object AC_THEORY extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  52. object AC_TYPES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  53. object AC_VARIABLES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  54. object AC_VAR_TYPES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink

  55. object AT_METHOD_INTERNAL extends ASSERTION_TYPE with Product with Serializable

    Permalink

  56. object AT_METHOD_POST extends ASSERTION_TYPE with Product with Serializable

    Permalink

  57. object AT_METHOD_PRE extends ASSERTION_TYPE with Product with Serializable

    Permalink

  58. object AT_OBJECT_CONSTRUCTION extends ASSERTION_TYPE with Product with Serializable

    Permalink

  59. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  60. def assertCtor(ac: ASSERTION_CATEGORY, assertion: ⇒ Boolean, message: ⇒ String): Unit

    Permalink

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

    Permalink

    Assertions about the construction of an object of a class

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

    Permalink

    Method-internal assertions (invariants)

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

    Permalink

    Method-internal assertions (invariants)

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

    Permalink

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

    Permalink

    Postconditions of methods

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

    Permalink

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

    Permalink

    Preconditions of methods

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

    Permalink

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

    Permalink

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

    Permalink

  71. def clone(): AnyRef

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

  72. def enableAllAssertions(v: Boolean): Unit

    Permalink

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

    Permalink

  74. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  75. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  76. def finalize(): Unit

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

  77. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  78. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  79. def initRandomGen(seed: Int): Unit

    Permalink

  80. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  81. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  82. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  83. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  84. def random(lowerBound: Int, upperBound: Int): Int

    Permalink

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

    Permalink

  86. def signum(x: Int): Int

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  88. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  89. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  91. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink

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

    Permalink

  94. def withoutAssertions[A](comp: ⇒ A): A

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped