4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.43 $ |
* @version $Revision: 1.44 $ |
* |
* Last modification: $Date: 2003/07/15 14:37:53 $ |
* $Id: Controller.java,v 1.43 2003/07/15 14:37:53 hjokusch Exp $ |
* Last modification: $Date: 2003/07/15 18:20:50 $ |
* $Id: Controller.java,v 1.44 2003/07/15 18:20:50 smcsporr Exp $ |
*/ |
|
package src.control; |
48,7 → 48,9 |
gUIListener.setDocManagerInterface(docMaster); |
|
pluginManager.setLogInterface(myGui.getLogInterface()); |
//added 10.07.03 Sascha W.; the PluginManager gives the PluginLaoder the actual document |
|
/* The plugin manager gives the plugin loader a reference to the document |
* manager. */ |
pluginManager.setDocumentManagerInterface(docMaster); |
|
updateView.setGuiReference(myGui); |
55,9 → 57,13 |
|
/* Give a reference a log panel to UpdateView. */ |
updateView.setLogInterface(myGui.getLogInterface()); |
// give UpdateView a DocumentManagerInterface |
|
/* Give updateView an instance of a document manager. */ |
updateView.setDocumentManagerInterface(docMaster); |
|
/* Give updateView an instance of a plugin manager. */ |
updateView.setPluginManagerInterface(pluginManager); |
|
//give Interfaces to gui |
myGui.setInterfaces(gUIListener,docMaster, updateView,docMaster,docMaster/*,validator*/); |
//aDocumentFactory.makeDocument(false); |
65,13 → 71,13 |
/* Give a log panel reference to the parser. */ |
parser.setLogInterface(myGui.getLogInterface()); |
|
/* Give a log panel reference to docMaster. */ |
/* Give a log panel reference to the document manager. */ |
docMaster.setLogInterface(myGui.getLogInterface()); |
|
docMaster.setTabbedPane(myGui.getTabbedPane()); |
docMaster.setUpdateViewInterface(updateView); |
|
/* Added 070703 S. McSporran -> give status panel reference to docMaster. */ |
/* Give a status panel reference to the document manager. */ |
docMaster.setStatInterface(myGui.getStatusInterface()); |
docMaster.setRootFrame(myGui); |
|