|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.Spec.Spec
Specification tool. This tool allows user to interact with their specifications. More precisely, a Specification tool tries to open and lock (in writing) a specification file. If the specification file is already locked in writing, this tool tries to display the GUI of the currently locking tool. Else, it let the user to view and modify the specification file. Such a tool is a "CoopnTool". Hence, it 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
Package tool tool name. |
static java.lang.String |
VERSION
Package tool version. |
Constructor Summary | |
protected |
Spec(SpecEnv env,
SpecEnvMgr envMgr)
Simple constructor. |
Method Summary | |
CoopnEnv |
getEnv()
Get the environment. |
static Spec |
getTool(CoopnEnv env)
Creates a new specification tool, based on an existing environment, or null if the tool cannot be created. |
static Spec |
getTool(SpecEnv env)
Creates a new specification tool, 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 package tool. |
void |
show()
Show the tool's window, if the tool has its own GUI. |
void |
showVariables()
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 Spec(SpecEnv env, SpecEnvMgr envMgr)
env
- the simple CoopnTools environmentMethod Detail |
public static Spec getTool(CoopnEnv env)
public static Spec getTool(SpecEnv env)
public CoopnEnv getEnv()
getEnv
in interface CoopnTool
public void show()
show
in interface CoopnTool
public void showVariables()
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 |