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.

Source
UniplateTests.scala
Linear Supertypes
Generator, Checkers, Configuration, Tests, BeforeAndAfter, SuiteMixin, FunSuiteLike, Documenting, Alerting, Notifying, Informing, Suite, Serializable, AbstractSuite, Assertions, TripleEquals, TripleEqualsSupport, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. UniplateTests
  2. Generator
  3. Checkers
  4. Configuration
  5. Tests
  6. BeforeAndAfter
  7. SuiteMixin
  8. FunSuiteLike
  9. Documenting
  10. Alerting
  11. Notifying
  12. Informing
  13. Suite
  14. Serializable
  15. AbstractSuite
  16. Assertions
  17. TripleEquals
  18. TripleEqualsSupport
  19. AnyRef
  20. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UniplateTests()

Type Members

  1. class AssertionsHelper extends AnyRef

    Definition Classes
    Assertions
  2. class CheckingEqualizer[L] extends AnyRef

    Definition Classes
    TripleEqualsSupport
  3. class Equalizer[L] extends AnyRef

    Definition Classes
    TripleEqualsSupport
  4. class LegacyCheckingEqualizer[L] extends AnyRef

    Definition Classes
    TripleEqualsSupport
  5. class LegacyEqualizer[L] extends AnyRef

    Definition Classes
    TripleEqualsSupport
  6. case class MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  7. case class MaxSize extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  8. case class MinSize extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  9. case class MinSuccessful extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  10. trait NoArgTest extends () ⇒ Outcome with TestData

    Attributes
    protected
    Definition Classes
    Suite
  11. case class PropertyCheckConfig extends Product with Serializable

    Definition Classes
    Configuration
  12. sealed abstract class PropertyCheckConfigParam extends AnyRef

    Definition Classes
    Configuration
  13. case class Workers extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration

