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

    Permalink
  8. object AC_BLOCKED_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  9. object AC_CERTIFICATES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  10. object AC_CERTIFICATE_LINEARISER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  11. object AC_CLAUSE_MATCHER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  12. object AC_COMPLEX_FORMULAS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  13. object AC_COMPUTATION_LOGGER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  14. object AC_CONSTANT_FREEDOM extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  15. object AC_CONSTRAINT_SIMPLIFIER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  16. object AC_ELIM_CONJUNCTS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  17. object AC_ELIM_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  18. object AC_ENVIRONMENT extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  19. object AC_EQUATIONS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  20. object AC_FACTS_TASK extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  21. object AC_GOAL extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  22. object AC_INEQUALITIES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  23. object AC_INPUT_ABSY extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  24. object AC_INTERPOLATION extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  25. object AC_INTERPOLATION_IMPLICATION_CHECKS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  26. object AC_LINEAR_COMB extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  27. object AC_MAIN extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  28. object AC_MAP_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  29. object AC_MODEL_FINDER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  30. object AC_MODULO_ARITHMETIC extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  31. object AC_NIA extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  32. object AC_OMEGA extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  33. object AC_PARAMETERS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  34. object AC_PARSER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  35. object AC_PLUGIN extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  36. object AC_PO_GRAPH extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  37. object AC_PREDICATES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  38. object AC_PRESBURGER_TOOLS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  39. object AC_PROOF_TREE extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  40. object AC_PROPAGATION extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  41. object AC_PROP_CONNECTIVES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  42. object AC_PROVER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  43. object AC_QUEUE_WITH_ITERATORS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  44. object AC_SEQ_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  45. object AC_SET_UTILS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  46. object AC_SIGNATURE extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  47. object AC_SIMPLE_API extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  48. object AC_SUBSTITUTIONS extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  49. object AC_TERM_ORDER extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  50. object AC_THEORY extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  51. object AC_TYPES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  52. object AC_VARIABLES extends ASSERTION_CATEGORY with Product with Serializable

    Permalink
  53. object AT_METHOD_INTERNAL extends ASSERTION_TYPE with Product with Serializable

    Permalink
  54. object AT_METHOD_POST extends ASSERTION_TYPE with Product with Serializable

    Permalink
  55. object AT_METHOD_PRE extends ASSERTION_TYPE with Product with Serializable

    Permalink
  56. object AT_OBJECT_CONSTRUCTION extends ASSERTION_TYPE with Product with Serializable

    Permalink
  57. final def asInstanceOf[T0]: T0

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

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

    Permalink

    Assertions about the construction of an object of a class

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

    Permalink

    Method-internal assertions (invariants)

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

    Permalink

    Method-internal assertions (invariants)

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

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

    Permalink

    Postconditions of methods

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

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

    Permalink

    Preconditions of methods

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

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

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

    Permalink
  69. def clone(): AnyRef

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

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

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

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

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  75. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    AnyRef → Any
  77. def initRandomGen(seed: Int): Unit

    Permalink
  78. final def isInstanceOf[T0]: Boolean

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

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

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

    Permalink
    Definition Classes
    AnyRef
  82. def random(lowerBound: Int, upperBound: Int): Int

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  90. def withDisabledAssertions[A](disabledAssertions: Set[ASSERTION_CATEGORY])(comp: ⇒ A): A

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

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped