|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.Simulator.Simulator
CO-OPN Simulator. This tool allows to simulate CO-OPN spec. It display a scenario grpah for the semantics of a spceification, or a particular scenario, and let the user play wioth it. A simulator 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
Simulator tool name. |
static java.lang.String |
VERSION
Simulator version. |
Constructor Summary | |
protected |
Simulator(SimulatorEnv env,
SimulatorEnvMgr envMgr)
Simple constructor. |
Method Summary | |
void |
clear(GraphicalVisualToolEditor editor)
Clear. |
void |
detail(GraphicalVisualToolEditor editor)
Detail. |
CoopnEnv |
getEnv()
Get the environment. |
static Simulator |
getTool(CoopnEnv env)
Creates a new Simulator, based on an existing environment, or null if the tool cannot be created. |
static Simulator |
getTool(SimulatorEnv env)
Creates a new Simulator, based on an existing environment, or null if the tool cannot be created. |
static void |
main(java.lang.String[] args)
Main program. |
void |
next(GraphicalVisualToolEditor editor)
Start a next request. |
void |
notifyEdition()
Notification routine: the visual generated a new edition. |
void |
notifyQuit()
Notification routine: the visual quit. |
void |
notifyRedo()
Notification routine: the visual generated a new redo. |
void |
notifySave()
Notification routine: the visual generated a save. |
void |
notifySaveAs(java.lang.String name)
Notification routine: the visual generated a save. |
void |
notifySpecModuleChanged(java.lang.String specName,
SpecModule module)
Notification routine. |
void |
notifyUndo()
Notification routine: the visual generated a new undo. |
void |
perform(GraphicalVisualToolEditor editor)
Start a new simple request. |
void |
performInitial(GraphicalVisualToolEditor editor)
Start a new request for initial marking. |
void |
performWithEvent(GraphicalVisualToolEditor editor)
Start a new simple request. |
void |
run()
Implementation of the evaluator. |
void |
setComment()
|
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 Simulator(SimulatorEnv env, SimulatorEnvMgr envMgr)
env
- the simple CoopnTools environmentMethod Detail |
public static Simulator getTool(CoopnEnv env)
public static Simulator getTool(SimulatorEnv 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)
public void notifySpecModuleChanged(java.lang.String specName, SpecModule module)
SpecModuleObserver
notifySpecModuleChanged
in interface SpecModuleObserver
ConForM.CoopnTools.CoKer.SpecMgr.SpecModuleObserver
specName
- the name of the spec module.module
- the modified specification module.public void performInitial(GraphicalVisualToolEditor editor)
public void perform(GraphicalVisualToolEditor editor)
public void performWithEvent(GraphicalVisualToolEditor editor)
public void next(GraphicalVisualToolEditor editor)
public void detail(GraphicalVisualToolEditor editor)
public void clear(GraphicalVisualToolEditor editor)
public void setComment()
public void notifyQuit()
notifyQuit
in interface GraphicalTool
public void notifySave()
notifySave
in interface GraphicalTool
public void notifySaveAs(java.lang.String name) throws java.lang.IllegalAccessException
notifySaveAs
in interface GraphicalTool
public void notifyEdition()
notifyEdition
in interface GraphicalTool
public void notifyUndo()
notifyUndo
in interface GraphicalTool
public void notifyRedo()
notifyRedo
in interface GraphicalTool
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |