4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.58 $ |
* @version $Revision: 1.59 $ |
* |
* Last modification: $Date: 2003/07/28 13:23:15 $ |
* $Id: UpdateView.java,v 1.58 2003/07/28 13:23:15 cstollen Exp $ |
* Last modification: $Date: 2003/07/28 13:33:08 $ |
* $Id: UpdateView.java,v 1.59 2003/07/28 13:33:08 smcsporr Exp $ |
*/ |
|
package src.gui; |
47,7 → 47,7 |
* |
* @author Christian Stollenwerk |
* |
* @version $Revision: 1.58 $ Last modification: $Date: 2003/07/28 13:23:15 $ |
* @version $Revision: 1.59 $ Last modification: $Date: 2003/07/28 13:33:08 $ |
*/ |
public class UpdateView implements ActionListener, UpdateViewInterface, |
OurEventListener, TreeModelListener, TreeExpansionListener, TreeSelectionListener { |
402,25 → 402,30 |
/* 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)) { |
if (validator.getAutoValidation()) { |
|
logInterface.log(LogInterface.TYPE_INFO, "True !"); |
|
/* 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"); |
} |
/* Check, if the current document is valid. */ |
if (validator.validateDocument(documentManagerInterface.getActualDocument(), |
documentManagerInterface.getActualDocumentFile())) { |
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"); |
/* Not valid -> Print an error message. */ |
else { |
logInterface.log(LogInterface.TYPE_ERROR, |
"The document does not fit to the specified grammar"); |
} |
|
/* No grammar -> Print an error message. */ |
} else { |
logInterface.log(LogInterface.TYPE_ERROR, "No grammar specified."); |
} |
|
/* No grammar -> Print an error message. */ |
} else { |
logInterface.log(LogInterface.TYPE_ERROR, "No grammar specified."); |
} |
} |
} |