kiama 0.9.0 API
kiama.example.lambda2

object Evaluators
[source: kiama/example/lambda2/Evaluators.scala]
object Evaluators
extends AnyRef
Interface to switchable evaluators for the lambda2 language. Enables a client to select an evaluation mechanism by name and access the evaluator for that mechanism.
Value Summary
var evaluator : Reduce
The current evaluation mechanism.
var mechanism : java.lang.String
The name of the current evaluation mechanism (default: "reduce")
val mechanisms : scala.collection.Set[java.lang.String]
Return the names of the available evaluation mechanisms.
Method Summary
def setEvaluator (mech : java.lang.String) : Boolean
Change the current evaluation mechanism to that denoted by mech if it is a legal one, otherwise do nothing. Returns whether the change could be made or 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
Value Details
val mechanisms : scala.collection.Set[java.lang.String]
Return the names of the available evaluation mechanisms.
var mechanism : java.lang.String
The name of the current evaluation mechanism (default: "reduce")
var evaluator : Reduce
The current evaluation mechanism.
Method Details
def setEvaluator(mech : java.lang.String) : Boolean
Change the current evaluation mechanism to that denoted by mech if it is a legal one, otherwise do nothing. Returns whether the change could be made or not.
kiama 0.9.0 API