org.kiama.example.obr

SemanticDriver

class SemanticDriver extends SyntaxAnalysis with Compiler[ObrInt]

A driver which parses a program file and runs the semantic analyser.

Linear Supertypes
Compiler[ObrInt], RegexCompiler[ObrInt], CompilerBase[ObrInt], SyntaxAnalysis, PositionedParserUtilities, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Known Subclasses
ObrSemanticTests
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SemanticDriver
  2. Compiler
  3. RegexCompiler
  4. CompilerBase
  5. SyntaxAnalysis
  6. PositionedParserUtilities
  7. ParserUtilities
  8. PackratParsers
  9. RegexParsers
  10. Parsers
  11. AnyRef
  12. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SemanticDriver()

Type Members

  1. type Elem = Char

    Definition Classes
    RegexParsers → Parsers

  2. type Input = Reader[Elem]

    Definition Classes
    Parsers

  3. case class Pos(s: String) extends Positioned with Product with Serializable

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

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

    Definition Classes
    PositionedParserUtilities → Parsers

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

    Definition Classes
    PositionedParserUtilities → 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]

    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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  16. lazy val catchclause: Parser[Catch]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    CompilerBase

  21. def clone(): AnyRef

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

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

    Definition Classes
    Parsers

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

    Definition Classes
    CompilerBase

  24. lazy val conditional: Parser[IfStmt]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

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

  30. lazy val constantdecl: Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    SyntaxAnalysis

  32. lazy val constrainedInt: PackratParser[Int]

    Definition Classes
    ParserUtilities

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

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    CompilerBase

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

  37. def encoding: String

    Definition Classes
    CompilerBase

  38. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  39. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    ParserUtilities → Parsers

  41. lazy val expression: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  42. lazy val factor: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities → Parsers

  44. lazy val fielddecl: Parser[Identifier]

    Definition Classes
    SyntaxAnalysis

  45. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Parsers

  48. def handleWhiteSpace(in: Input): Int

    Definition Classes
    ParserUtilities

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

    Attributes
    protected
    Definition Classes
    RegexParsers

  50. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  51. lazy val ident: PackratParser[Identifier]

    Definition Classes
    SyntaxAnalysis

  52. lazy val integer: PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

  53. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  54. lazy val iteration: Parser[Statement]

    Definition Classes
    SyntaxAnalysis

  55. def keywords(ext: Regex, kws: List[String]): Parser[String]

    Definition Classes
    ParserUtilities

  56. var lastNoSuccess: NoSuccess

    Definition Classes
    Parsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    Parsers

  59. lazy val lvalue: PackratParser[AssignNode]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    CompilerBase

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

    Definition Classes
    RegexCompiler → CompilerBase

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

    Definition Classes
    PackratParsers

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

    Definition Classes
    Parsers

  64. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    Parsers

  66. final def notify(): Unit

    Definition Classes
    AnyRef

  67. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    Parsers

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

    Definition Classes
    SyntaxAnalysis

  70. lazy val parameterdecl: Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

  77. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]

    Definition Classes
    PositionedParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

  83. def parseString[T](parser: Parser[T], str: String): Either[T, String]

    Definition Classes
    ParserUtilities

  84. lazy val parser: Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    PackratParsers

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

    Definition Classes
    PackratParsers → Parsers

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

    Definition Classes
    RegexParsers → Parsers

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

  89. lazy val program: Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    RegexParsers

  91. def regexnows(r: Regex): Parser[String]

    Definition Classes
    ParserUtilities

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

    Definition Classes
    Parsers

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

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

  98. val reservedWords: HashSet[String]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

  100. lazy val signed: PackratParser[Int]

    Definition Classes
    SyntaxAnalysis

  101. lazy val simplexp: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  102. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers

  103. lazy val statement: Parser[Statement]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    Parsers

  107. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  108. lazy val term: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis

  109. def toString(): String

    Definition Classes
    AnyRef → Any

  110. lazy val trycatch: Parser[TryStmt]

    Definition Classes
    SyntaxAnalysis

  111. val usage: String

    The usage message for an erroneous invocation.

  112. lazy val variabledecl: Parser[Declaration]

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    SyntaxAnalysis

  114. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

  116. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

  117. val whiteSpace: Regex

    Definition Classes
    SyntaxAnalysis → RegexParsers

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

    Definition Classes
    SyntaxAnalysis

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

    Definition Classes
    ParserUtilities

Inherited from Compiler[ObrInt]

Inherited from RegexCompiler[ObrInt]

Inherited from CompilerBase[ObrInt]

Inherited from SyntaxAnalysis

Inherited from PositionedParserUtilities

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any