|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.Evaluator.Evaluator
CO-OPN Evaluator. This tool allows to evaluates ADT terms. It allows the evaluation of terms of CO-OPN specifications, as well as the evaluations inside particular CO-OPN modules. It is composed of a constructor, building the evaluator, by a method run, implementing the tool itself, and a method main. Hence, an evaluator can be started either from a command line, or by another CoopnTool. In this case, an evaluator is likely to by started as a new thread.
run
Field Summary | |
static java.lang.String |
TOOL
Evaluator tool name. |
static java.lang.String |
VERSION
Evaluator version. |
Constructor Summary | |
protected |
Evaluator(EvaluatorEnv env,
EvaluatorEnvMgr envMgr)
Simple constructor. |
Method Summary | |
CoopnEnv |
getEnv()
Get the environment. |
static Evaluator |
getTool(CoopnEnv env)
Creates a new evaluator, based on an existing environment, or null if the tool cannot be created. |
static Evaluator |
getTool(EvaluatorEnv env)
Creates a new evaluator, based on an existing environment, or null if the tool cannot be created. |
static void |
main(java.lang.String[] args)
Main program. |
void |
run()
Implementation of the evaluator. |
void |
show()
Show the tool's window, if the tool has its own GUI. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public static final java.lang.String VERSION
public static final java.lang.String TOOL
Constructor Detail |
protected Evaluator(EvaluatorEnv env, EvaluatorEnvMgr envMgr)
env
- the simple CoopnTools environmentMethod Detail |
public static Evaluator getTool(CoopnEnv env)
public static Evaluator getTool(EvaluatorEnv env)
public CoopnEnv getEnv()
getEnv
in interface CoopnTool
public void show()
show
in interface CoopnTool
public void run()
run
in interface java.lang.Runnable
public static void main(java.lang.String[] args)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |