4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.60 $ |
* @version $Revision: 1.61 $ |
* |
* Last modification: $Date: 2003/07/23 13:12:42 $ |
* $Id: Controller.java,v 1.60 2003/07/23 13:12:42 swalkenh Exp $ |
* Last modification: $Date: 2003/07/24 12:27:15 $ |
* $Id: Controller.java,v 1.61 2003/07/24 12:27:15 smcsporr Exp $ |
*/ |
|
package src.control; |
31,7 → 31,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.60 $ Last modification: $Date: 2003/07/23 13:12:42 $ |
* @version $Revision: 1.61 $ Last modification: $Date: 2003/07/24 12:27:15 $ |
*/ |
public class Controller { |
|
89,9 → 89,9 |
docMaster = new DocumentManager(); |
gUIListener = new OtherGUIActions(); |
parser = new Parser(); |
aDocumentFactory = new DocumentFactory(myGui.getLogInterface()); |
aDocumentFactory = new DocumentFactory(myGui.getLogPanelImpl()); |
updateView = new UpdateView(); |
pluginManager = new PluginManager("src/control/config.xml", myGui, updateView, myGui.getLogInterface()); |
pluginManager = new PluginManager("src/control/config.xml", myGui, updateView, myGui.getLogPanelImpl()); |
|
/* Give DocumentManager interface to the guiListener. */ |
gUIListener.setDocManagerInterface(docMaster); |
115,9 → 115,9 |
myGui.setInterfaces(gUIListener,docMaster, updateView, pluginManager, docMaster,docMaster); |
|
/* Register the log panel to the different objects. */ |
parser.setLogInterface(myGui.getLogInterface()); |
updateView.setLogInterface(myGui.getLogInterface()); |
docMaster.setLogInterface(myGui.getLogInterface()); |
parser.setLogInterface(myGui.getLogPanelImpl()); |
updateView.setLogInterface(myGui.getLogPanelImpl()); |
docMaster.setLogInterface(myGui.getLogPanelImpl()); |
|
/* Register the tabbed pane and the UpdateViewInterface to the |
* document manager. */ |