Uses of Interface
edu.ksu.cis.bandera.tool.Tool

Uses of Tool in edu.ksu.cis.bandera.tool
 

Subinterfaces of Tool in edu.ksu.cis.bandera.tool
 interface DisconnectableTool
          The DisconnectableTool interface is provided for tools that wish to provide the ability for the user to request that the tool stop processing in such a way as to allow it to restart again at the same state as it finished.