| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.123 $ |
| * @version $Revision: 1.124 $ |
| * |
| * Last modification: $Date: 2003/07/25 17:14:31 $ |
| * $Id: DocumentManager.java,v 1.123 2003/07/25 17:14:31 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/26 09:07:49 $ |
| * $Id: DocumentManager.java,v 1.124 2003/07/26 09:07:49 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 50,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.123 $ Last modification: $Date: 2003/07/25 17:14:31 $ |
| * @version $Revision: 1.124 $ Last modification: $Date: 2003/07/26 09:07:49 $ |
| */ |
| public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
| |
| 904,20 → 904,14 |
|---|
| } |
| } |
| } |
| |
| public void setNoDTD(){ |
| actualDocument.changeDTDGrammar(actualDocument.getDomDoc(),null); |
| } |
| |
| public void setNoSchema(){ |
| actualDocument.changeSchemaGrammar(actualDocument.getDomDoc(), null); |
| } |
| |
| /** |
| * <code>setNewSchema</code> lets the user choose an XML schema file and launches a method in |
| * the current <code>OurDocument</code> instance that changes it's XML schema file entry |
| * to the chosen file. |
| * <code>setNewSchema</code> lets the user change the current document's 'schemaLocation' entry. |
| * |
| * A user may choose an XML schema file. If an XML document has been opened, a new |
| * 'schemaLocation' entry will be inserted into the document's header. If a similar |
| * entry already existed, it will be overwritten. |
| * |
| * author S. McSporran |
| * |
| * Last revision: 14-Jul-2003 |
| 947,15 → 941,35 |
|---|
| |
| /* If a document exists, proceed. */ |
| if (! openDocumentList.isEmpty()) { |
| actualDocument.changeSchemaGrammar(actualDocument.getDomDoc(), schemaFile); |
| updateView.update(); |
| |
| /* Check, if a schema file has been chosen. */ |
| if (schemaFile != null) { |
| actualDocument.changeSchemaGrammar(actualDocument.getDomDoc(), schemaFile); |
| updateView.update(); |
| } else { |
| log(LogInterface.TYPE_ERROR, "No file selected !"); |
| } |
| } else { |
| log(LogInterface.TYPE_WARNING, "No document available !"); |
| log(LogInterface.TYPE_ERROR, "No document available !"); |
| } |
| } |
| } |
| |
| |
| |
| /** |
| * <code>setNoDTD</code> deletes the DOCTYPE entry from an XML document's header. |
| */ |
| public void setNoDTD(){ |
| actualDocument.changeDTDGrammar(actualDocument.getDomDoc(),null); |
| } |
| |
| /** |
| * <code>setNoSchema</code> deletes the 'schemaLocation' entry from an XML document's header. |
| */ |
| public void setNoSchema(){ |
| actualDocument.changeSchemaGrammar(actualDocument.getDomDoc(), null); |
| } |
| |
| /** |
| * <code>saveActualDocument</code> launches a method that saves the active document. |
| * This is a kind of a quicksave function and can only be used if the corresponding |