|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.Viewer.Viewer
CO-OPN Viewer. This tool allows to view CO-OPN spec. At start, it display the enrichment graph of the spec. A viewer is a runnable. It is composed of a constructor, building the viewer, by a method run, implementing the tool itself, and a method main. Hence, a viewer can be started either from a command line, or by another CoopnTool. In this case, a viewer 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 |
Viewer(ViewerEnv env,
ViewerEnvMgr envMgr)
Simple constructor. |
Method Summary | |
CoopnEnv |
getEnv()
Get the environment. |
static Viewer |
getTool(CoopnEnv env)
Creates a new checker, based on an existing environment, or null if the tool cannot be created. |
static Viewer |
getTool(ViewerEnv env)
Creates a new checker, 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 Viewer(ViewerEnv env, ViewerEnvMgr envMgr)
env
- the simple CoopnTools environmentMethod Detail |
public static Viewer getTool(CoopnEnv env)
public static Viewer getTool(ViewerEnv 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 |