4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.127 $ |
* @version $Revision: 1.128 $ |
* |
* Last modification: $Date: 2003/07/26 11:31:16 $ |
* $Id: DocumentManager.java,v 1.127 2003/07/26 11:31:16 smcsporr Exp $ |
* Last modification: $Date: 2003/07/26 11:48:41 $ |
* $Id: DocumentManager.java,v 1.128 2003/07/26 11:48:41 smcsporr Exp $ |
*/ |
|
package src.control; |
50,7 → 50,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.127 $ Last modification: $Date: 2003/07/26 11:31:16 $ |
* @version $Revision: 1.128 $ Last modification: $Date: 2003/07/26 11:48:41 $ |
*/ |
public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
|
963,21 → 963,32 |
* This will work only, if a Document Type Declaration can be found in the |
* current document. |
*/ |
public void setNoDTD(){ |
public void setNoDTD() { |
|
/* Check, if a DOCTYPE entry exists. */ |
if (actualDocument.getDomDoc() != null) { |
actualDocument.changeDTDGrammar(actualDocument.getDomDoc(), null); |
updateView.update(); |
} else { |
log(LogInterface.TYPE_ERROR, "No DOCTYPE entry found in the current document."); |
log(LogInterface.TYPE_ERROR, "No DOCTYPE entry found in the current document !"); |
} |
} |
|
/** |
* <code>setNoSchema</code> deletes the 'schemaLocation' entry from an XML document's header. |
* |
* This will work only, if a 'schemaLocation' entry can be found in the current |
* document. |
*/ |
public void setNoSchema(){ |
actualDocument.changeSchemaGrammar(actualDocument.getDomDoc(), null); |
public void setNoSchema() { |
|
/* Check, if a 'schemaLocation' attribute exists. */ |
if (actualDocument.getDomDoc().getDocumentElement().hasAttribute("xsi:schemaLocation")){ |
actualDocument.changeSchemaGrammar(actualDocument.getDomDoc(), null); |
updateView.update(); |
} else { |
log(LogInterface.TYPE_ERROR, "No 'schemaLocation' attribute specified !"); |
} |
} |
|
/** |