org.kiama.util

ParsingREPL

trait ParsingREPL [T] extends REPL with RegexParsers

A REPL that parses its input lines into a value (such as an abstract syntax tree), then processes them.

Linear Supertypes
RegexParsers, Parsers, REPL, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ParsingREPL
  2. RegexParsers
  3. Parsers
  4. REPL
  5. AnyRef
  6. Any
Visibility
  1. Public
  2. All

Type Members

  1. type Elem = Char

    Definition Classes
    RegexParsers → Parsers
  2. type Input = Reader[Elem]

    Definition Classes
    Parsers

Abstract Value Members

  1. def process (t: T): Unit

    Process a user input value.

    Process a user input value.

    Attributes
    abstract
  2. def start : Parser[T]

    The parser to use to convert user input lines into values.

    The parser to use to convert user input lines into values.

    Attributes
    abstract

Concrete 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 asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  15. def chainl1 [T, U] (first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  16. def chainl1 [T] (p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    Definition Classes
    Parsers
  17. def chainr1 [T, U] (p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    Definition Classes
    Parsers
  18. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  19. def commit [T] (p: ⇒ Parser[T]): Parser[T]

    Definition Classes
    Parsers
  20. def elem (e: Elem): Parser[Elem]

    Definition Classes
    Parsers
  21. def elem (kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    Definition Classes
    Parsers
  22. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  23. def equals (arg0: Any): Boolean

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

    Definition Classes
    Parsers
  25. def failure (msg: String): Parser[Nothing]

    Definition Classes
    Parsers
  26. def finalize (): Unit

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

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

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

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

    Definition Classes
    AnyRef → Any
  31. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  32. var lastNoSuccess : NoSuccess

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

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

    Definition Classes
    Parsers
  35. def main (args: Array[String]): Unit

    Read lines from the console and pass non-null ones to processline.

    Read lines from the console and pass non-null ones to processline. Continue until processline returns false. The command-line arguments are passed to the setup function. Calls setup before entering the loop and prompt each time input is about to be read.

    Definition Classes
    REPL
  36. def mkList [T] : (~[T, List[T]]) ⇒ List[T]

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

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

    Definition Classes
    Parsers
  39. def notify (): Unit

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

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

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

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

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

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

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

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

    Definition Classes
    RegexParsers
  48. def phrase [T] (p: Parser[T]): Parser[T]

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

    Definition Classes
    RegexParsers → Parsers
  50. def processline (line: String): Unit

    Process a user input line by parsing it to get a value of type T, then passing it to the type-specific process.

    Process a user input line by parsing it to get a value of type T, then passing it to the type-specific process.

    Definition Classes
    ParsingREPLREPL
  51. def prompt (): String

    Define the prompt (default: "> ").

    Define the prompt (default: "> ").

    Definition Classes
    REPL
  52. implicit def regex (r: Regex): Parser[String]

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

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

    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

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

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

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

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

    Definition Classes
    Parsers
  59. def setup (args: Array[String]): Boolean

    Carry out setup processing for the REPL.

    Carry out setup processing for the REPL. Default: do nothing.

    Definition Classes
    REPL
  60. def skipWhitespace : Boolean

    Definition Classes
    RegexParsers
  61. def success [T] (v: T): Parser[T]

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

    Attributes
    final
    Definition Classes
    AnyRef
  63. def toString (): String

    Definition Classes
    AnyRef → Any
  64. def wait (): Unit

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

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

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

    Attributes
    protected
    Definition Classes
    RegexParsers

Inherited from RegexParsers

Inherited from Parsers

Inherited from REPL

Inherited from AnyRef

Inherited from Any