Value Members

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

    Definition Classes
    AnyRef → Any
  2. def !==[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

    Definition Classes
    TripleEqualsSupport
  3. def !==(right: Null): TripleEqualsInvocation[Null]

    Definition Classes
    TripleEqualsSupport
  4. def !==[T](right: T): TripleEqualsInvocation[T]

    Definition Classes
    TripleEqualsSupport
  5. final def ##(): Int

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

    Definition Classes
    AnyRef → Any
  7. def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

    Definition Classes
    TripleEqualsSupport
  8. def ===(right: Null): TripleEqualsInvocation[Null]

    Definition Classes
    TripleEqualsSupport
  9. def ===[T](right: T): TripleEqualsInvocation[T]

    Definition Classes
    TripleEqualsSupport
  10. object FocusTest extends Tag

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

  11. def after(fun: ⇒ Any): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  12. def alert: Alerter

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Alerting
  13. implicit def arbAsgn: Arbitrary[Asgn]

    Definition Classes
    Generator
  14. implicit def arbExp: Arbitrary[Exp]

    Definition Classes
    Generator
  15. implicit def arbNum: Arbitrary[Num]

    Definition Classes
    Generator
  16. implicit def arbSeqn: Arbitrary[Seqn]

    Definition Classes
    Generator
  17. implicit def arbStmt: Arbitrary[Stmt]

    Definition Classes
    Generator
  18. implicit def arbWhile: Arbitrary[While]

    Definition Classes
    Generator
  19. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  20. macro def assert(condition: Boolean, clue: Any): Unit

    Definition Classes
    Assertions
  21. macro def assert(condition: Boolean): Unit

    Definition Classes
    Assertions
  22. def assertMessage(messaging: Messaging, index: Int, message: Message): Unit

    Assert that a message at index was produced at a given position.

    Assert that a message at index was produced at a given position.

    Definition Classes
    Tests
  23. def assertMessages(messaging: Messaging, messages: (Int, Message)*): Unit

    Assert that the given messsaging object has recorded the given messages.

    Assert that the given messsaging object has recorded the given messages.

    Definition Classes
    Tests
  24. def assertNotSame(expected: Any)(actual: Any): Unit

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

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

    Definition Classes
    Tests
  25. def assertResult(expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions
  26. def assertResult(expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions
  27. def assertSame(expected: Any)(actual: Any): Unit

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

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

    Definition Classes
    Tests
  28. macro def assertTypeError(code: String): Unit

    Definition Classes
    Assertions
  29. val assertionsHelper: AssertionsHelper

    Definition Classes
    Assertions
  30. macro def assume(condition: Boolean, clue: Any): Unit

    Definition Classes
    Assertions
  31. macro def assume(condition: Boolean): Unit

    Definition Classes
    Assertions
  32. def before(fun: ⇒ Any): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  33. def cancel(cause: Throwable): Nothing

    Definition Classes
    Assertions
  34. def cancel(message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions
  35. def cancel(message: String): Nothing

    Definition Classes
    Assertions
  36. def cancel(): Nothing

    Definition Classes
    Assertions
  37. def check(p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfig): Unit

    Definition Classes
    Checkers
  38. def check(p: Prop, prms: Parameters): Unit

    Definition Classes
    Checkers
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  47. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  48. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  49. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  50. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  51. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  52. implicit def convertToEqualizer[T](left: T): Equalizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  53. def convertToLegacyCheckingEqualizer[T](left: T): LegacyCheckingEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  54. def convertToLegacyEqualizer[T](left: T): LegacyEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  55. def defaultEquality[A]: Equality[A]

    Definition Classes
    TripleEqualsSupport
  56. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  58. final def execute: Unit

    Definition Classes
    Suite
  59. final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

    Definition Classes
    Suite
  60. def expectedTestCount(filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite
  61. def fail(cause: Throwable): Nothing

    Definition Classes
    Assertions
  62. def fail(message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions
  63. def fail(message: String): Nothing

    Definition Classes
    Assertions
  64. def fail(): Nothing

    Definition Classes
    Assertions
  65. def failExpectedTest[T](expected: T, found: T, description: String = ""): Unit

    Fail a test with a message about finding something and expecting something else.

    Fail a test with a message about finding something and expecting something else.

    Definition Classes
    Tests
  66. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  67. def genAdd(sz: Int): Gen[Add]

    Definition Classes
    Generator
  68. def genAsgn(sz: Int): Gen[Asgn]

    Definition Classes
    Generator
  69. def genDiv(sz: Int): Gen[Div]

    Definition Classes
    Generator
  70. val genDouble: Gen[Num]

    Definition Classes
    Generator
  71. def genExp(sz: Int): Gen[Exp]

    Definition Classes
    Generator
  72. val genIdn: Gen[String]

    Definition Classes
    Generator
  73. val genInteger: Gen[Num]

    Definition Classes
    Generator
  74. def genInternalExp(sz: Int): Gen[Exp]

    Definition Classes
    Generator
  75. def genInternalStmt(sz: Int): Gen[Stmt]

    Definition Classes
    Generator
  76. val genLeafExp: Gen[Exp with Serializable]

    Definition Classes
    Generator
  77. val genLeafStmt: Gen[Null]

    Definition Classes
    Generator
  78. def genMul(sz: Int): Gen[Mul]

    Definition Classes
    Generator
  79. def genNeg(sz: Int): Gen[Neg]

    Definition Classes
    Generator
  80. val genNum: Gen[Num]

    Definition Classes
    Generator
  81. def genSeqn(sz: Int): Gen[Seqn]

    Definition Classes
    Generator
  82. def genStmt(sz: Int): Gen[Stmt]

    Definition Classes
    Generator
  83. def genSub(sz: Int): Gen[Sub]

    Definition Classes
    Generator
  84. val genVar: Gen[Var]

    Definition Classes
    Generator
  85. def genWhile(sz: Int): Gen[While]

    Definition Classes
    Generator
  86. implicit val generatorDrivenConfig: PropertyCheckConfig

    Definition Classes
    Configuration
  87. final def getClass(): Class[_]

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

    Definition Classes
    AnyRef → Any
  89. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  90. def info: Informer

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing
  91. def intercept[T <: AnyRef](f: ⇒ Any)(implicit manifest: Manifest[T]): T

    Definition Classes
    Assertions
  92. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  93. def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  94. def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  95. def markup: Documenter

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting
  96. def maxDiscarded(value: Int): MaxDiscarded

    Definition Classes
    Configuration
  97. def maxSize(value: Int): MaxSize

    Definition Classes
    Configuration
  98. def minSize(value: Int): MinSize

    Definition Classes
    Configuration
  99. def minSuccessful(value: Int): MinSuccessful

    Definition Classes
    Configuration
  100. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  101. def nestedSuites: IndexedSeq[Suite]

    Definition Classes
    Suite → AbstractSuite
  102. def note: Notifier

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying
  103. final def notify(): Unit

    Definition Classes
    AnyRef
  104. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  105. val numexp: Num

    A simple numeric test expression.

  106. def pending: PendingNothing

    Definition Classes
    Suite
  107. def pendingUntilFixed(f: ⇒ Unit): Unit

    Definition Classes
    Suite
  108. def rerunner: Option[String]

    Definition Classes
    Suite → AbstractSuite
  109. def run(testName: Option[String], args: Args): Status

    Definition Classes
    BeforeAndAfter → SuiteMixin
  110. final def run(testName: Option[String], reporter: Reporter, stopper: Stopper, filter: Filter, configMap: Map[String, Any], distributor: Option[Distributor], tracker: Tracker): Status

    Definition Classes
    AbstractSuite
  111. def runNestedSuites(args: Args): Status

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite
  112. def runTest(testName: String, args: Args): Status

    Attributes
    protected
    Definition Classes
    BeforeAndAfter → SuiteMixin
  113. def runTests(testName: Option[String], args: Args): Status

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  114. 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
  115. final val styleName: String

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  116. def suiteId: String

    Definition Classes
    Suite
  117. def suiteName: String

    Definition Classes
    Suite
  118. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  119. def tags: Map[String, Set[String]]

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  120. def test(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  121. def testDataFor(testName: String, theConfigMap: ConfigMap): TestData

    Definition Classes
    FunSuiteLike → Suite
  122. def testNames: Set[String]

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  123. def testsFor(unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  124. def toString(): String

    Definition Classes
    AnyRef → Any
  125. def trap[T](f: ⇒ T): Throwable

    Definition Classes
    Assertions
  126. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  127. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport
  128. val varexp: Div

    A simple test expression involving variables.

  129. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  132. def withClue[T](clue: Any)(fun: ⇒ T): T

    Definition Classes
    Assertions
  133. def withFixture(test: NoArgTest): Outcome

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite
  134. def workers(value: Int): Workers

    Definition Classes
    Configuration

Deprecated Value Members

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

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assertion and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

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

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assertion and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

  3. def assume(o: Option[String]): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assumption and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

  4. def assume(o: Option[String], clue: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This method has been deprecated in favor of macro assumption and will be removed in a future version of ScalaTest. If you need this, please copy the source code into your own trait instead.

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

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expect method has been deprecated. Please replace all invocations of expect with an identical invocation of assertResult instead.

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

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expect method has been deprecated. Please replace all invocations of expect with an identical invocation of assertResult instead.

  7. def expectResult(expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expectResult method has been deprecated. Please replace all invocations of expectResult with an identical invocation of assertResult instead.

  8. def expectResult(expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    This expectResult method has been deprecated. Please replace all invocations of expectResult with an identical invocation of assertResult instead.

Inherited from Generator

Inherited from Checkers

Inherited from Configuration

Inherited from Tests

Inherited from BeforeAndAfter

Inherited from SuiteMixin

Inherited from FunSuiteLike

Inherited from Documenting

Inherited from Alerting

Inherited from Notifying

Inherited from Informing

Inherited from Suite

Inherited from Serializable

Inherited from AbstractSuite

Inherited from Assertions

Inherited from TripleEquals

Inherited from TripleEqualsSupport

Inherited from AnyRef

Inherited from Any

Ungrouped