ConForM.CoopnTools.JavaProto
Class JavaProto

java.lang.Object
  |
  +--ConForM.CoopnTools.JavaProto.JavaProto
All Implemented Interfaces:
CoopnTool, java.lang.Runnable

public class JavaProto
extends java.lang.Object
implements CoopnTool

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.

See Also:
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

VERSION

public static final java.lang.String VERSION
Checker version.

TOOL

public static final java.lang.String TOOL
Checker tool name.
Constructor Detail

JavaProto

protected JavaProto(JavaProtoEnv env,
                    JavaProtoEnvMgr envMgr)
Simple constructor.
Parameters:
env - the simple CoopnTools environment
Method Detail

getTool

public static JavaProto getTool(CoopnEnv env)
Creates a new tool, based on an existing environment, or null if the tool cannot be created.

getTool

public static JavaProto getTool(JavaProtoEnv env)
Creates a new checker, based on an existing environment, or null if the tool cannot be created.

getEnv

public CoopnEnv getEnv()
Get the environment.
Specified by:
getEnv in interface CoopnTool

show

public void show()
Show the tool's window, if the tool has its own GUI. Do nothing else.
Specified by:
show in interface CoopnTool

run

public void run()
Implementation of the checker.
Specified by:
run in interface java.lang.Runnable

quit

public void quit()

main

public static void main(java.lang.String[] args)
Main program. This method creates a new environment from the command line, creates a new checker according to the environment, and call its run method.

getStatus

public boolean getStatus()