org.kiama.example.obr.tests

ObrRegressionTests

class ObrRegressionTests extends Driver with TestCompiler[ObrInt]

Obr regression tests: compilation to assembly.

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

Instance Constructors

  1. new ObrRegressionTests ()

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. case class Pos (s: String) extends Positional with Product with Serializable

  5. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  6. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  7. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers

  8. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  9. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  10. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers

  11. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  12. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  13. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers

  14. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  15. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  16. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers

  17. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  18. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  19. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers

  20. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

  21. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers

  22. 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. def assert (o: Option[String]): Unit

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  19. def assert (condition: Boolean): Unit

    Definition Classes
    Assertions

  20. lazy val catchclause : Parser[Catch]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Scan command line arguments to handle any compiler switches.

    Scan command line arguments to handle any compiler switches.

    Definition Classes
    Driver → CompilerBase

  25. def clone (): AnyRef

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

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

    Definition Classes
    Parsers

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

    Definition Classes
    CompilerBase

  28. lazy val conditional : Parser[IfStmt]

    Definition Classes
    SyntaxAnalysis

  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 constantdecl : Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

  35. lazy val constantdecls : Parser[List[Declaration]]

    Definition Classes
    SyntaxAnalysis

  36. lazy val constrainedInt : PackratParser[Int]

    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    Assertions

  38. lazy val declarations : Parser[List[Declaration]]

    Definition Classes
    SyntaxAnalysis

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

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

    Definition Classes
    CompilerBase

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

  43. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  44. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    ParserUtilities → Parsers

  46. var execFlag : Boolean

    Definition Classes
    Driver

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

    Attributes
    final
    Definition Classes
    Suite

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  50. def expectedTestCount (filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  51. lazy val expression : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  52. lazy val factor : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  53. def fail (cause: Throwable): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  55. def fail (message: String): Nothing

    Definition Classes
    Assertions

  56. def fail (): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    ParserUtilities → Parsers

  58. lazy val fielddecl : Parser[Identifier]

    Definition Classes
    SyntaxAnalysis

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

  60. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Parsers

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

    Attributes
    protected
    Definition Classes
    RegexParsers

  64. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  65. lazy val ident : PackratParser[Identifier]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    protected
    Definition Classes
    FunSuite

  67. implicit def info : Informer

    Attributes
    protected implicit
    Definition Classes
    FunSuite

  68. lazy val integer : PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    Assertions

  70. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  71. lazy val iteration : Parser[Statement]

    Definition Classes
    SyntaxAnalysis

  72. var lastNoSuccess : NoSuccess

    Definition Classes
    Parsers

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

    Attributes
    implicit
    Definition Classes
    RegexParsers

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

    Definition Classes
    Parsers

  75. lazy val lvalue : PackratParser[AssignNode]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    CompilerBase

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

    Definition Classes
    RegexCompiler → CompilerBase

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

    Definition Classes
    PackratParsers

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

    Definition Classes
    Parsers

  80. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  81. def nestedSuites : List[Suite]

    Definition Classes
    Suite → AbstractSuite

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

    Definition Classes
    Parsers

  83. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  84. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    Parsers

  86. lazy val optelseend : Parser[List[Statement]]

    Definition Classes
    SyntaxAnalysis

  87. lazy val parameterdecl : Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

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

  99. lazy val parser : Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    implicit
    Definition Classes
    PackratParsers

  101. def pending : PendingNothing

    Definition Classes
    Suite

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

    Definition Classes
    Suite

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

    Definition Classes
    PackratParsers → Parsers

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

    Definition Classes
    RegexParsers → Parsers

  105. def process (ast: ObrInt, console: Console, emitter: Emitter): Boolean

    Function to process the input that was parsed.

    Function to process the input that was parsed. console and emitter are used for input and output. Return true if everything worked, false otherwise.

    Definition Classes
    Driver → Compiler → CompilerBase

  106. lazy val program : Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    implicit
    Definition Classes
    RegexParsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

  114. val reservedWords : HashSet[String]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

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

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

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

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

  121. lazy val signed : PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

  122. lazy val simplexp : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  123. def skipWhitespace : Boolean

    Definition Classes
    RegexParsers

  124. var spillEnvirFlag : Boolean

    Definition Classes
    Driver

  125. var spillRISCAssemFlag : Boolean

    Definition Classes
    Driver

  126. var spillTargetTreeFlag : Boolean

    The following flags correspond to the command line arguments

    The following flags correspond to the command line arguments

    Definition Classes
    Driver

  127. lazy val statement : Parser[Statement]

    Definition Classes
    SyntaxAnalysis

  128. lazy val statementseq : Parser[List[Statement]]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    Parsers

  131. def suiteName : String

    Definition Classes
    Suite

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    FunSuite → Suite → AbstractSuite

  134. lazy val term : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    protected
    Definition Classes
    FunSuite

  136. def testNames : Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  137. def testsFor (unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  138. def toString (): String

    Definition Classes
    AnyRef → Any

  139. lazy val trycatch : Parser[TryStmt]

    Definition Classes
    SyntaxAnalysis

  140. val usage : String

    The usage message for an erroneous invocation.

    The usage message for an erroneous invocation.

    Definition Classes
    Driver

  141. lazy val variabledecl : Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

  142. lazy val variabledecls : Parser[List[Declaration]]

    Definition Classes
    SyntaxAnalysis

  143. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  145. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  146. val whiteSpace : Regex

    Definition Classes
    SyntaxAnalysis → RegexParsers

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

    Definition Classes
    Assertions

  148. def withFixture (test: NoArgTest): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

  149. def withPos (op: Parser[String]): Parser[Pos]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

Inherited from TestCompiler[ObrInt]

Inherited from FunSuite

Inherited from Suite

Inherited from Serializable

Inherited from AbstractSuite

Inherited from Assertions

Inherited from Driver

Inherited from Compiler[ObrInt]

Inherited from RegexCompiler[ObrInt]

Inherited from CompilerBase[ObrInt]

Inherited from SyntaxAnalysis

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any