4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.54 $ |
* @version $Revision: 1.55 $ |
* |
* Last modification: $Date: 2003/07/21 11:40:07 $ |
* $Id: Controller.java,v 1.54 2003/07/21 11:40:07 smcsporr Exp $ |
* Last modification: $Date: 2003/07/21 11:40:43 $ |
* $Id: Controller.java,v 1.55 2003/07/21 11:40:43 smcsporr Exp $ |
*/ |
|
package src.control; |
17,7 → 17,13 |
import src.parser.*; |
import src.plugins.PluginManager; |
|
// TODO JavaDoc class description |
/** |
* The <code> Controller </code> makes objects of all main-classes and |
* gives the necessary references to each object |
* @author Holger |
* |
** @version $Revision: 1.10 $ Last modification: $Date: 2003/07/15 18:51:51 $ |
*/ |
public class Controller { |
|
/* Instance variable for the program's GUI. */ |
35,6 → 41,8 |
/* The document factory creates new OurDocument instances. */ |
private DocumentFactory aDocumentFactory; |
|
/*The updateView refreshes the view of of the tree if the document |
* is changed */ |
private UpdateView updateView; |
|
/* The plugin manager is responsible for launching plugins and |
64,7 → 72,7 |
updateView = new UpdateView(); |
pluginManager = new PluginManager("src/control/config.xml", myGui, updateView, myGui.getLogInterface()); |
|
|
// give DocumentManager Interface to the duiListener |
gUIListener.setDocManagerInterface(docMaster); |
|
/* The plugin manager gives the plugin loader a reference to the document |
88,7 → 96,9 |
parser.setLogInterface(myGui.getLogInterface()); |
updateView.setLogInterface(myGui.getLogInterface()); |
docMaster.setLogInterface(myGui.getLogInterface()); |
|
|
/*Register the Tabbed pane and the UpdateViewIterface to the |
* DocumentManager*/ |
docMaster.setTabbedPane(myGui.getTabbedPane()); |
docMaster.setUpdateViewInterface(updateView); |
|