4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.56 $ |
* @version $Revision: 1.58 $ |
* |
* Last modification: $Date: 2003/07/26 13:05:25 $ |
* $Id: UpdateView.java,v 1.56 2003/07/26 13:05:25 smcsporr Exp $ |
* Last modification: $Date: 2003/07/28 13:23:15 $ |
* $Id: UpdateView.java,v 1.58 2003/07/28 13:23:15 cstollen Exp $ |
*/ |
|
package src.gui; |
47,7 → 47,7 |
* |
* @author Christian Stollenwerk |
* |
* @version $Revision: 1.56 $ Last modification: $Date: 2003/07/26 13:05:25 $ |
* @version $Revision: 1.58 $ Last modification: $Date: 2003/07/28 13:23:15 $ |
*/ |
public class UpdateView implements ActionListener, UpdateViewInterface, |
OurEventListener, TreeModelListener, TreeExpansionListener, TreeSelectionListener { |
68,7 → 68,7 |
private boolean makeTreeView = false; |
|
/** A validator is needed to check, if the current document confirms to it's grammar. */ |
private Validator validator = new Validator(logInterface, gui.getStatusInterface()); |
private Validator validator; |
|
/** |
* Empty constructor. |
278,6 → 278,8 |
*/ |
public void setLogInterface(LogInterface logInt) { |
logInterface = logInt; |
|
validator = new Validator(logInt, gui.getStatusInterface()); |
} |
|
/** |
397,6 → 399,9 |
*/ |
private void validate() { |
|
/* Update the document with the content of the plugin */ |
pluginManagerInterface.forcePluginReport(); |
|
/* Check, if a grammar has been specified. */ |
if ((documentManagerInterface.getActualDocument().getDocumentElement().hasAttribute("xsi:schemaLocation")) || |
(documentManagerInterface.getActualDocument().getDoctype() != null)) { |