trait TestBase in kiama.example.lambda

kiama.example.lambda

trait TestBase

[source: kiama/example/lambda/TestBase.scala]

trait TestBase: extends Parser with Generator with Evaluator

Basis for tests using the lambda calculus language. Includes access to the parser, generator and evaluator.

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 Generator
genNum, genIdn, genVar, genLeafExp

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

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 Generator
arbVar, genLamExp, genAppExp, genExp, arbExp

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 AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized

Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf