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