|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoalaChecker.CoalaChecker
Coala Checker. This tool checks a Coala specification. A coala checker is a runnable. It is composed of a constructor, building the checker, by a method run, implementing the tool itself, and a method main. Hence, a checker 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 |
CoalaChecker(CoalaCheckerEnv env,
CoalaCheckerEnvMgr envMgr)
Simple constructor. |
Method Summary | |
CoopnEnv |
getEnv()
Get the environment. |
static CoalaChecker |
getTool(CheckerEnv env)
Creates a new checker, based on an existing environment, or null if the tool cannot be created. |
static CoalaChecker |
getTool(CoopnEnv env)
Creates a new checker, based on an existing environment, or null if the tool cannot be created. |
static CoalaChecker |
getTool(GenericCheckerEnv 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 |
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 CoalaChecker(CoalaCheckerEnv env, CoalaCheckerEnvMgr envMgr)
env
- the simple CoopnTools environmentMethod Detail |
public static CoalaChecker getTool(CoopnEnv env)
public static CoalaChecker getTool(GenericCheckerEnv env)
public static CoalaChecker getTool(CheckerEnv 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)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |