c

org.kiama.example.dataflow

DataflowTests

class DataflowTests extends Driver with Dataflow with TestCompiler[Stm]

Tests of data flow attribution.

Source
DataflowTests.scala
Linear Supertypes
TestCompiler[Stm], TestCompilerWithConfig[Stm, Config], Tests, Checkers, Configuration, BeforeAndAfterAll, BeforeAndAfter, SuiteMixin, FunSuiteLike, Documenting, Alerting, Notifying, Informing, TestRegistration, TestSuite, Suite, Serializable, Serializable, Assertions, TripleEquals, TripleEqualsSupport, Dataflow, ControlFlowImpl, ControlFlow, VariablesImpl, Variables, LivenessImpl, Liveness, Driver, Compiler[Stm], CompilerWithConfig[Stm, Config], CompilerBase[Stm, Config], Profiler, Profiler, Values, SyntaxAnalyser, PositionedParserUtilities, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DataflowTests
  2. TestCompiler
  3. TestCompilerWithConfig
  4. Tests
  5. Checkers
  6. Configuration
  7. BeforeAndAfterAll
  8. BeforeAndAfter
  9. SuiteMixin
  10. FunSuiteLike
  11. Documenting
  12. Alerting
  13. Notifying
  14. Informing
  15. TestRegistration
  16. TestSuite
  17. Suite
  18. Serializable
  19. Serializable
  20. Assertions
  21. TripleEquals
  22. TripleEqualsSupport
  23. Dataflow
  24. ControlFlowImpl
  25. ControlFlow
  26. VariablesImpl
  27. Variables
  28. LivenessImpl
  29. Liveness
  30. Driver
  31. Compiler
  32. CompilerWithConfig
  33. CompilerBase
  34. Profiler
  35. Profiler
  36. Values
  37. SyntaxAnalyser
  38. PositionedParserUtilities
  39. ParserUtilities
  40. PackratParsers
  41. RegexParsers
  42. Parsers
  43. AnyRef
  44. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DataflowTests()

