class ReduceEvaluator in kiama.example.lambda2

kiama.example.lambda2

class ReduceEvaluator

[source: kiama/example/lambda2/ReduceEvaluator.scala]

class ReduceEvaluator: extends Reduce

Values and Variables inherited from Reduce
evals, beta, arithop

Values and Variables inherited from Rewriter
failure, id, eq, equal, issubterm, ispropersubterm, issuperterm, ispropersuperterm, isleaf, isinnernode

Method Summary
`override def`	reducesinlambdas : Boolean Whether this mechanism evaluates inside lambdas. Used for testing. Default: false.

Methods inherited from RewritingEvaluator
eval

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 Evaluator
substitute

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 reducesinlambdas : Boolean

Whether this mechanism evaluates inside lambdas. Used for testing. Default: false.