|
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. |