ConForM.CoopnTools.Evaluator
Class Evaluator

java.lang.Object
  |
  +--ConForM.CoopnTools.Evaluator.Evaluator
All Implemented Interfaces:
CoopnTool, java.lang.Runnable

public class Evaluator
extends java.lang.Object
implements CoopnTool

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.

See Also:
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

VERSION

public static final java.lang.String VERSION
Evaluator version.

TOOL

public static final java.lang.String TOOL
Evaluator tool name.
Constructor Detail

Evaluator

protected Evaluator(EvaluatorEnv env,
                    EvaluatorEnvMgr envMgr)
Simple constructor.
Parameters:
env - the simple CoopnTools environment
Method Detail

getTool

public static Evaluator getTool(CoopnEnv env)
Creates a new evaluator, based on an existing environment, or null if the tool cannot be created.

getTool

public static Evaluator getTool(EvaluatorEnv env)
Creates a new evaluator, based on an existing environment, or null if the tool cannot be created.

getEnv

public CoopnEnv getEnv()
Get the environment.
Specified by:
getEnv in interface CoopnTool

show

public void show()
Show the tool's window, if the tool has its own GUI. Do nothing else.
Specified by:
show in interface CoopnTool

run

public void run()
Implementation of the evaluator.
Specified by:
run in interface java.lang.Runnable

main

public static void main(java.lang.String[] args)
Main program. This method creates a new environment from the command line, creates a new evaluator according to the environment, and call its run method.