org.kiama.rewriting

RewriterTests

class RewriterTests extends Tests with Checkers with Generator

Rewriting tests.

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. RewriterTests
  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 RewriterTests ()

Type Members

  1. type ?0

    Attributes
    abstract
    Definition Classes
    Suite

  2. class Expecting extends AnyRef

    The kind of comparison that is expected to be true for a test.

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 Equal extends Expecting with Product with Serializable

  7. object FocusTest extends Tag

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

  8. object NotSame extends Expecting with Product with Serializable

  9. object Same extends Expecting with Product with Serializable

  10. implicit def arbAsgn : Arbitrary[Asgn]

    Attributes
    implicit
    Definition Classes
    Generator

  11. implicit def arbExp : Arbitrary[Exp]

    Attributes
    implicit
    Definition Classes
    Generator

  12. implicit def arbNum : Arbitrary[Num]

    Attributes
    implicit
    Definition Classes
    Generator

  13. implicit def arbSeqn : Arbitrary[Seqn]

    Attributes
    implicit
    Definition Classes
    Generator

  14. implicit def arbStmt : Arbitrary[Stmt]

    Attributes
    implicit
    Definition Classes
    Generator

  15. implicit def arbWhile : Arbitrary[While]

    Attributes
    implicit
    Definition Classes
    Generator

  16. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  20. def assert (condition: Boolean): Unit

    Definition Classes
    Assertions

  21. 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

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

    Definition Classes
    Checkers

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

    Definition Classes
    Checkers

  24. 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

  25. 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

  26. 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

  27. 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

  28. 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

  29. 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

  30. def clone (): AnyRef

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

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

    Attributes
    implicit
    Definition Classes
    Assertions

  32. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  33. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  34. def everywheretdtest (everys: (⇒ Strategy) ⇒ Strategy): Unit

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

    Attributes
    final
    Definition Classes
    Suite

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  38. def expectedTestCount (filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  39. 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

  40. 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

  41. def fail (cause: Throwable): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  43. def fail (message: String): Nothing

    Definition Classes
    Assertions

  44. def fail (): Nothing

    Definition Classes
    Assertions

  45. def finalize (): Unit

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

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  49. val genDouble : Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  51. val genIdn : Gen[String]

    Definition Classes
    Generator

  52. val genInteger : Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  55. val genLeafExp : Gen[Exp with Serializable]

    Definition Classes
    Generator

  56. val genLeafStmt : Gen[Null]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  59. val genNum : Gen[Num]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  63. val genVar : Gen[Var]

    Definition Classes
    Generator

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

    Definition Classes
    Generator

  65. implicit val generatorDrivenConfig : PropertyCheckConfig

    Attributes
    implicit
    Definition Classes
    Configuration

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  67. def hashCode (): Int

    Definition Classes
    AnyRef → Any

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

    Attributes
    protected
    Definition Classes
    FunSuite

  69. implicit def info : Informer

    Attributes
    protected implicit
    Definition Classes
    FunSuite

  70. def innermosttest (imost: (⇒ Strategy) ⇒ Strategy): Unit

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

    Definition Classes
    Assertions

  72. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  73. def maxDiscarded (value: Int): MaxDiscarded

    Definition Classes
    Configuration

  74. def maxSize (value: Int): MaxSize

    Definition Classes
    Configuration

  75. def minSize (value: Int): MinSize

    Definition Classes
    Configuration

  76. def minSuccessful (value: Int): MinSuccessful

    Definition Classes
    Configuration

  77. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  78. def nestedSuites : List[Suite]

    Definition Classes
    Suite → AbstractSuite

  79. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  80. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  81. def pending : PendingNothing

    Definition Classes
    Suite

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

    Definition Classes
    Suite

  83. 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

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

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

  86. 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

  87. 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

  88. def suiteName : String

    Definition Classes
    Suite

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    FunSuite → Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite

  92. def testNames : Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  93. def testsFor (unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  94. def toString (): String

    Definition Classes
    AnyRef → Any

  95. def travtest (basemsg: String, testmsg: String, trav: (⇒ Strategy) ⇒ Strategy, rewl: Strategy, term: Term, result: Option[Term], expecting: Expecting = Equal): Unit

  96. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  98. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    Assertions

  100. def withFixture (test: NoArgTest): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  101. 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