kiama 0.9.0 API
kiama.example.lambda

object Lambda
[source: kiama/example/lambda/Lambda.scala]
object Lambda
extends ParsingREPL[Exp] with Parser with Evaluator
A read-eval-print loop for evaluation of lambda calculus expressions.
Values and Variables inherited from Evaluator
xgc_reduction, normal
Values and Variables inherited from Rewriter
failure, id, eq, equal, issubterm, ispropersubterm, issuperterm, ispropersuperterm, isleaf, isinnernode
Values and Variables inherited from Parser
parse, exp, factor, integer, variable, idn
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
def process (e : Exp) : Unit
Process a user input value.
override def prompt : java.lang.String
Define the prompt (default: "> ").
override def setup : Unit
Carry out setup processing for the REPL. Default: do nothing.
Methods inherited from Evaluator
fv
Methods inherited from Rewriter
strategyf, strategy, rulef, rule, termToStrategy, queryf, query, term, para, child, all, one, some, rewrite, collects, collectl, count, attempt, repeat, repeat, repeat, repeat1, repeat1, repeatuntil, loop, loopnot, doloop, loopiter, loopiter, not, where, test, breadthfirst, topdown, topdownS, bottomup, bottomupS, downup, downup, downupS, downupS, dontstop, oncetd, oncebu, sometd, somebu, outermost, innermost, innermost2, reduce, alltd, alldownup2, alltdfold, somedownup, manybu, manytd, leaves, leaves, everywherebu, everywheretd, restore, restorealways, lastly, ior, or, and
Methods inherited from ParsingREPL
processline
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
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
override def setup : Unit
Carry out setup processing for the REPL. Default: do nothing.
override def prompt : java.lang.String
Define the prompt (default: "> ").
def process(e : Exp) : Unit
Process a user input value.
Overrides
ParsingREPL.process
kiama 0.9.0 API