Package edu.ksu.cis.bandera.tool

Interface Summary
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.
Tool The Tool interface is the basic way of interfacing with the Bandera tool suite.
ToolConfigurationView The ToolConfigurationView provides a GUI view for changing a ToolConfiguration by the user.
ToolIconView The ToolIconView provides description of the Tool that can be used in a interface with the user.
ToolMomento The ToolMomento provides an object that can be used to store and load the state of a tool.