public class EvaluatorManager
extends java.lang.Object
Constructor and Description |
---|
EvaluatorManager(Evaluator primaryEvaluator) |
Modifier and Type | Method and Description |
---|---|
Evaluator |
getCurrentEvaluator() |
java.util.List<Evaluator> |
getEvaluatorList() |
Evaluator |
getPrimaryEvaluator() |
java.util.List<javax.swing.JMenu> |
getServerMenuList() |
static void |
initEvaluatorManager(EvaluatorManager manager,
java.util.List<java.lang.String> urls) |
void |
notifyUpdate() |
void |
setCurrentEvaluator(Evaluator currentEvaluator) |
void |
setPrimaryEvaluator(Evaluator primaryEvaluator) |
public EvaluatorManager(Evaluator primaryEvaluator)
public Evaluator getPrimaryEvaluator()
public void setPrimaryEvaluator(Evaluator primaryEvaluator)
public Evaluator getCurrentEvaluator()
public void setCurrentEvaluator(Evaluator currentEvaluator)
public java.util.List<Evaluator> getEvaluatorList()
public java.util.List<javax.swing.JMenu> getServerMenuList()
public void notifyUpdate()
public static void initEvaluatorManager(EvaluatorManager manager, java.util.List<java.lang.String> urls)