Type Members

  1. class AssertionsHelper extends AnyRef
    Definition Classes
    Assertions
  2. class CheckingEqualizer[L] extends AnyRef
    Definition Classes
    TripleEqualsSupport
  3. case class Child extends Step with Product with Serializable
    Definition Classes
    Profiler
  4. case class Dep extends Product with Serializable
    Definition Classes
    Profiler
  5. type Elem = Char
    Definition Classes
    RegexParsers → Parsers
  6. class Equalizer[L] extends AnyRef
    Definition Classes
    TripleEqualsSupport
  7. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  8. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  9. type Input = Reader[Elem]
    Definition Classes
    Parsers
  10. class Marker extends AnyRef
    Definition Classes
    PositionedParserUtilities
  11. case class MaxDiscardedFactor extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  12. case class MinSize extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  13. case class MinSuccessful extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  14. trait NoArgTest extends () ⇒ Outcome with TestData
    Attributes
    protected
    Definition Classes
    TestSuite
  15. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  16. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  17. abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]
    Definition Classes
    PackratParsers
  18. class PackratReader[+T] extends Reader[T]
    Definition Classes
    PackratParsers
  19. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  20. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  21. sealed abstract class PropertyCheckConfigParam extends Product with Serializable
    Definition Classes
    Configuration
  22. case class PropertyCheckConfiguration extends PropertyCheckConfigurable with Product with Serializable
    Definition Classes
    Configuration
  23. case class Record extends Product with Serializable
    Definition Classes
    Values
  24. case class SizeRange extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  25. abstract class Step extends AnyRef
    Definition Classes
    Profiler
  26. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  27. case class Workers extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
  28. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers
  29. case class MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated
  30. case class MaxSize extends PropertyCheckConfigParam with Product with Serializable
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    use SizeRange instead

  31. case class PropertyCheckConfig extends PropertyCheckConfigurable with Product with Serializable
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    Use PropertyCheckConfiguration instead

  32. trait PropertyCheckConfigurable extends AnyRef
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    Use PropertyCheckConfiguration directly instead.

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. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  11. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    PositionedParserUtilities → Parsers
  12. implicit def PropertyCheckConfig2PropertyCheckConfiguration(p: PropertyCheckConfig): PropertyCheckConfiguration
    Definition Classes
    Configuration
  13. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  14. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  15. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  16. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  17. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  18. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  19. def after(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  20. def afterAll(): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  21. def alert: Alerter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Alerting
  22. def any: PackratParser[Char]
    Definition Classes
    ParserUtilities
  23. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  24. lazy val asgnStm: Parser[Assign]
    Definition Classes
    SyntaxAnalyser
  25. macro def assert(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  26. macro def assert(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  27. macro def assertCompiles(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  28. macro def assertDoesNotCompile(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. def assertResult(expected: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  35. def assertResult(expected: Any, clue: Any)(actual: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  36. 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
  37. def assertThrows[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): Assertion
    Definition Classes
    Assertions
  38. macro def assertTypeError(code: String)(implicit pos: Position): Assertion
    Definition Classes
    Assertions
  39. val assertionsHelper: AssertionsHelper
    Definition Classes
    Assertions
  40. macro def assume(condition: Boolean, clue: Any)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  41. macro def assume(condition: Boolean)(implicit prettifier: Prettifier, pos: Position): Assertion
    Definition Classes
    Assertions
  42. def before(fun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  43. def beforeAll(): Unit
    Definition Classes
    DataflowTests → BeforeAndAfterAll
  44. lazy val blockStm: Parser[Block]
    Definition Classes
    SyntaxAnalyser
  45. def cancel(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  46. def cancel(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  47. def cancel(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  48. def cancel()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  49. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  50. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  51. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  52. def check[ASSERTION](p: Prop, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  53. def check[ASSERTION](p: Prop, prms: Parameters)(implicit asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  54. def check[A1, A2, A3, A4, A5, A6, P, ASSERTION](f: (A1, A2, A3, A4, A5, A6) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, 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, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  55. def check[A1, A2, A3, A4, A5, P, ASSERTION](f: (A1, A2, A3, A4, A5) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, 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, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  56. def check[A1, A2, A3, A4, P, ASSERTION](f: (A1, A2, A3, A4) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, 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, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  57. def check[A1, A2, A3, P, ASSERTION](f: (A1, A2, A3) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, 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, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  58. def check[A1, A2, P, ASSERTION](f: (A1, A2) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  59. def check[A1, P, ASSERTION](f: (A1) ⇒ P, configParams: PropertyCheckConfigParam*)(implicit config: PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
    Definition Classes
    Checkers
  60. def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value
    Definition Classes
    Values
  61. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  62. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  63. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R
    Definition Classes
    ParserUtilities
  64. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R
    Definition Classes
    ParserUtilities
  65. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R
    Definition Classes
    ParserUtilities
  66. implicit def constToTupleFunction5[A, B, C, D, E, R](r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R
    Definition Classes
    ParserUtilities
  67. implicit def constToTupleFunction6[A, B, C, D, E, F, R](r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R
    Definition Classes
    ParserUtilities
  68. lazy val constrainedInt: PackratParser[Int]
    Definition Classes
    ParserUtilities
  69. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  70. def convertEquivalenceToAToBConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  71. def convertEquivalenceToAToBConversionConstraint[A, B](equivalenceOfB: Equivalence[B])(implicit ev: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  72. def convertEquivalenceToBToAConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  73. def convertEquivalenceToBToAConversionConstraint[A, B](equivalenceOfA: Equivalence[A])(implicit ev: (B) ⇒ A): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  74. def convertToCheckingEqualizer[T](left: T): CheckingEqualizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  75. implicit def convertToEqualizer[T](left: T): Equalizer[T]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  76. def createConfig(args: Seq[String], output: Emitter, error: Emitter): Config
    Definition Classes
    Compiler → CompilerBase
  77. def defaultEquality[A]: Equality[A]
    Definition Classes
    TripleEqualsSupport
  78. val defines: (Stm) ⇒ Set[Var]

    Variable definitions.

    Variable definitions.

    Definition Classes
    VariablesImpl → Variables
  79. def dimValue(record: Record, dim: Dimension): Value
    Definition Classes
    Profiler → Profiler → Values
  80. def dosanitisation: Boolean

    Flag to decide whether to sanitise the output before comparison of test results with expected results (see sanitise method).

    Flag to decide whether to sanitise the output before comparison of test results with expected results (see sanitise method). Default is true; override with false if you want actual results compared.

    Definition Classes
    TestCompilerWithConfig
  81. def driver(args: Seq[String]): Unit
    Definition Classes
    CompilerBase
  82. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  83. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  84. def encoding: String
    Definition Classes
    CompilerBase
  85. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  86. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  87. def err(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  88. final def execute(testName: String, configMap: ConfigMap, color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit
    Definition Classes
    Suite
  89. lazy val exp: Parser[String]
    Definition Classes
    SyntaxAnalyser
  90. def expectedTestCount(filter: Filter): Int
    Definition Classes
    Suite
  91. def fail(cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  92. def fail(message: String, cause: Throwable)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  93. def fail(message: String)(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  94. def fail()(implicit pos: Position): Nothing
    Definition Classes
    Assertions
  95. 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
  96. def failure(msg: String): Parser[Nothing]
    Definition Classes
    ParserUtilities → Parsers
  97. def filetests(name: String, path: String, srcext: String, resext: String, optinext: Option[String] = None, indefault: String = "", argslist: Seq[Seq[String]] = Seq (Seq ())): Unit

    Make tests that process the files in path.

    Make tests that process the files in path. name is an identifying name for this set of tests. All files whose names end in srcext are processed. Processing is done by the function compile which must return either Some (s) where s is the output or None if processing failed. If srcext is .x and resext is .y, then the expected result for foo.x is found in file foo.y. If optinext is Some (z), then foo.z is used for standard input, if it exists, otherwise the string indefault is used. A test fails if either the processing fails or it succeeds with the wrong result. argslist is used to specify the sets of command-line arguments that you want to use. Each test is run with each set of arguments. The default is an empty argument list.

    Definition Classes
    TestCompilerWithConfig
  98. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  99. def finishReport(): Unit
    Definition Classes
    Values
  100. val following: (Stm) ⇒ Set[Stm]

    Control flow default successor relation.

    Control flow default successor relation.

    Definition Classes
    ControlFlowImpl → ControlFlow
  101. implicit val generatorDrivenConfig: PropertyCheckConfiguration
    Definition Classes
    Configuration
  102. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  103. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  104. def handleWhiteSpace(in: Input): Int
    Definition Classes
    ParserUtilities
  105. def handleWhiteSpace(source: CharSequence, offset: Int): Int
    Attributes
    protected
    Definition Classes
    RegexParsers
  106. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  107. lazy val idn: Parser[String]
    Definition Classes
    SyntaxAnalyser
  108. lazy val ifStm: Parser[If]
    Definition Classes
    SyntaxAnalyser
  109. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  110. val in: (Stm) ⇒ Set[Var]

    Variables "live" into a statement.

    Variables "live" into a statement.

    Definition Classes
    LivenessImpl → Liveness
  111. def includeTimings: Boolean
    Definition Classes
    Profiler
  112. def info: Informer
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Informing
  113. def intercept[T <: AnyRef](f: ⇒ Any)(implicit classTag: ClassTag[T], pos: Position): T
    Definition Classes
    Assertions
  114. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean
    Definition Classes
    BeforeAndAfterAll
  115. def isEventType(record: Record, eventtype: String): Boolean
    Definition Classes
    Values
  116. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  117. lazy val keyword: Parser[String]
    Definition Classes
    SyntaxAnalyser
  118. def keywords(ext: Regex, kws: Seq[String]): Parser[String]
    Definition Classes
    ParserUtilities
  119. implicit def literal(s: String): Parser[String]
    Definition Classes
    RegexParsers
  120. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  121. def lowPriorityConversionCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], cnv: (A) ⇒ B): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  122. def lowPriorityTypeCheckedConstraint[A, B](implicit equivalenceOfB: Equivalence[B], ev: <:<[A, B]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  123. def main(args: Array[String]): Unit
    Definition Classes
    CompilerBase
  124. def makeast(reader: Reader, filename: String, config: Config): Either[Stm, String]
    Definition Classes
    CompilerWithConfig → CompilerBase
  125. def mark[T](p: Parser[String]): Parser[Marker]
    Definition Classes
    PositionedParserUtilities
  126. def markup: Documenter
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Documenting
  127. def maxDiscardedFactor(value: PosZDouble): MaxDiscardedFactor
    Definition Classes
    Configuration
  128. def memo[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  129. def minSize(value: PosZInt): MinSize
    Definition Classes
    Configuration
  130. def minSuccessful(value: PosInt): MinSuccessful
    Definition Classes
    Configuration
  131. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  132. def nanoToMs(nano: Long): Long
    Definition Classes
    Profiler
  133. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  134. def nestedSuites: IndexedSeq[Suite]
    Definition Classes
    Suite
  135. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  136. def note: Notifier
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Notifying
  137. final def notify(): Unit
    Definition Classes
    AnyRef
  138. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  139. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  140. val out: (Stm) ⇒ Set[Var]

    Variables "live" out of a statement.

    Variables "live" out of a statement.

    Definition Classes
    LivenessImpl → Liveness
  141. val outAttr: attribution.Attribution.CircularAttribute[Stm, Set[Var]]
  142. def output(str: String): Unit
    Definition Classes
    Values
  143. def outputln(str: String): Unit
    Definition Classes
    Values
  144. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  145. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  146. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  147. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
    Definition Classes
    RegexParsers
  148. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    RegexParsers
  149. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
    Definition Classes
    RegexParsers
  150. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]
    Definition Classes
    PositionedParserUtilities
  151. def parseProfileOption(value: String): Seq[Dimension]
    Definition Classes
    Profiler
  152. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]
    Definition Classes
    ParserUtilities
  153. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]
    Definition Classes
    ParserUtilities
  154. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]
    Definition Classes
    ParserUtilities
  155. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]
    Definition Classes
    ParserUtilities
  156. implicit def parseResultToTuple6[A, B, C, D, E, F](p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]
    Definition Classes
    ParserUtilities
  157. def parseString[T](parser: Parser[T], str: String): Either[T, String]
    Definition Classes
    ParserUtilities
  158. lazy val parser: PackratParser[Stm]
    Definition Classes
    SyntaxAnalyser
  159. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers
  160. def pending: Assertion with PendingStatement
    Definition Classes
    Assertions
  161. def pendingUntilFixed(f: ⇒ Unit)(implicit pos: Position): Assertion with PendingStatement
    Definition Classes
    Assertions
  162. def percent(v: Long, total: Long): String
    Definition Classes
    Profiler
  163. def phrase[T](p: Parser[T]): PackratParser[T]
    Definition Classes
    PackratParsers → Parsers
  164. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    RegexParsers → Parsers
  165. def prettyprint(ast: Stm): String
    Definition Classes
    CompilerBase
  166. def printDependencyGraph(record: Record, dim: Dimension): Unit
    Definition Classes
    Profiler
  167. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit
    Definition Classes
    Profiler
  168. val printTables: Boolean
    Definition Classes
    Values
  169. def process(filename: String, ast: Stm, config: Config): Unit

    Process the tree by optimising it, then print optimised tree.

    Process the tree by optimising it, then print optimised tree.

    Definition Classes
    Driver → CompilerWithConfig → CompilerBase
  170. def processfile(filename: String, config: Config): Unit
    Definition Classes
    CompilerBase
  171. def processfiles(filenames: Seq[String], config: Config): Unit
    Definition Classes
    CompilerBase
  172. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T
    Definition Classes
    Profiler
  173. def profileStart(logging: Boolean): Unit
    Definition Classes
    Profiler
  174. def profileStop(): (Seq[Dimension]) ⇒ Unit
    Definition Classes
    Profiler
  175. def profileStop(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler
  176. def profileStopInteractive(): Unit
    Definition Classes
    Profiler
  177. val prog: Block
  178. implicit def regex(r: Regex): Parser[String]
    Definition Classes
    RegexParsers
  179. final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  180. final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Definition Classes
    FunSuiteLike → TestRegistration
  181. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  182. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

  183. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  184. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  185. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  186. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  187. def rerunner: Option[String]
    Definition Classes
    Suite
  188. def result[T](v: ⇒ T): Parser[T]
    Definition Classes
    ParserUtilities
  189. lazy val returnStm: Parser[Return]
    Definition Classes
    SyntaxAnalyser
  190. def run(testName: Option[String], args: Args): Status
    Definition Classes
    BeforeAndAfterAll → SuiteMixin
  191. def runNestedSuites(args: Args): Status
    Attributes
    protected
    Definition Classes
    Suite
  192. def runTest(testName: String, args: Args): Status
    Attributes
    protected
    Definition Classes
    BeforeAndAfter → SuiteMixin
  193. def runTests(testName: Option[String], args: Args): Status
    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite
  194. val s1: Assign
  195. val s2: Assign
  196. val s3: Assign
  197. val s4: While
  198. val s41: Block
  199. val s411: Assign
  200. val s412: Assign
  201. val s5: Return
  202. def sanitise(s: String): String

    Sanitise the output.

    Sanitise the output. At the moment this means make any Windows line endings appear in Unix style instead. This allows for either program or test output to use either line ending style, but tests will still pass. This will clearly break any tests where the actual line endings matter.

    Definition Classes
    TestCompilerWithConfig
  203. def sizeRange(value: PosZInt): SizeRange
    Definition Classes
    Configuration
  204. def skipWhitespace: Boolean
    Definition Classes
    RegexParsers
  205. def startReport(dimensionNames: Seq[Dimension]): Unit
    Definition Classes
    Profiler → Values
  206. val startTime: Long
    Definition Classes
    Profiler
  207. lazy val stm: PackratParser[Stm]
    Definition Classes
    SyntaxAnalyser
  208. def stringToInt(s: String): Either[Int, String]
    Definition Classes
    ParserUtilities
  209. final val styleName: String
    Definition Classes
    FunSuiteLike → Suite
  210. def subjectsToStep(src: Any, dst: Any): Step
    Definition Classes
    Profiler
  211. val succ: (Stm) ⇒ Set[Stm]

    Control flow successor relation.

    Control flow successor relation.

    Definition Classes
    ControlFlowImpl → ControlFlow
  212. final val succeed: Assertion
    Definition Classes
    Assertions
  213. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  214. def suiteId: String
    Definition Classes
    Suite
  215. 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
  216. def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit
    Definition Classes
    Profiler
  217. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  218. def tags: Map[String, Set[String]]
    Definition Classes
    FunSuiteLike → Suite
  219. def test(testName: String, testTags: Tag*)(testFun: ⇒ Any)(implicit pos: Position): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  220. def testDataFor(testName: String, theConfigMap: ConfigMap): TestData
    Definition Classes
    FunSuiteLike → Suite
  221. def testNames: Set[String]
    Definition Classes
    FunSuiteLike → Suite
  222. def testdriver(config: Config): Unit

    Run the compiler in test mode using the given configuration.

    Run the compiler in test mode using the given configuration.

    Definition Classes
    TestCompilerWithConfig
  223. def testsFor(unit: Unit): Unit
    Attributes
    protected
    Definition Classes
    FunSuiteLike
  224. def textOf[T](t: T, includeWhiteSpace: Boolean): Option[String]
    Definition Classes
    PositionedParserUtilities
  225. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit
    Definition Classes
    Profiler
  226. def toString(): String
    Definition Classes
    AnyRef → Any
  227. def trace(predicate: (Event) ⇒ Boolean): Unit
    Definition Classes
    Profiler
  228. def typeCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], ev: <:<[B, A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  229. implicit def unconstrainedEquality[A, B](implicit equalityOfA: Equality[A]): CanEqual[A, B]
    Definition Classes
    TripleEquals → TripleEqualsSupport
  230. val uses: (Stm) ⇒ Set[Var]

    Variable uses.

    Variable uses.

    Definition Classes
    VariablesImpl → Variables
  231. def valueToString(a: Value): String
    Definition Classes
    Values
  232. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  233. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  234. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  235. lazy val whileStm: Parser[While]
    Definition Classes
    SyntaxAnalyser
  236. val whiteSpace: Regex
    Attributes
    protected
    Definition Classes
    RegexParsers
  237. def withClue[T](clue: Any)(fun: ⇒ T): T
    Definition Classes
    Assertions
  238. def withFixture(test: NoArgTest): Outcome
    Attributes
    protected
    Definition Classes
    TestSuite
  239. def workers(value: PosInt): Workers
    Definition Classes
    Configuration
  240. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]
    Definition Classes
    ParserUtilities
  241. object FocusTest extends Tag

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

    A ScalaTest tag that enables us to focus attention on particular tests rather than running all of them each time. Add this as an argument to the particular test methods that you want to focus on. Then you can use an sbt command such as "test-only *RewriterTests -- -n FocusTest" to run just the tests in that suite with this tag.

    Definition Classes
    Tests

Deprecated Value Members

  1. final def execute: Unit
    Definition Classes
    Suite
    Annotations
    @deprecated
    Deprecated

    The parameterless execute method has been deprecated and will be removed in a future version of ScalaTest. Please invoke execute with empty parens instead: execute().

  2. def maxDiscarded(value: Int): MaxDiscarded
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    use maxDiscardedFactor instead

  3. def maxSize(value: Int): MaxSize
    Definition Classes
    Configuration
    Annotations
    @deprecated
    Deprecated

    use SizeRange instead

  4. def trap[T](f: ⇒ T): Throwable
    Definition Classes
    Assertions
    Annotations
    @deprecated
    Deprecated

    The trap method is no longer needed for demos in the REPL, which now abreviates stack traces, and will be removed in a future version of ScalaTest

Inherited from TestCompiler[Stm]

Inherited from TestCompilerWithConfig[Stm, Config]

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 TestSuite

Inherited from Suite

Inherited from Serializable

Inherited from Serializable

Inherited from Assertions

Inherited from TripleEquals

Inherited from TripleEqualsSupport

Inherited from Dataflow

Inherited from ControlFlowImpl

Inherited from ControlFlow

Inherited from VariablesImpl

Inherited from Variables

Inherited from LivenessImpl

Inherited from Liveness

Inherited from Driver

Inherited from Compiler[Stm]

Inherited from CompilerWithConfig[Stm, Config]

Inherited from CompilerBase[Stm, Config]

Inherited from Profiler

Inherited from Profiler

Inherited from Values

Inherited from SyntaxAnalyser

Inherited from PositionedParserUtilities

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped