org.kiama.rewriting

UniplateTests

class UniplateTests extends Tests with Checkers with Generator

Tests based on examples from the paper "Uniform boilerplate and list processing" by Mitchell and Runciman, from Haskell Workshop 2007.

Annotations
@RunWith()
Linear Supertypes
Generator, Checkers, Configuration, Tests, FunSuite, Suite, Serializable, AbstractSuite, Assertions, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. UniplateTests
  2. Generator
  3. Checkers
  4. Configuration
  5. Tests
  6. FunSuite
  7. Suite
  8. Serializable
  9. AbstractSuite
  10. Assertions
  11. AnyRef
  12. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UniplateTests ()

Type Members

  1. type ?0

    Attributes
    abstract
    Definition Classes
    Suite

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. object FocusTest extends Tag

    A ScalaTest tag that enables us to focus attention on particular tests rather than running all of them each time.

  7. implicit def arbAsgn : Arbitrary[Asgn]

    Attributes
    implicit
    Definition Classes
    Generator

  8. implicit def arbExp : Arbitrary[Exp]

    Attributes
    implicit
    Definition Classes
    Generator

  9. implicit def arbNum : Arbitrary[Num]

    Attributes
    implicit
    Definition Classes
    Generator

  10. implicit def arbSeqn : Arbitrary[Seqn]

    Attributes
    implicit
    Definition Classes
    Generator

  11. implicit def arbStmt : Arbitrary[Stmt]

    Attributes
    implicit
    Definition Classes
    Generator

  12. implicit def arbWhile : Arbitrary[While]

    Attributes
    implicit
    Definition Classes
    Generator

  13. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  14. def assert (o: Option[String]): Unit

    Definition Classes
    Assertions

  15. def assert (o: Option[String], clue: Any): Unit

    Definition Classes
    Assertions

  16. def assert (condition: Boolean, clue: Any): Unit

    Definition Classes
    Assertions

  17. def assert (condition: Boolean): Unit

    Definition Classes
    Assertions

  18. def assertMessage (index: Int, line: Int, column: Int, msg: String): Unit

    Assert that a message was produced at a given position.

    Assert that a message was produced at a given position.

    Definition Classes
    Tests

  19. def check (p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig): Unit

    Definition Classes
    Checkers

  20. def check (p: Prop, prms: Params): Unit

    Definition Classes
    Checkers

  21. def check [A1, A2, A3, A4, A5, A6, P] (f: (A1, A2, A3, A4, A5, A6) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) ⇒ Pretty): Unit

    Definition Classes
    Checkers

  22. def check [A1, A2, A3, A4, A5, P] (f: (A1, A2, A3, A4, A5) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty): Unit

    Definition Classes
    Checkers

  23. def check [A1, A2, A3, A4, P] (f: (A1, A2, A3, A4) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty): Unit

    Definition Classes
    Checkers

  24. def check [A1, A2, A3, P] (f: (A1, A2, A3) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty): Unit

    Definition Classes
    Checkers

  25. def check [A1, A2, P] (f: (A1, A2) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty): Unit

    Definition Classes
    Checkers

  26. def check [A1, P] (f: (A1) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty): Unit

    Definition Classes
    Checkers

  27. def clone (): AnyRef

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

  28. implicit def convertToEqualizer (left: Any): Equalizer

    Attributes
    implicit
    Definition Classes
    Assertions

  29. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  30. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  31. def execute (testName: String, configMap: Map[String, Any], color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

    Attributes
    final
    Definition Classes
    Suite

  32. def expect (expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions

  33. def expect (expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions

  34. def expectedTestCount (filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  35. def expectnotsame (expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Definition Classes
    Tests

  36. def expectsame (expected: Any)(actual: Any): Unit

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Analogous to ScalaTest's expect but it uses same to compare the two values instead of equality.

    Definition Classes
    Tests

  37. def fail (cause: Throwable): Nothing

    Definition Classes
    Assertions

  38. def fail (message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions

  39. def fail (message: String): Nothing

    Definition Classes
    Assertions

  40. def fail (): Nothing

    Definition Classes
    Assertions

  41. def finalize (): Unit

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

  42. def genAdd (sz: Int): Gen[Add]

    Definition Classes
    Generator

  43. def genAsgn (sz: Int): Gen[Asgn]

    Definition Classes
    Generator

  44. def genDiv (sz: Int): Gen[Div]

    Definition Classes
    Generator

  45. val genDouble : Gen[Num]

    Definition Classes
    Generator

  46. def genExp (sz: Int): Gen[Exp]

    Definition Classes
    Generator

  47. val genIdn : Gen[String]

    Definition Classes
    Generator

  48. val genInteger : Gen[Num]

    Definition Classes
    Generator

  49. def genInternalExp (sz: Int): Gen[Binary with Serializable]

    Definition Classes
    Generator

  50. def genInternalStmt (sz: Int): Gen[Stmt]

    Definition Classes
    Generator

  51. val genLeafExp : Gen[Exp with Serializable]

    Definition Classes
    Generator

  52. val genLeafStmt : Gen[Null]

    Definition Classes
    Generator

  53. def genMul (sz: Int): Gen[Mul]

    Definition Classes
    Generator

  54. def genNeg (sz: Int): Gen[Neg]

    Definition Classes
    Generator

  55. val genNum : Gen[Num]

    Definition Classes
    Generator

  56. def genSeqn (sz: Int): Gen[Seqn]

    Definition Classes
    Generator

  57. def genStmt (sz: Int): Gen[Stmt]

    Definition Classes
    Generator

  58. def genSub (sz: Int): Gen[Sub]

    Definition Classes
    Generator

  59. val genVar : Gen[Var]

    Definition Classes
    Generator

  60. def genWhile (sz: Int): Gen[While]

    Definition Classes
    Generator

  61. implicit val generatorDrivenConfig : PropertyCheckConfig

    Attributes
    implicit
    Definition Classes
    Configuration

  62. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  63. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  64. def ignore (testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  65. implicit def info : Informer

    Attributes
    protected implicit
    Definition Classes
    FunSuite

  66. def intercept [T <: AnyRef] (f: ⇒ Any)(implicit manifest: Manifest[T]): T

    Definition Classes
    Assertions

  67. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  68. def maxDiscarded (value: Int): MaxDiscarded

    Definition Classes
    Configuration

  69. def maxSize (value: Int): MaxSize

    Definition Classes
    Configuration

  70. def minSize (value: Int): MinSize

    Definition Classes
    Configuration

  71. def minSuccessful (value: Int): MinSuccessful

    Definition Classes
    Configuration

  72. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  73. def nestedSuites : List[Suite]

    Definition Classes
    Suite → AbstractSuite

  74. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  75. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  76. val numexp : Num

    A simple numeric test expression.

  77. def pending : PendingNothing

    Definition Classes
    Suite

  78. def pendingUntilFixed (f: ⇒ Unit): Unit

    Definition Classes
    Suite

  79. def run (testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

    Definition Classes
    FunSuite → Suite → AbstractSuite

  80. def runNestedSuites (reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  81. def runTest (testName: String, reporter: Reporter, stopper: Stopper, configMap: Map[String, Any], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

  82. def runTests (testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Unit

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

  83. def same (v1: Any, v2: Any): Boolean

    Compare two values.

    Compare two values. Use reference equality for references and value equality for non-references. If the values are both Some values, perform the check on the wrapped values.

    Definition Classes
    Tests

  84. def suiteName : String

    Definition Classes
    Suite

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

    Attributes
    final
    Definition Classes
    AnyRef

  86. def tags : Map[String, Set[String]]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  87. def test (testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  88. def testNames : Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  89. def testsFor (unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  90. def toString (): String

    Definition Classes
    AnyRef → Any

  91. val varexp : Div

    A simple test expression involving variables.

  92. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  94. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  95. def withClue (clue: Any)(fun: ⇒ Unit): Unit

    Definition Classes
    Assertions

  96. def withFixture (test: NoArgTest): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  97. def workers (value: Int): Workers

    Definition Classes
    Configuration

Inherited from Generator

Inherited from Checkers

Inherited from Configuration

Inherited from Tests

Inherited from FunSuite

Inherited from Suite

Inherited from Serializable

Inherited from AbstractSuite

Inherited from Assertions

Inherited from AnyRef

Inherited from Any