| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.55 $ |
| * @version $Revision: 1.57 $ |
| * |
| * Last modification: $Date: 2003/07/26 10:49:32 $ |
| * $Id: UpdateView.java,v 1.55 2003/07/26 10:49:32 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/28 13:20:45 $ |
| * $Id: UpdateView.java,v 1.57 2003/07/28 13:20:45 smcsporr Exp $ |
| */ |
| |
| package src.gui; |
| 39,6 → 39,7 |
|---|
| import src.control.DocumentManagerInterface; |
| import src.document.ViewFilter; |
| import src.parser.AdapterDomToTreeModel; |
| import src.parser.Validator; |
| import src.plugins.PluginManagerInterface; |
| |
| /** |
| 46,7 → 47,7 |
|---|
| * |
| * @author Christian Stollenwerk |
| * |
| * @version $Revision: 1.55 $ Last modification: $Date: 2003/07/26 10:49:32 $ |
| * @version $Revision: 1.57 $ Last modification: $Date: 2003/07/28 13:20:45 $ |
| */ |
| public class UpdateView implements ActionListener, UpdateViewInterface, |
| OurEventListener, TreeModelListener, TreeExpansionListener, TreeSelectionListener { |
| 66,6 → 67,12 |
|---|
| private LinkedList treeVisibleList; |
| 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()); |
| |
| /** |
| * Empty constructor. |
| */ |
| public UpdateView() { |
| } |
| |
| 379,23 → 386,34 |
|---|
| |
| } |
| |
| // TODO comments |
| /** |
| * <code>validate</code> checks, if a document confirms to it's grammar. |
| * |
| * A document doesn't confirm to it's grammar, if an error or fatal error |
| * occurs during validation. The <code>Validator</code> class supplies |
| * functionality to process a document, if a grammar has been specified. |
| * |
| * @see src.parser.Validator |
| */ |
| private void validate() { |
| /* Check if the document is valid. */ |
| src.parser.Validator validator = new src.parser.Validator(logInterface, gui.getStatusInterface()); |
| |
| /* 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)) { |
| |
| /* Check, if the current document is valid. */ |
| if (validator.validateDocument(documentManagerInterface.getActualDocument(), |
| documentManagerInterface.getActualDocumentFile())) { |
| logInterface.log(LogInterface.TYPE_INFO, "The document is valid"); |
| logInterface.log(LogInterface.TYPE_INFO, "The document is valid"); |
| } |
| |
| /* Not valid -> Print an error message. */ |
| else { |
| logInterface.log(LogInterface.TYPE_ERROR, "The document does not fit to the specified grammar"); |
| logInterface.log(LogInterface.TYPE_ERROR, |
| "The document does not fit to the specified grammar"); |
| } |
| |
| /* No grammar -> Print an error message. */ |