org.kiama.example.obr.tests

ObrExecTests

class ObrExecTests extends Driver with TestCompiler[ObrInt]

Obr tests: compilation and execution.

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. ObrExecTests
  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 ObrExecTests ()

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. val enumExecDir : String

  44. val enumExecTests : List[(String, List[Int], Int)]

  45. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  46. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    ParserUtilities → Parsers

  48. val exceptionsExecDir : String

  49. val exceptionsExecTests : List[(String, List[Int], Int)]

  50. var execFlag : Boolean

    Definition Classes
    Driver

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

    Attributes
    final
    Definition Classes
    Suite

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  54. def expectedTestCount (filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  55. lazy val expression : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  56. lazy val factor : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  57. def fail (cause: Throwable): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  59. def fail (message: String): Nothing

    Definition Classes
    Assertions

  60. def fail (): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    ParserUtilities → Parsers

  62. lazy val fielddecl : Parser[Identifier]

    Definition Classes
    SyntaxAnalysis

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

  64. def finalize (): Unit

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

  65. val forExecDir : String

  66. val forExecTests : List[(String, List[Int], Int)]

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Parsers

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

    Attributes
    protected
    Definition Classes
    RegexParsers

  70. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  71. lazy val ident : PackratParser[Identifier]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    protected
    Definition Classes
    FunSuite

  73. implicit def info : Informer

    Attributes
    protected implicit
    Definition Classes
    FunSuite

  74. lazy val integer : PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    Assertions

  76. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  77. lazy val iteration : Parser[Statement]

    Definition Classes
    SyntaxAnalysis

  78. var lastNoSuccess : NoSuccess

    Definition Classes
    Parsers

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

    Attributes
    implicit
    Definition Classes
    RegexParsers

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

    Definition Classes
    Parsers

  81. lazy val lvalue : PackratParser[AssignNode]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    CompilerBase

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

    Definition Classes
    RegexCompiler → CompilerBase

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

    Definition Classes
    PackratParsers

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

    Definition Classes
    Parsers

  86. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  87. def nestedSuites : List[Suite]

    Definition Classes
    Suite → AbstractSuite

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

    Definition Classes
    Parsers

  89. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  90. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    Parsers

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

    Definition Classes
    SyntaxAnalysis

  93. lazy val parameterdecl : Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

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

  105. lazy val parser : Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    implicit
    Definition Classes
    PackratParsers

  107. def pending : PendingNothing

    Definition Classes
    Suite

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

    Definition Classes
    Suite

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

    Definition Classes
    PackratParsers → Parsers

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

    Definition Classes
    RegexParsers → Parsers

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

  112. lazy val program : Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    implicit
    Definition Classes
    RegexParsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

  120. val reservedWords : HashSet[String]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

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

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

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

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

  127. lazy val signed : PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

  128. lazy val simplexp : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  129. def skipWhitespace : Boolean

    Definition Classes
    RegexParsers

  130. var spillEnvirFlag : Boolean

    Definition Classes
    Driver

  131. var spillRISCAssemFlag : Boolean

    Definition Classes
    Driver

  132. var spillTargetTreeFlag : Boolean

    The following flags correspond to the command line arguments

    The following flags correspond to the command line arguments

    Definition Classes
    Driver

  133. lazy val statement : Parser[Statement]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    Parsers

  137. def suiteName : String

    Definition Classes
    Suite

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    FunSuite → Suite → AbstractSuite

  140. lazy val term : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    protected
    Definition Classes
    FunSuite

  142. def testNames : Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  143. def testsFor (unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  144. def toString (): String

    Definition Classes
    AnyRef → Any

  145. lazy val trycatch : Parser[TryStmt]

    Definition Classes
    SyntaxAnalysis

  146. val usage : String

    The usage message for an erroneous invocation.

    The usage message for an erroneous invocation.

    Definition Classes
    Driver

  147. lazy val variabledecl : Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    SyntaxAnalysis

  149. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  151. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  152. val whiteSpace : Regex

    Definition Classes
    SyntaxAnalysis → RegexParsers

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

    Definition Classes
    Assertions

  154. def withFixture (test: NoArgTest): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

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

    Definition Classes
    SyntaxAnalysis

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