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. |