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
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. SemanticDriver
  2. Compiler
  3. RegexCompiler
  4. CompilerBase
  5. SyntaxAnalysis
  6. PositionedParserUtilities
  7. ParserUtilities
  8. PackratParsers
  9. RegexParsers
  10. Parsers
  11. AnyRef
  12. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SemanticDriver()

Type Members

  1. type Elem = Char

    Definition Classes
    RegexParsers → Parsers
  2. case class Error extends NoSuccess with Product with Serializable

    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable

    Definition Classes
    Parsers
  4. type Input = Reader[Elem]

    Definition Classes
    Parsers
  5. sealed abstract class NoSuccess extends ParseResult[Nothing]

    Definition Classes
    Parsers
  6. trait OnceParser[+T] extends Parser[T]

    Definition Classes
    Parsers
  7. abstract class PackratParser[+T] extends scala.util.parsing.combinator.PackratParsers.Parser[T]

    Definition Classes
    PackratParsers
  8. class PackratReader[+T] extends Reader[T]

    Definition Classes
    PackratParsers
  9. sealed abstract class ParseResult[+T] extends AnyRef

    Definition Classes
    Parsers
  10. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]

    Definition Classes
    Parsers
  11. case class Pos(s: String) extends Positioned with Product with Serializable

    Definition Classes
    SyntaxAnalysis
  12. case class Success[+T] extends ParseResult[T] with Product with Serializable

    Definition Classes
    Parsers
  13. case class ~[+a, +b] extends Product with Serializable

    Definition Classes
    Parsers

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[java.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. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  38. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  39. def err(msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers
  40. lazy val expression: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis
  41. lazy val factor: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis
  42. def failure(msg: String): Parser[Nothing]

    Definition Classes
    ParserUtilities → Parsers
  43. lazy val fielddecl: Parser[Identifier]

    Definition Classes
    SyntaxAnalysis
  44. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  45. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  46. def guard[T](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  47. def handleWhiteSpace(in: Input): Int

    Definition Classes
    ParserUtilities
  48. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    Attributes
    protected
    Definition Classes
    RegexParsers
  49. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  50. lazy val ident: PackratParser[Identifier]

    Definition Classes
    SyntaxAnalysis
  51. lazy val integer: PackratParser[Int]

    Definition Classes
    SyntaxAnalysis
  52. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  53. lazy val iteration: Parser[Statement]

    Definition Classes
    SyntaxAnalysis
  54. def keywords(ext: Regex, kws: List[String]): Parser[String]

    Definition Classes
    ParserUtilities
  55. implicit def literal(s: String): Parser[String]

    Definition Classes
    RegexParsers
  56. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    Definition Classes
    Parsers
  57. lazy val lvalue: PackratParser[AssignNode]

    Definition Classes
    SyntaxAnalysis
  58. def main(args: Array[String]): Unit

    Definition Classes
    CompilerBase
  59. def makeast(reader: Reader, filename: String, emitter: Emitter): Either[ObrInt, String]

    Definition Classes
    RegexCompiler → CompilerBase
  60. def memo[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  61. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    Definition Classes
    Parsers
  62. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  63. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    Definition Classes
    Parsers
  64. final def notify(): Unit

    Definition Classes
    AnyRef
  65. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  66. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    Definition Classes
    Parsers
  67. lazy val optelseend: Parser[List[Statement]]

    Definition Classes
    SyntaxAnalysis
  68. lazy val parameterdecl: Parser[Declaration]

    Definition Classes
    SyntaxAnalysis
  69. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers
  70. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

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

    Definition Classes
    RegexParsers
  72. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    Definition Classes
    RegexParsers
  73. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

    Definition Classes
    RegexParsers
  74. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    Definition Classes
    RegexParsers
  75. def parseAndPosition[T](f: (Input) ⇒ ParseResult[T], in: Input): ParseResult[T]

    Definition Classes
    PositionedParserUtilities
  76. implicit def parseResultToTuple2[A, B](p: Parser[~[A, B]]): PackratParser[(A, B)]

    Definition Classes
    ParserUtilities
  77. implicit def parseResultToTuple3[A, B, C](p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

    Definition Classes
    ParserUtilities
  78. implicit def parseResultToTuple4[A, B, C, D](p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

    Definition Classes
    ParserUtilities
  79. implicit def parseResultToTuple5[A, B, C, D, E](p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

    Definition Classes
    ParserUtilities
  80. 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
  81. def parseString[T](parser: Parser[T], str: String): Either[T, String]

    Definition Classes
    ParserUtilities
  82. lazy val parser: Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis
  83. implicit def parser2packrat[T](p: ⇒ Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers
  84. def phrase[T](p: Parser[T]): PackratParser[T]

    Definition Classes
    PackratParsers → Parsers
  85. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    RegexParsers → Parsers
  86. 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
  87. lazy val program: Parser[ObrInt]

    Definition Classes
    SyntaxAnalysis
  88. implicit def regex(r: Regex): Parser[String]

    Definition Classes
    RegexParsers
  89. def regexnows(r: Regex): Parser[String]

    Definition Classes
    ParserUtilities
  90. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  91. 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.

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

    Definition Classes
    Parsers
  93. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  94. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  95. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    Definition Classes
    Parsers
  96. val reservedWords: HashSet[String]

    Definition Classes
    SyntaxAnalysis
  97. def result[T](v: ⇒ T): Parser[T]

    Definition Classes
    ParserUtilities
  98. lazy val signed: PackratParser[Int]

    Definition Classes
    SyntaxAnalysis
  99. lazy val simplexp: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis
  100. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers
  101. lazy val statement: Parser[Statement]

    Definition Classes
    SyntaxAnalysis
  102. lazy val statementseq: Parser[List[Statement]]

    Definition Classes
    SyntaxAnalysis
  103. def stringToInt(s: String): Either[Int, String]

    Definition Classes
    ParserUtilities
  104. def success[T](v: T): Parser[T]

    Definition Classes
    Parsers
  105. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  106. lazy val term: PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis
  107. def toString(): String

    Definition Classes
    AnyRef → Any
  108. lazy val trycatch: Parser[TryStmt]

    Definition Classes
    SyntaxAnalysis
  109. val usage: String

    The usage message for an erroneous invocation.

  110. lazy val variabledecl: Parser[Declaration]

    Definition Classes
    SyntaxAnalysis
  111. lazy val variabledecls: Parser[List[Declaration]]

    Definition Classes
    SyntaxAnalysis
  112. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  113. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  114. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  115. val whiteSpace: Regex

    Definition Classes
    SyntaxAnalysis → RegexParsers
  116. def withPos(op: Parser[String]): Parser[Pos]

    Definition Classes
    SyntaxAnalysis
  117. def wrap[T, U](p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

    Definition Classes
    ParserUtilities

Deprecated Value Members

  1. def lastNoSuccess: NoSuccess

    Definition Classes
    Parsers
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0

  2. def lastNoSuccess_=(x: NoSuccess): Unit

    Definition Classes
    Parsers
    Annotations
    @deprecated
    Deprecated

    (Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0

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

No Group