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, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SemanticDriver
  2. Compiler
  3. RegexCompiler
  4. CompilerBase
  5. SyntaxAnalysis
  6. ParserUtilities
  7. PackratParsers
  8. RegexParsers
  9. Parsers
  10. AnyRef
  11. 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 Positional with Product with Serializable

  4. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers
  5. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers
  6. type _$4

    Attributes
    abstract
    Definition Classes
    PackratParsers
  7. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers
  8. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers
  9. type _$5

    Attributes
    abstract
    Definition Classes
    PackratParsers
  10. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers
  11. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers
  12. type _$6

    Attributes
    abstract
    Definition Classes
    PackratParsers
  13. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers
  14. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers
  15. type _$7

    Attributes
    abstract
    Definition Classes
    PackratParsers
  16. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers
  17. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers
  18. type _$8

    Attributes
    abstract
    Definition Classes
    PackratParsers
  19. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers
  20. type _$9

    Attributes
    abstract
    Definition Classes
    PackratParsers
  21. 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. 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

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

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

    Attributes
    implicit
    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

    Attributes
    implicit
    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

    Attributes
    implicit
    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 eq (arg0: AnyRef): Boolean

    Attributes
    final
    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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  45. def getClass (): java.lang.Class[_]

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

    Definition Classes
    Parsers
  47. def handleWhiteSpace (source: CharSequence, offset: Int): Int

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

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

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

    Definition Classes
    SyntaxAnalysis
  51. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  52. lazy val iteration : Parser[Statement]

    Definition Classes
    SyntaxAnalysis
  53. var lastNoSuccess : NoSuccess

    Definition Classes
    Parsers
  54. implicit def literal (s: String): Parser[String]

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

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

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

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

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

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

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

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

    Definition Classes
    Parsers
  63. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  64. def notifyAll (): Unit

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

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

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

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

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

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

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

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

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

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

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

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

    Attributes
    implicit
    Definition Classes
    ParserUtilities
  77. 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
  78. 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
  79. lazy val parser : Parser[ObrInt]

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

    Attributes
    implicit
    Definition Classes
    PackratParsers
  81. def phrase [T] (p: Parser[T]): PackratParser[T]

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

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

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

    Attributes
    implicit
    Definition Classes
    RegexParsers
  86. def rep [T] (p: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
  87. def rep1 [T] (first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

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

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

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

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

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

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

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

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

    Definition Classes
    SyntaxAnalysis
  96. def skipWhitespace : Boolean

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

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

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

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

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

    Attributes
    final
    Definition Classes
    AnyRef
  102. lazy val term : PackratParser[Expression]

    Definition Classes
    SyntaxAnalysis
  103. def toString (): String

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

    Definition Classes
    SyntaxAnalysis
  105. val usage : String

    The usage message for an erroneous invocation.

  106. lazy val variabledecl : Parser[Declaration]

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

    Definition Classes
    SyntaxAnalysis
  108. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  111. val whiteSpace : Regex

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

    Definition Classes
    SyntaxAnalysis
  113. 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 ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any