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
 

Method Detail

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.