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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

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

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

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

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

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

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

    Definition Classes
    Any
  9. def ===[T](right: Spread[T]): TripleEqualsInvocationOnSpread[T]

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

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

    Definition Classes
    TripleEqualsSupport
  12. object FocusTest extends Tag

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

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

    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  14. def alert: Alerter

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

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

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

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

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

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

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

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

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  23. def assert(condition: Boolean): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  24. 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
  25. 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
  26. 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
  27. def assertResult(expected: Any)(actual: Any): Unit

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

    Definition Classes
    Assertions
  29. 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
  30. val assertionsHelper: AssertionsHelper

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

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  32. def assume(condition: Boolean): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  33. def before(fun: ⇒ Any): Unit

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

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

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

    Definition Classes
    Assertions
  37. def cancel(): Nothing

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

    Definition Classes
    Checkers
  39. def check(p: Prop, prms: Params): Unit

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    Assertions
  65. def fail(): Nothing

    Definition Classes
    Assertions
  66. 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
  67. def finalize(): Unit

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    Generator
  87. implicit val generatorDrivenConfig: PropertyCheckConfig

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

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

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

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  91. def info: Informer

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

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

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

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

    Definition Classes
    TripleEquals → TripleEqualsSupport
  96. def markup: Documenter

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

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

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

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

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

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

    Definition Classes
    Suite → AbstractSuite
  103. def note: Notifier

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

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

    Definition Classes
    AnyRef
  106. val numexp: Num

    A simple numeric test expression.

  107. def pending: PendingNothing

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

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

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

    Definition Classes
    BeforeAndAfter → SuiteMixin
  111. 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
  112. def runNestedSuites(args: Args): Status

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

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

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

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

    Definition Classes
    Suite
  118. def suiteName: String

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    TripleEquals → TripleEqualsSupport
  129. val varexp: Div

    A simple test expression involving variables.

  130. final def wait(): Unit

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

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

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

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

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite
  135. 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