| 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()); |