edu.ksu.cis.bandera.tool
Interface ToolConfigurationView


public interface ToolConfigurationView

The ToolConfigurationView provides a GUI view for changing a ToolConfiguration by the user. This can be many types of GUI widget including:

Version:
$Revision: 1.2 $ - $Date: 2003/08/06 15:30:47 $
Author:
Todd Wallentine tcw AT cis ksu edu

Method Summary
 void configure()
          This method is called when the user makes a request to configure the tool using the tools GUI view.
 

Method Detail

configure

public void configure()
This method is called when the user makes a request to configure the tool using the tools GUI view. This method should not return until the user has completed the configuration (in other words, block until the user is done -- either an OK or CANCEL).