org.kiama.example.prolog

SyntaxAnalysis

class SyntaxAnalysis extends PositionedParserUtilities

Module containing parsers for Prolog.

Linear Supertypes
PositionedParserUtilities, ParserUtilities, PackratParsers, RegexParsers, Parsers, AnyRef, Any
Known Subclasses
InterpreterTests, Main, ParsingTests, SemanticTestDriver, SemanticTests
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. SyntaxAnalysis
  2. PositionedParserUtilities
  3. ParserUtilities
  4. PackratParsers
  5. RegexParsers
  6. Parsers
  7. AnyRef
  8. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SyntaxAnalysis()

Type Members

  1. type Elem = Char

    Definition Classes
    RegexParsers → Parsers

  2. type Input = Reader[Elem]

    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 atom: Parser[String]

  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. lazy val clause: Parser[Clause with Serializable]

  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. implicit def constToTupleFunction2[A, B, R](r: (A, B) ⇒ R): (~[A, B]) ⇒ R

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

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

  28. lazy val constrainedInt: PackratParser[Int]

    Definition Classes
    ParserUtilities

  29. lazy val cut: Parser[Cut]

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    AnyRef

  33. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    ParserUtilities → Parsers

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

    Definition Classes
    ParserUtilities → Parsers

  36. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    Parsers

  39. def handleWhiteSpace(in: Input): Int

    Definition Classes
    ParserUtilities

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

    Attributes
    protected
    Definition Classes
    RegexParsers

  41. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  42. lazy val integer: Parser[Integer]

  43. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    ParserUtilities

  45. var lastNoSuccess: NoSuccess

    Definition Classes
    Parsers

  46. lazy val list: Parser[Literal]

  47. lazy val listterms: PackratParser[Literal]

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

    Definition Classes
    RegexParsers

  49. lazy val literal: PackratParser[Literal]

  50. lazy val literals: Parser[List[Literal]]

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

    Definition Classes
    Parsers

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

    Definition Classes
    PackratParsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Parsers

  56. final def notify(): Unit

    Definition Classes
    AnyRef

  57. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    Parsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    PositionedParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    ParserUtilities

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

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

    Definition Classes
    ParserUtilities

  72. lazy val parser: PackratParser[Program]

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

    Definition Classes
    PackratParsers

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

    Definition Classes
    PackratParsers → Parsers

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

    Definition Classes
    RegexParsers → Parsers

  76. lazy val program: Parser[Program]

  77. lazy val query: Parser[Literal]

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

    Definition Classes
    RegexParsers

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    Parsers

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

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    Parsers

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

    Definition Classes
    ParserUtilities

  87. def skipWhitespace: Boolean

    Definition Classes
    RegexParsers

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

    Definition Classes
    ParserUtilities

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

    Definition Classes
    Parsers

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

    Definition Classes
    AnyRef

  91. lazy val term: Parser[Term]

  92. lazy val terms: Parser[List[Term]]

  93. def toString(): String

    Definition Classes
    AnyRef → Any

  94. lazy val varr: Parser[String]

  95. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Definition Classes
    AnyRef
    Annotations
    @throws()

  98. val whiteSpace: Regex

    Attributes
    protected
    Definition Classes
    RegexParsers

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

    Definition Classes
    ParserUtilities

Inherited from PositionedParserUtilities

Inherited from ParserUtilities

Inherited from PackratParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from AnyRef

Inherited from Any