org.kiama.example.dataflow

DataflowTests

class DataflowTests extends Driver with TestCompiler[Stm]

Tests of data flow attribution.

Annotations
@RunWith()
Linear Supertypes
TestCompiler[Stm], FunSuite, Suite, Serializable, AbstractSuite, Assertions, Driver, Compiler[Stm], RegexCompiler[Stm], CompilerBase[Stm], Parser, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. DataflowTests
  2. TestCompiler
  3. FunSuite
  4. Suite
  5. Serializable
  6. AbstractSuite
  7. Assertions
  8. Driver
  9. Compiler
  10. RegexCompiler
  11. CompilerBase
  12. Parser
  13. ParserUtilities
  14. PackratParsers
  15. RegexParsers
  16. Parsers
  17. AnyRef
  18. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DataflowTests ()

Type Members

  1. type ?0

    Attributes
    abstract
    Definition Classes
    Suite

  2. type Elem = Char

    Definition Classes
    RegexParsers → Parsers

  3. type Input = Reader[Elem]

    Definition Classes
    Parsers

  4. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  5. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  6. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  7. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  8. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  9. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  10. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  11. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  12. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  13. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  14. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  15. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  16. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  17. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  18. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  19. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

  20. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

  21. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. def OnceParser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

    Definition Classes
    Parsers

  7. def Parser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T]

    Definition Classes
    Parsers

  8. def accept [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers

  9. def accept [ES] (es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers

  10. implicit def accept (e: Elem): Parser[Elem]

    Attributes
    implicit
    Definition Classes
    Parsers

  11. def acceptIf (p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

    Definition Classes
    Parsers

  12. def acceptMatch [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

    Definition Classes
    Parsers

  13. def acceptSeq [ES] (es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    Definition Classes
    Parsers

  14. def any : PackratParser[Char]

    Definition Classes
    ParserUtilities

  15. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  16. lazy val asgnStm : Parser[Assign]

    Definition Classes
    Parser

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  20. def assert (condition: Boolean): Unit

    Definition Classes
    Assertions

  21. lazy val blockStm : Parser[Block]

    Definition Classes
    Parser

  22. def chainl1 [T, U] (first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Definition Classes
    Parsers

  23. def chainl1 [T] (p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Definition Classes
    Parsers

  24. def chainr1 [T, U] (p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Definition Classes
    Parsers

  25. def checkargs (args: Array[String], emitter: Emitter): Array[String]

    Definition Classes
    CompilerBase

  26. def clone (): AnyRef

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

  27. def commit [T] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers

  28. def compile (args: Array[String], console: Console): String

    Definition Classes
    CompilerBase

  29. implicit def constToTupleFunction2 [A, B, R] (r: (A, B) ⇒ R): (~[A, B]) ⇒ R

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  30. implicit def constToTupleFunction3 [A, B, C, R] (r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  31. implicit def constToTupleFunction4 [A, B, C, D, R] (r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  32. implicit def constToTupleFunction5 [A, B, C, D, E, R] (r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  34. lazy val constrainedInt : PackratParser[Int]

    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    Assertions

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

  37. def driver (args: Array[String], console: Console, emitter: Emitter): Unit

    Definition Classes
    CompilerBase

  38. def elem (e: Elem): Parser[Elem]

    Definition Classes
    Parsers

  39. def elem (kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Definition Classes
    Parsers

  40. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  41. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  42. def err (msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers

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

    Attributes
    final
    Definition Classes
    Suite

  44. lazy val exp : Parser[String]

    Definition Classes
    Parser

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  47. def expectedTestCount (filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  48. def fail (cause: Throwable): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  50. def fail (message: String): Nothing

    Definition Classes
    Assertions

  51. def fail (): Nothing

    Definition Classes
    Assertions

  52. def failure (msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers

  53. def filetests (name: String, path: String, srcext: String, resext: String, optinext: Option[String] = None, indefault: String = "", argslist: List[Array[String]] = List (Array ())): 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
    TestCompiler

  54. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  56. def guard [T] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers

  57. def handleWhiteSpace (source: CharSequence, offset: Int): Int

    Attributes
    protected
    Definition Classes
    RegexParsers

  58. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  59. lazy val idn : Parser[String]

    Definition Classes
    Parser

  60. lazy val ifStm : Parser[If]

    Definition Classes
    Parser

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

    Attributes
    protected
    Definition Classes
    FunSuite

  62. implicit def info : Informer

    Attributes
    protected implicit
    Definition Classes
    FunSuite

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

    Definition Classes
    Assertions

  64. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  65. lazy val keyword : Parser[String]

    Definition Classes
    Parser

  66. var lastNoSuccess : NoSuccess

    Definition Classes
    Parsers

  67. implicit def literal (s: String): Parser[String]

    Attributes
    implicit
    Definition Classes
    RegexParsers

  68. def log [T] (p: ⇒ Parser[T])(name: String): Parser[T]

    Definition Classes
    Parsers

  69. def main (args: Array[String]): Unit

    Definition Classes
    CompilerBase

  70. def makeast (reader: Reader, filename: String, emitter: Emitter): Either[Stm, String]

    Definition Classes
    RegexCompiler → CompilerBase

  71. def memo [T] (p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers

  72. def mkList [T] : (~[T, List[T]]) ⇒ List[T]

    Definition Classes
    Parsers

  73. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  74. def nestedSuites : List[Suite]

    Definition Classes
    Suite → AbstractSuite

  75. def not [T] (p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers

  76. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  77. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  78. def opt [T] (p: ⇒ Parser[T]): Parser[Option[T]]

    Definition Classes
    Parsers

  79. def parse [T] (p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers

  80. def parse [T] (p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers

  81. def parse [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers

  82. def parseAll [T] (p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers

  83. def parseAll [T] (p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers

  84. def parseAll [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers

  85. implicit def parseResultToTuple2 [A, B] (p: Parser[~[A, B]]): PackratParser[(A, B)]

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  86. implicit def parseResultToTuple3 [A, B, C] (p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  87. implicit def parseResultToTuple4 [A, B, C, D] (p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  88. implicit def parseResultToTuple5 [A, B, C, D, E] (p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  89. implicit def parseResultToTuple6 [A, B, C, D, E, F] (p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]

    Attributes
    implicit
    Definition Classes
    ParserUtilities

  90. lazy val parser : PackratParser[Stm]

    Definition Classes
    Parser

  91. implicit def parser2packrat [T] (p: ⇒ Parser[T]): PackratParser[T]

    Attributes
    implicit
    Definition Classes
    PackratParsers

  92. def pending : PendingNothing

    Definition Classes
    Suite

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

    Definition Classes
    Suite

  94. def phrase [T] (p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers → Parsers

  95. def positioned [T <: Positional] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers

  96. def process (ast: Stm, console: Console, emitter: Emitter): Boolean

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

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

    Definition Classes
    Driver → Compiler → CompilerBase

  97. val prog : Block

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

    Attributes
    implicit
    Definition Classes
    RegexParsers

  99. def rep [T] (p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers

  100. def rep1 [T] (first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

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

    Definition Classes
    Parsers

  102. def rep1sep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers

  103. def repN [T] (num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers

  104. def repsep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers

  105. def result [T] (v: ⇒ T): Parser[T]

    Definition Classes
    ParserUtilities

  106. lazy val returnStm : Parser[Return]

    Definition Classes
    Parser

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

    Definition Classes
    FunSuite → Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

  111. val s1 : Assign

  112. val s2 : Assign

  113. val s3 : Assign

  114. val s4 : While

  115. val s41 : Block

  116. val s411 : Assign

  117. val s412 : Assign

  118. val s5 : Return

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

  120. def skipWhitespace : Boolean

    Definition Classes
    RegexParsers

  121. lazy val stm : PackratParser[Stm]

    Definition Classes
    Parser

  122. def stringToInt (s: String): Either[Int, String]

    Definition Classes
    ParserUtilities

  123. def success [T] (v: T): Parser[T]

    Definition Classes
    Parsers

  124. def suiteName : String

    Definition Classes
    Suite

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    FunSuite → Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite

  128. def testNames : Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  129. def testsFor (unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  130. def toString (): String

    Definition Classes
    AnyRef → Any

  131. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  133. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  134. lazy val whileStm : Parser[While]

    Definition Classes
    Parser

  135. val whiteSpace : Regex

    Attributes
    protected
    Definition Classes
    RegexParsers

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

    Definition Classes
    Assertions

  137. def withFixture (test: NoArgTest): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  138. def wrap [T, U] (p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

    Definition Classes
    ParserUtilities

Inherited from TestCompiler[Stm]

Inherited from FunSuite

Inherited from Suite

Inherited from Serializable

Inherited from AbstractSuite

Inherited from Assertions

Inherited from Driver

Inherited from Compiler[Stm]

Inherited from RegexCompiler[Stm]

Inherited from CompilerBase[Stm]

Inherited from Parser

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any