| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.137 $ |
| * @version $Revision: 1.138 $ |
| * |
| * Last modification: $Date: 2003/07/28 14:26:35 $ |
| * $Id: DocumentManager.java,v 1.137 2003/07/28 14:26:35 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/28 15:26:39 $ |
| * $Id: DocumentManager.java,v 1.138 2003/07/28 15:26:39 hjokusch Exp $ |
| */ |
| |
| package src.control; |
| 39,9 → 39,11 |
|---|
| import org.w3c.dom.DocumentType; |
| import org.w3c.dom.DOMImplementation; |
| |
| import src.document.*; |
| import src.document.DocumentFactory; |
| import src.document.OurDocument; |
| import src.gui.*; |
| import src.parser.*; |
| import src.parser.Parser; |
| import src.parser.Validator; |
| import src.plugins.PluginManagerInterface; |
| |
| /** |
| 50,7 → 52,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.137 $ Last modification: $Date: 2003/07/28 14:26:35 $ |
| * @version $Revision: 1.138 $ Last modification: $Date: 2003/07/28 15:26:39 $ |
| */ |
| public class DocumentManager implements ActionListener, DocumentManagerInterface, |
| ChangeListener { |
| 412,9 → 414,6 |
|---|
| |
| /* Transfer a log panel reference to the grammar parser. */ |
| grammarParser.setLogInterface(logInterfaceReference); |
| |
| /* Creates a new Validator instance. */ |
| validator = new Validator(logInterfaceReference, statInterfaceReference); |
| } |
| |
| /** |
| 433,6 → 432,19 |
|---|
| } |
| |
| /** |
| * This method sets an internal reference to a <code>Validator</code> instance. |
| * |
| * @param vali A reference to a src.parser.Validator object. |
| * |
| * author Group 5 |
| * |
| * Last revision: 28-Jul-2003 |
| */ |
| public void setValidationReference(Validator vali) { |
| validator = vali; |
| } |
| |
| /** |
| * This method returns the document object of the current <code>OurDocument</code> instance. |
| * The current instance is the document currently chosen in the tabbed pane and displayed |
| * in the tree and plugin area. |