|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |