ConForM.CoopnTools.CoKer
Interface CoopnTool
- All Superinterfaces:
- java.lang.Runnable
- All Known Implementing Classes:
- Tool, Pack, Spec, Edit, Checker, CoalaChecker, Formatter, Doc, DocV, Viewer, Code, Module, Listing, Evaluator, Simulator, Interpretor, JavaProto, CoopnInst, Constraint, HLPN
- public interface CoopnTool
- extends java.lang.Runnable
CO-OPN tool. This class defines the basic structure of a tool of CoopnTools.
A tool is a runnable, which is likely to be started inside a dedicated
thread. Usually, a tool is created either by a dedicated static factory method,
called getTool(CoopnEnv env), or by the static method main(String[] args), in which case
the tool is started too.
Method Summary |
CoopnEnv |
getEnv()
Get the environment associated to the tool. |
void |
show()
Show the tool's window, if the tool has its own GUI. |
Methods inherited from interface java.lang.Runnable |
run |
getEnv
public CoopnEnv getEnv()
- Get the environment associated to the tool. The environment should not
be modified.
show
public void show()
- Show the tool's window, if the tool has its own GUI. Do nothing else.