4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.62 $ |
* @version $Revision: 1.63 $ |
* |
* Last modification: $Date: 2003/07/26 10:50:06 $ |
* $Id: Controller.java,v 1.62 2003/07/26 10:50:06 smcsporr Exp $ |
* Last modification: $Date: 2003/07/26 11:42:56 $ |
* $Id: Controller.java,v 1.63 2003/07/26 11:42:56 swalkenh Exp $ |
*/ |
|
package src.control; |
31,7 → 31,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.62 $ Last modification: $Date: 2003/07/26 10:50:06 $ |
* @version $Revision: 1.63 $ Last modification: $Date: 2003/07/26 11:42:56 $ |
*/ |
public class Controller { |
|
53,6 → 53,9 |
/** The updateView refreshes the view of of the tree if the document is changed. */ |
private UpdateView updateView; |
|
/** A validator is used for document validation. */ |
private Validator vali; |
|
/** |
* The plugin manager is responsible for launching plugins and |
* to handle program-to-plugin and plugin-to-program actions. |
69,7 → 72,7 |
* ----------------------------------------------------------------------------- |
* DocumentFactory -> |
* DocumentManager -> GUI, LogPanel, PluginManager, StatusPanel, UpdateView |
* GUI -> DocumentManager, OtherGUIActions, PluginManager, UpdateView |
* GUI -> DocumentManager, OtherGUIActions, PluginManager, UpdateView, Validator |
* OtherGUIActions -> DocumentManager |
* Parser -> LogPanel |
* PluginManager -> DocumentManager, GUI, LogPanel, UpdateView |
91,6 → 94,8 |
parser = new Parser(); |
aDocumentFactory = new DocumentFactory(myGui.getLogPanelImpl()); |
updateView = new UpdateView(); |
vali = new Validator(myGui.getLogPanelImpl(), myGui.getStatusInterface()); |
|
pluginManager = new PluginManager("src/control/config.xml", myGui, updateView, myGui.getLogPanelImpl()); |
|
/* Give DocumentManager interface to the guiListener. */ |
115,7 → 120,7 |
updateView.setPluginManagerInterface(pluginManager); |
|
/* Give Interfaces to gui. */ |
myGui.setInterfaces(gUIListener,docMaster, updateView, pluginManager, docMaster,docMaster); |
myGui.setInterfaces(gUIListener,docMaster, updateView, pluginManager, docMaster,docMaster, vali); |
|
/* Register the log panel to the different objects. */ |
parser.setLogInterface(myGui.getLogPanelImpl()); |