|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.HLPN.HLPN
CO-OPN to HLPN nets translator. This tool allows the translation of a CO-OPN spec to a high level Petri net . A HLPN-net translator is a runnable. It is composed of a factory, building a tool, by a method run, implementing the tool itself, and a method main. Hence, a tool can be started either from a command line, or by another CoopnTool. In this case, a checker is likely to by started as a new thread.
run
Field Summary | |
static java.lang.String |
TOOL
Checker tool name. |
static java.lang.String |
VERSION
Checker version. |
Constructor Summary | |
protected |
HLPN(HLPNEnv env,
HLPNEnvMgr envMgr)
Simple constructor. |
Method Summary | |
CoopnEnv |
getEnv()
Get the environment. |
static HLPN |
getTool(CoopnEnv env)
Creates a new HLPN, based on an existing environment, or null if the tool cannot be created. |
static HLPN |
getTool(HLPNEnv env)
Creates a new HLPN, based on an existing environment, or null if the tool cannot be created. |
static void |
main(java.lang.String[] args)
Main program. |
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 |
notifyUndo()
Notification routine: the visual generated a new undo. |
void |
run()
Implementation of the HLPN. |
CoopnGraphicalElement[] |
selectedCOOPNElements()
Get the selected elements in the HLPN display |
CoopnGraphicalElement[] |
selectedElements()
Get the selected elements in the each display |
CoopnGraphicalElement[] |
selectedHLPNElements()
Get the selected elements in the COOPN display |
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 HLPN(HLPNEnv env, HLPNEnvMgr envMgr)
env
- the simple CoopnTools environmentMethod Detail |
public static HLPN getTool(CoopnEnv env)
public static HLPN getTool(HLPNEnv 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 CoopnGraphicalElement[] selectedElements()
public CoopnGraphicalElement[] selectedCOOPNElements()
public CoopnGraphicalElement[] selectedHLPNElements()
public static void main(java.lang.String[] args)
public void notifyQuit()
notifyQuit
in interface GraphicalTool
public void notifySave()
notifySave
in interface GraphicalTool
public void notifySaveAs(java.lang.String name)
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 |