|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.JavaProto.JavaProto
CO-OPN java prototyper. This tool generates prototypes of coopn specifications. A prototyper 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 prototyper can be started either from a command line, or by another CoopnTool. In this case, it 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 |
JavaProto(JavaProtoEnv env,
JavaProtoEnvMgr envMgr)
Simple constructor. |
Method Summary | |
CoopnEnv |
getEnv()
Get the environment. |
boolean |
getStatus()
|
static JavaProto |
getTool(CoopnEnv env)
Creates a new tool, based on an existing environment, or null if the tool cannot be created. |
static JavaProto |
getTool(JavaProtoEnv 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 |
quit()
|
void |
run()
Implementation of the checker. |
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 JavaProto(JavaProtoEnv env, JavaProtoEnvMgr envMgr)
env
- the simple CoopnTools environmentMethod Detail |
public static JavaProto getTool(CoopnEnv env)
public static JavaProto getTool(JavaProtoEnv 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 void quit()
public static void main(java.lang.String[] args)
public boolean getStatus()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |