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, Suite, Serializable, AbstractSuite, 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. Suite
  17. Serializable
  18. AbstractSuite
  19. Assertions
  20. TripleEquals
  21. TripleEqualsSupport
  22. Dataflow
  23. ControlFlowImpl
  24. ControlFlow
  25. VariablesImpl
  26. Variables
  27. LivenessImpl
  28. Liveness
  29. Driver
  30. Compiler
  31. CompilerWithConfig
  32. CompilerBase
  33. Profiler
  34. Profiler
  35. Values
  36. SyntaxAnalyser
  37. PositionedParserUtilities
  38. ParserUtilities
  39. PackratParsers
  40. RegexParsers
  41. Parsers
  42. AnyRef
  43. Any
  1. Hide All
  2. Show all
Learn more about member selection
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 LegacyCheckingEqualizer[L] extends AnyRef

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

    Definition Classes
    TripleEqualsSupport
  12. class Marker extends AnyRef

    Definition Classes
    PositionedParserUtilities
  13. case class MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable

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

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

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

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

    Attributes
    protected
    Definition Classes
    Suite
  18. sealed abstract class NoSuccess extends ParseResult[Nothing]

    Definition Classes
    Parsers
  19. trait OnceParser[+T] extends Parser[T]

    Definition Classes
    Parsers
  20. abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]

    Definition Classes
    PackratParsers
  21. class PackratReader[+T] extends Reader[T]

    Definition Classes
    PackratParsers
  22. sealed abstract class ParseResult[+T] extends AnyRef

    Definition Classes
    Parsers
  23. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]

    Definition Classes
    Parsers
  24. case class PropertyCheckConfig extends Product with Serializable

    Definition Classes
    Configuration
  25. sealed abstract class PropertyCheckConfigParam extends AnyRef

    Definition Classes
    Configuration
  26. case class Record extends Product with Serializable

    Definition Classes
    Values
  27. abstract class Step extends AnyRef

    Definition Classes
    Profiler
  28. case class Success[+T] extends ParseResult[T] with Product with Serializable

    Definition Classes
    Parsers
  29. case class Workers extends PropertyCheckConfigParam with Product with Serializable

    Definition Classes
    Configuration
  30. case class ~[+a, +b] extends Product with Serializable

    Definition Classes
    Parsers

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 OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

    Definition Classes
    PositionedParserUtilities → Parsers
  14. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

    Definition Classes
    PositionedParserUtilities → Parsers
  15. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers
  16. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers
  17. implicit def accept(e: Elem): Parser[Elem]

    Definition Classes
    Parsers
  18. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

    Definition Classes
    Parsers
  19. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers
  20. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers
  21. def after(fun: ⇒ Any): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  22. def afterAll(): Unit

    Attributes
    protected
    Definition Classes
    BeforeAndAfterAll
  23. def alert: Alerter

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Alerting
  24. def any: PackratParser[Char]

    Definition Classes
    ParserUtilities
  25. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  26. lazy val asgnStm: Parser[Assign]

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

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

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  29. def assertCompiles(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  30. def assertDoesNotCompile(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. def assertResult(expected: Any)(actual: Any): Unit

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

    Definition Classes
    Assertions
  38. 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
  39. def assertTypeError(code: String): Unit

    Definition Classes
    Assertions
    Annotations
    @macroImpl( ... )
  40. val assertionsHelper: AssertionsHelper

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

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

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

    Attributes
    protected
    Definition Classes
    BeforeAndAfter
  44. def beforeAll(): Unit

    Definition Classes
    DataflowTests → BeforeAndAfterAll
  45. lazy val blockStm: Parser[Block]

    Definition Classes
    SyntaxAnalyser
  46. def cancel(cause: Throwable): Nothing

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

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

    Definition Classes
    Assertions
  49. def cancel(): Nothing

    Definition Classes
    Assertions
  50. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  51. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  52. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

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

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

    Definition Classes
    Checkers
  55. 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
  56. 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
  57. 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
  58. 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
  59. 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
  60. 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
  61. def checkFor(record: Record, dim: Dimension, eventtype: String, needed: Dimension)(f: (Value) ⇒ Value): Value

    Definition Classes
    Values
  62. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  63. def commit[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  64. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

    Definition Classes
    ParserUtilities
  65. implicit def constToTupleFunction3[A, B, C, R](r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

    Definition Classes
    ParserUtilities
  66. implicit def constToTupleFunction4[A, B, C, D, R](r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

    Definition Classes
    ParserUtilities
  67. 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
  68. 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
  69. lazy val constrainedInt: PackratParser[Int]

    Definition Classes
    ParserUtilities
  70. def conversionCheckedConstraint[A, B](implicit equivalenceOfA: Equivalence[A], cnv: (B) ⇒ A): Constraint[A, B]

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

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

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

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

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

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

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

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

    Definition Classes
    TripleEquals → TripleEqualsSupport
  79. def createConfig(args: Seq[String], output: Emitter, error: Emitter): Config

    Definition Classes
    Compiler → CompilerBase
  80. def defaultEquality[A]: Equality[A]

    Definition Classes
    TripleEqualsSupport
  81. val defines: (Stm) ⇒ Set[Var]

    Variable definitions.

    Variable definitions.

    Definition Classes
    VariablesImplVariables
  82. def dimValue(record: Record, dim: Dimension): Value

    Definition Classes
    Profiler → Profiler → Values
  83. 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
  84. def driver(args: Seq[String]): Unit

    Definition Classes
    CompilerBase
  85. def elem(e: Elem): Parser[Elem]

    Definition Classes
    Parsers
  86. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Definition Classes
    Parsers
  87. def encoding: String

    Definition Classes
    CompilerBase
  88. final def eq(arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  90. def err(msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers
  91. final def execute: Unit

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

    Definition Classes
    Suite
  93. lazy val exp: Parser[String]

    Definition Classes
    SyntaxAnalyser
  94. def expectedTestCount(filter: Filter): Int

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

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

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

    Definition Classes
    Assertions
  98. def fail(): Nothing

    Definition Classes
    Assertions
  99. 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
  100. def failure(msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers
  101. 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
  102. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  103. def finishReport(): Unit

    Definition Classes
    Values
  104. val following: (Stm) ⇒ Set[Stm]

    Control flow default successor relation.

    Control flow default successor relation.

    Definition Classes
    ControlFlowImplControlFlow
  105. implicit val generatorDrivenConfig: PropertyCheckConfig

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

    Definition Classes
    AnyRef → Any
  107. def guard[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  108. def handleWhiteSpace(in: Input): Int

    Definition Classes
    ParserUtilities
  109. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    Attributes
    protected
    Definition Classes
    RegexParsers
  110. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  111. lazy val idn: Parser[String]

    Definition Classes
    SyntaxAnalyser
  112. lazy val ifStm: Parser[If]

    Definition Classes
    SyntaxAnalyser
  113. def ignore(testName: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  114. val in: (Stm) ⇒ Set[Var]

    Variables "live" into a statement.

    Variables "live" into a statement.

    Definition Classes
    LivenessImplLiveness
  115. def includeTimings: Boolean

    Definition Classes
    Profiler
  116. def info: Informer

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

    Definition Classes
    Assertions
  118. val invokeBeforeAllAndAfterAllEvenIfNoTestsAreExpected: Boolean

    Definition Classes
    BeforeAndAfterAll
  119. def isEventType(record: Record, eventtype: String): Boolean

    Definition Classes
    Values
  120. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  121. lazy val keyword: Parser[String]

    Definition Classes
    SyntaxAnalyser
  122. def keywords(ext: Regex, kws: Seq[String]): Parser[String]

    Definition Classes
    ParserUtilities
  123. implicit def literal(s: String): Parser[String]

    Definition Classes
    RegexParsers
  124. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

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

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

    Definition Classes
    TripleEquals → TripleEqualsSupport
  127. def main(args: Array[String]): Unit

    Definition Classes
    CompilerBase
  128. def makeast(reader: Reader, filename: String, config: Config): Either[Stm, String]

    Definition Classes
    CompilerWithConfig → CompilerBase
  129. def mark[T](p: Parser[String]): Parser[Marker]

    Definition Classes
    PositionedParserUtilities
  130. def markup: Documenter

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

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

    Definition Classes
    Configuration
  133. def memo[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  134. def minSize(value: Int): MinSize

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

    Definition Classes
    Configuration
  136. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    Definition Classes
    Parsers
  137. def nanoToMs(nano: Long): Long

    Definition Classes
    Profiler
  138. final def ne(arg0: AnyRef): Boolean

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

    Definition Classes
    Suite → AbstractSuite
  140. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers
  141. def note: Notifier

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

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

    Definition Classes
    AnyRef
  144. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    Definition Classes
    Parsers
  145. val out: (Stm) ⇒ Set[Var]

    Variables "live" out of a statement.

    Variables "live" out of a statement.

    Definition Classes
    LivenessImplLiveness
  146. val outAttr: attribution.Attribution.CircularAttribute[Stm, Set[Var]]

  147. def output(str: String): Unit

    Definition Classes
    Values
  148. def outputln(str: String): Unit

    Definition Classes
    Values
  149. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers
  150. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers
  151. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers
  152. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers
  153. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers
  154. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers
  155. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]

    Definition Classes
    PositionedParserUtilities
  156. def parseProfileOption(value: String): Seq[Dimension]

    Definition Classes
    Profiler
  157. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

    Definition Classes
    ParserUtilities
  158. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

    Definition Classes
    ParserUtilities
  159. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

    Definition Classes
    ParserUtilities
  160. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

    Definition Classes
    ParserUtilities
  161. 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
  162. def parseString[T](parser: Parser[T], str: String): Either[T, String]

    Definition Classes
    ParserUtilities
  163. lazy val parser: PackratParser[Stm]

    Definition Classes
    SyntaxAnalyser
  164. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  165. def pending: PendingNothing

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

    Definition Classes
    Suite
  167. def percent(v: Long, total: Long): String

    Definition Classes
    Profiler
  168. def phrase[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers → Parsers
  169. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers
  170. def prettyprint(ast: Stm): String

    Definition Classes
    CompilerBase
  171. def printDependencyGraph(record: Record, dim: Dimension): Unit

    Definition Classes
    Profiler
  172. def printReports(totalTime: Long, dimensionNames: Seq[Dimension], records: List[Record]): Unit

    Definition Classes
    Profiler
  173. var printTables: Boolean

    Definition Classes
    Values
  174. 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
  175. def processfile(filename: String, config: Config): Unit

    Definition Classes
    CompilerBase
  176. def processfiles(filenames: Seq[String], config: Config): Unit

    Definition Classes
    CompilerBase
  177. def profile[T](computation: ⇒ T, dimensionNames: Seq[Dimension], logging: Boolean): T

    Definition Classes
    Profiler
  178. def profileStart(logging: Boolean): Unit

    Definition Classes
    Profiler
  179. def profileStop(): (Seq[Dimension]) ⇒ Unit

    Definition Classes
    Profiler
  180. def profileStop(dimensionNames: Seq[Dimension]): Unit

    Definition Classes
    Profiler
  181. def profileStopInteractive(): Unit

    Definition Classes
    Profiler
  182. val prog: Block

  183. implicit def regex(r: Regex): Parser[String]

    Definition Classes
    RegexParsers
  184. final def registerIgnoredTest(testText: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Definition Classes
    FunSuiteLike → TestRegistration
  185. final def registerTest(testText: String, testTags: Tag*)(testFun: ⇒ Unit): Unit

    Definition Classes
    FunSuiteLike → TestRegistration
  186. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  187. 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.

  188. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  189. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  190. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  191. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  192. def rerunner: Option[String]

    Definition Classes
    Suite → AbstractSuite
  193. def result[T](v: ⇒ T): Parser[T]

    Definition Classes
    ParserUtilities
  194. lazy val returnStm: Parser[Return]

    Definition Classes
    SyntaxAnalyser
  195. def run(testName: Option[String], args: Args): Status

    Definition Classes
    BeforeAndAfterAll → SuiteMixin
  196. 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
  197. def runNestedSuites(args: Args): Status

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

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

    Attributes
    protected
    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  200. val s1: Assign

  201. val s2: Assign

  202. val s3: Assign

  203. val s4: While

  204. val s41: Block

  205. val s411: Assign

  206. val s412: Assign

  207. val s5: Return

  208. 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
  209. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers
  210. def startReport(dimensionNames: Seq[Dimension]): Unit

    Definition Classes
    Profiler → Values
  211. var startTime: Long

    Definition Classes
    Profiler
  212. lazy val stm: PackratParser[Stm]

    Definition Classes
    SyntaxAnalyser
  213. def stringToInt(s: String): Either[Int, String]

    Definition Classes
    ParserUtilities
  214. final val styleName: String

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  215. def subjectsToStep(src: Any, dst: Any): Step

    Definition Classes
    Profiler
  216. val succ: (Stm) ⇒ Set[Stm]

    Control flow successor relation.

    Control flow successor relation.

    Definition Classes
    ControlFlowImplControlFlow
  217. def success[T](v: T): Parser[T]

    Definition Classes
    Parsers
  218. def suiteId: String

    Definition Classes
    Suite
  219. 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
  220. def summariseAlongDims(dimensionNames: Seq[Dimension], records: List[Record], nrecords: Int, profiledTime: Long): Unit

    Definition Classes
    Profiler
  221. final def synchronized[T0](arg0: ⇒ T0): T0

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

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

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

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

    Definition Classes
    FunSuiteLike → Suite → AbstractSuite
  226. 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
  227. def testsFor(unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuiteLike
  228. def time[T](computation: ⇒ T, warmup: Int, n: Int, discard: Int): Unit

    Definition Classes
    Profiler
  229. def toString(): String

    Definition Classes
    AnyRef → Any
  230. def trace(predicate: (Event) ⇒ Boolean): Unit

    Definition Classes
    Profiler
  231. def trap[T](f: ⇒ T): Throwable

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

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

    Definition Classes
    TripleEquals → TripleEqualsSupport
  234. val uses: (Stm) ⇒ Set[Var]

    Variable uses.

    Variable uses.

    Definition Classes
    VariablesImplVariables
  235. def valueToString(a: Value): String

    Definition Classes
    Values
  236. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  239. lazy val whileStm: Parser[While]

    Definition Classes
    SyntaxAnalyser
  240. val whiteSpace: Regex

    Attributes
    protected
    Definition Classes
    RegexParsers
  241. def withClue[T](clue: Any)(fun: ⇒ T): T

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

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

    Definition Classes
    Configuration
  244. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

    Definition Classes
    ParserUtilities

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.

  11. def lastNoSuccess: NoSuccess

    Definition Classes
    Parsers
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0

  12. def lastNoSuccess_=(x: NoSuccess): Unit

    Definition Classes
    Parsers
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0

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 Suite

Inherited from Serializable

Inherited from AbstractSuite

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