org.kiama.example.obr.tests

ObrSemanticTests

class ObrSemanticTests extends SemanticDriver with TestCompiler[ObrInt]

Obr semantic analysis tests.

Annotations
@RunWith()
Linear Supertypes
TestCompiler[ObrInt], FunSuite, Suite, Serializable, AbstractSuite, Assertions, SemanticDriver, 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. ObrSemanticTests
  2. TestCompiler
  3. FunSuite
  4. Suite
  5. Serializable
  6. AbstractSuite
  7. Assertions
  8. SemanticDriver
  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 ObrSemanticTests ()

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]

    Definition Classes
    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. def execute (testName: String, configMap: Map[String, Any], color: Boolean, durations: Boolean, shortstacks: Boolean, fullstacks: Boolean, stats: Boolean): Unit

    Attributes
    final
    Definition Classes
    Suite

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

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  49. def expectedTestCount (filter: Filter): Int

    Definition Classes
    Suite → AbstractSuite

  50. lazy val expression : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  51. lazy val factor : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  52. def fail (cause: Throwable): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    Assertions

  54. def fail (message: String): Nothing

    Definition Classes
    Assertions

  55. def fail (): Nothing

    Definition Classes
    Assertions

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

    Definition Classes
    ParserUtilities → Parsers

  57. lazy val fielddecl : Parser[Identifier]

    Definition Classes
    SyntaxAnalysis

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

  59. def finalize (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Parsers

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

    Attributes
    protected
    Definition Classes
    RegexParsers

  63. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  64. lazy val ident : PackratParser[Identifier]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    protected
    Definition Classes
    FunSuite

  66. implicit def info : Informer

    Attributes
    protected implicit
    Definition Classes
    FunSuite

  67. lazy val integer : PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    Assertions

  69. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  70. lazy val iteration : Parser[Statement]

    Definition Classes
    SyntaxAnalysis

  71. var lastNoSuccess : NoSuccess

    Definition Classes
    Parsers

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

    Attributes
    implicit
    Definition Classes
    RegexParsers

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

    Definition Classes
    Parsers

  74. lazy val lvalue : PackratParser[AssignNode]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    CompilerBase

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

    Definition Classes
    RegexCompiler → CompilerBase

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

    Definition Classes
    PackratParsers

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

    Definition Classes
    Parsers

  79. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  80. def nestedSuites : List[Suite]

    Definition Classes
    Suite → AbstractSuite

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

    Definition Classes
    Parsers

  82. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  83. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    Parsers

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

    Definition Classes
    SyntaxAnalysis

  86. lazy val parameterdecl : Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities

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

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

  98. lazy val parser : Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    implicit
    Definition Classes
    PackratParsers

  100. def pending : PendingNothing

    Definition Classes
    Suite

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

    Definition Classes
    Suite

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

    Definition Classes
    PackratParsers → Parsers

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

    Definition Classes
    RegexParsers → Parsers

  104. 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
    SemanticDriver → Compiler → CompilerBase

  105. lazy val program : Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    implicit
    Definition Classes
    RegexParsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

  113. val reservedWords : HashSet[String]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

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

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

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

    Attributes
    protected
    Definition Classes
    FunSuite → Suite → AbstractSuite

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

  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. lazy val signed : PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

  121. lazy val simplexp : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  122. def skipWhitespace : Boolean

    Definition Classes
    RegexParsers

  123. lazy val statement : Parser[Statement]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    Parsers

  127. def suiteName : String

    Definition Classes
    Suite

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

    Attributes
    final
    Definition Classes
    AnyRef

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

    Definition Classes
    FunSuite → Suite → AbstractSuite

  130. lazy val term : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

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

    Attributes
    protected
    Definition Classes
    FunSuite

  132. def testNames : Set[String]

    Definition Classes
    FunSuite → Suite → AbstractSuite

  133. def testsFor (unit: Unit): Unit

    Attributes
    protected
    Definition Classes
    FunSuite

  134. def toString (): String

    Definition Classes
    AnyRef → Any

  135. lazy val trycatch : Parser[TryStmt]

    Definition Classes
    SyntaxAnalysis

  136. val usage : String

    The usage message for an erroneous invocation.

    The usage message for an erroneous invocation.

    Definition Classes
    SemanticDriver

  137. lazy val variabledecl : Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    SyntaxAnalysis

  139. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  141. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  142. val whiteSpace : Regex

    Definition Classes
    SyntaxAnalysis → RegexParsers

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

    Definition Classes
    Assertions

  144. def withFixture (test: NoArgTest): Unit

    Attributes
    protected
    Definition Classes
    Suite → AbstractSuite

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

    Definition Classes
    SyntaxAnalysis

  146. 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 SemanticDriver

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