org.kiama.example.imperative

ImperativeTests

class ImperativeTests extends Tests

Imperative language tests pretty-printer tests. Quite a few of the tests of other modules also use the imperative language.

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

Instance Constructors

  1. new ImperativeTests()

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 afterAll(): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll

  15. def alert: Alerter

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Alerting

  16. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

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

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )

  18. def assert(condition: Boolean): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )

  19. def assertCompiles(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )

  20. def assertDoesNotCompile(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )

  21. def assertMessage(received: Message, index: Int, expected: Message): Unit

    Assert that a received message at the given zero-based index conforms to an expected one in that it reports the same message label at the same position.

    Assert that a received message at the given zero-based index conforms to an expected one in that it reports the same message label at the same position.

    Definition Classes
    Tests

  22. def assertMessages(received: Messages, expected: Message*): Unit

    Assert that the received list of messsages has recorded the expected messages in the same order.

    Assert that the received list of messsages has recorded the expected messages in the same order.

    Definition Classes
    Tests

  23. def assertNotOptSame(expected: Any)(actual: Any): Unit

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

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

    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 assertOptSame(expected: Any)(actual: Any): Unit

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

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

    Definition Classes
    Tests

  26. def assertResult(expected: Any)(actual: Any): Unit

    Definition Classes
    Assertions

  27. def assertResult(expected: Any, clue: Any)(actual: Any): Unit

    Definition Classes
    Assertions

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

  29. def assertTypeError(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )

  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 beforeAll(): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll

  35. def cancel(cause: Throwable): Nothing

    Definition Classes
    Assertions

  36. def cancel(message: String, cause: Throwable): Nothing

    Definition Classes
    Assertions

  37. def cancel(message: String): Nothing

    Definition Classes
    Assertions

  38. def cancel(): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    Checkers

  40. def check(p: Prop, prms: Parameters): Unit

    Definition Classes
    Checkers

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

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

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

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

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

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

  47. def clone(): AnyRef

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

  48. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  49. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  50. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  51. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  52. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  53. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  54. implicit def convertToEqualizer[T](left: T): Equalizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  55. def convertToLegacyCheckingEqualizer[T](left: T): LegacyCheckingEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  56. def convertToLegacyEqualizer[T](left: T): LegacyEqualizer[T]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  57. def defaultEquality[A]: Equality[A]

    Definition Classes
    TripleEqualsSupport

  58. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  59. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  60. final def execute: Unit

    Definition Classes
    Suite

  61. final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

    Definition Classes
    Suite

  62. def expectedTestCount(filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  63. def fail(cause: Throwable): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  65. def fail(message: String): Nothing

    Definition Classes
    Assertions

  66. def fail(): Nothing

    Definition Classes
    Assertions

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

  68. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  69. implicit val generatorDrivenConfig: PropertyCheckConfig

    Definition Classes
    Configuration

  70. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  71. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

    Attributes
    protected
    Definition Classes
    FunSuiteLike

  73. def info: Informer

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing

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

    Definition Classes
    Assertions

  75. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean

    Definition Classes
    BeforeAndAfterAll

  76. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  77. def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  78. def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  79. def markup: Documenter

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting

  80. def maxDiscarded(value: Int): MaxDiscarded

    Definition Classes
    Configuration

  81. def maxSize(value: Int): MaxSize

    Definition Classes
    Configuration

  82. def minSize(value: Int): MinSize

    Definition Classes
    Configuration

  83. def minSuccessful(value: Int): MinSuccessful

    Definition Classes
    Configuration

  84. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  85. def nestedSuites: IndexedSeq[Suite]

    Definition Classes
    Suite → AbstractSuite

  86. def note: Notifier

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying

  87. final def notify(): Unit

    Definition Classes
    AnyRef

  88. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  89. val p: Seqn

  90. def pending: PendingNothing

    Definition Classes
    Suite

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

    Definition Classes
    Suite

  92. val pp1: String

  93. val pp2: String

  94. val ppp: String

  95. final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Definition Classes
    FunSuiteLike → TestRegistration

  96. final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Definition Classes
    FunSuiteLike → TestRegistration

  97. def rerunner: Option[String]

    Definition Classes
    Suite → AbstractSuite

  98. def run(testName: Option[String], args: Args): Status

    Definition Classes
    BeforeAndAfterAll → SuiteMixin

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

  100. def runNestedSuites(args: Args): Status

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  101. def runTest(testName: String, args: Args): Status

    Attributes
    protected
    Definition Classes
    BeforeAndAfter → SuiteMixin

  102. def runTests(testName: Option[String], args: Args): Status

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite → AbstractSuite

  103. final val styleName: String

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite

  104. def suiteId: String

    Definition Classes
    Suite

  105. def suiteName: String

    ScalaTest by default only shows the unqualified class name when it displays the name of the suite.

    ScalaTest by default only shows the unqualified class name when it displays the name of the suite. If a suite class name is used in more than one package we can't tell them apart. Here we override the name that is printed so that we get a project relative source file name as well.

    This definition assumes that the test suite resides in the library project, that the name of the suite class is the same as the basename of the file and that the file is located in the folder given by the package name.

    Definition Classes
    Tests → SuiteMixin → Suite

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

    Definition Classes
    AnyRef

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

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuiteLike

  109. def testDataFor(testName: String, theConfigMap: ConfigMap): TestData

    Definition Classes
    FunSuiteLike → Suite

  110. def testNames: Set[String]

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite

  111. def testsFor(unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike

  112. def toString(): String

    Definition Classes
    AnyRef → Any

  113. def trap[T](f: ⇒ T): Throwable

    Definition Classes
    Assertions

  114. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  115. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): Constraint[A, B]

    Definition Classes
    TripleEquals → TripleEqualsSupport

  116. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  118. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  119. def withClue[T](clue: Any)(fun: ⇒ T): T

    Definition Classes
    Assertions

  120. def withFixture(test: NoArgTest): Outcome

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  121. def workers(value: Int): Workers

    Definition Classes
    Configuration

Deprecated Value Members

  1. def afterAll(configMap: ConfigMap): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
    Annotations
    @deprecated
    Deprecated

    Please use the afterAll(ConfigMap) method of trait BeforeAndAfterAllConfigMap instead.

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

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

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

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

  6. def beforeAll(configMap: ConfigMap): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
    Annotations
    @deprecated
    Deprecated

    Please use the beforeAll(ConfigMap) method of trait BeforeAndAfterAllConfigMap instead.

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

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

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

  10. 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 Tests

Inherited from Checkers

Inherited from Configuration

Inherited from BeforeAndAfterAll

Inherited from BeforeAndAfter

Inherited from SuiteMixin

Inherited from FunSuiteLike

Inherited from Documenting

Inherited from Alerting

Inherited from Notifying

Inherited from Informing

Inherited from TestRegistration

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