All Packages Class Hierarchy This Package Previous Next Index
Class Jaja.EvaluationAdaptor
java.lang.Object
|
+----Jaja.Jaja
|
+----Jaja.EvaluationAdaptor
- public class EvaluationAdaptor
- extends Jaja
- implements EvaluationListener
-
EvaluationAdaptor()
-
-
evaluationAborted(Evaluation, Anomaly)
-
-
evaluationContinuing(Evaluation, EvalAble)
-
-
evaluationFinished(Evaluation, Value)
-
EvaluationAdaptor
public EvaluationAdaptor()
evaluationFinished
public void evaluationFinished(Evaluation ev,
Value v)
evaluationContinuing
public void evaluationContinuing(Evaluation ev,
EvalAble ea)
evaluationAborted
public void evaluationAborted(Evaluation ev,
Anomaly v)
All Packages Class Hierarchy This Package Previous Next Index