|
kiama 0.9.0 API
|
|
kiama/util/ParsingREPL.scala]
trait
ParsingREPL[T]
extends REPL with CharPackratParsers| Values and Variables inherited from CharParsers | |
| whitespace, layout, digit, letter, letterOrDigit |
| Values and Variables inherited from PackratParsers | |
| heads, LRStack |
| Values and Variables inherited from Parsers | |
| any |
| Method Summary | |
abstract def
|
parse
: Parser[T]
The parser to use to convert user input lines into values.
|
abstract def
|
process
(t : T) : Unit
Process a user input value.
|
def
|
processline
(line : java.lang.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.
|
| Methods inherited from CharParsers | |
| token, phrase, literal, regex, parse, parse, parse, parseAll, parseAll, parseAll |
| Methods inherited from PackratParsers | |
| rep1, memo |
| Methods inherited from Parsers | |
| Parser, success, failure, accept, acceptIf, opt, rep, rep1, repN, repsep, rep1sep, and, not |
| Methods inherited from REPL | |
| main, setup, prompt |
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
def
processline(line : java.lang.String) : Unit
|
kiama 0.9.0 API
|
|