diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMAttribute.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMAttribute.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMAttribute.java 2005-05-16 15:28:44.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMAttribute.java 2009-03-21 02:23:01.000000000 +0100 @@ -15,6 +15,9 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.TypeInfo; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; /** *
@@ -179,6 +182,64 @@ public org.w3c.dom.Element getOwnerElement() { return DOMNodeHelper.asDOMElement(getParent()); } + + // JDK6 API methods + public TypeInfo getSchemaTypeInfo() { + throw new UnsupportedOperationException(); + } + + public boolean isId() { + throw new UnsupportedOperationException(); + } + + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMCDATA.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMCDATA.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMCDATA.java 2005-05-16 15:28:37.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMCDATA.java 2009-03-21 02:28:34.000000000 +0100 @@ -15,6 +15,9 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.Text; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; /** *
@@ -225,6 +228,68 @@ protected CDATA createCDATA(String text) { return new DOMCDATA(text); } + + // JDK6 API methods + public boolean isElementContentWhitespace() { + throw new UnsupportedOperationException(); + } + + public String getWholeText() { + throw new UnsupportedOperationException(); + } + + public Text replaceWholeText(String content) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } + } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMComment.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMComment.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMComment.java 2005-05-16 15:28:50.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMComment.java 2009-03-21 02:32:13.000000000 +0100 @@ -14,6 +14,8 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; /** *
@@ -187,6 +189,56 @@ throws DOMException { DOMNodeHelper.replaceData(this, offset, count, arg); } + + // JDK6 API methods + + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMDocumentFactory.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMDocumentFactory.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMDocumentFactory.java 2005-05-16 15:28:37.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMDocumentFactory.java 2009-03-21 03:01:38.000000000 +0100 @@ -174,6 +174,12 @@ docType.getPublicId(), docType.getSystemId()); } } + + //JDK6 API methods + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } } diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMDocument.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMDocument.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMDocument.java 2005-05-16 15:28:48.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMDocument.java 2009-03-21 02:38:01.000000000 +0100 @@ -21,6 +21,9 @@ import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; import org.w3c.dom.ProcessingInstruction; +import org.w3c.dom.Node; +import org.w3c.dom.DOMConfiguration; +import org.w3c.dom.UserDataHandler; /** *
@@ -301,6 +304,112 @@ return super.getDocumentFactory(); } } + + // JDK6 API methods + public String getInputEncoding() { + throw new UnsupportedOperationException(); + } + + public String getXmlEncoding() { + throw new UnsupportedOperationException(); + } + + public boolean getXmlStandalone() { + throw new UnsupportedOperationException(); + } + + public void setXmlStandalone(boolean xmlStandalone) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getXmlVersion() { + throw new UnsupportedOperationException(); + } + + public void setXmlVersion(String xmlVersion) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean getStrictErrorChecking() { + throw new UnsupportedOperationException(); + } + + public void setStrictErrorChecking(boolean strictErrorChecking) { + throw new UnsupportedOperationException(); + } + + public String getDocumentURI() { + throw new UnsupportedOperationException(); + } + + public void setDocumentURI(String documentURI) { + throw new UnsupportedOperationException(); + } + + public Node adoptNode(Node source) throws DOMException { + throw new UnsupportedOperationException(); + } + + public DOMConfiguration getDomConfig() { + throw new UnsupportedOperationException(); + } + + public void normalizeDocument() { + throw new UnsupportedOperationException(); + } + + public Node renameNode(Node n, String namespaceURI, String qualifiedName) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } + } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMDocumentType.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMDocumentType.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMDocumentType.java 2005-05-16 15:28:52.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMDocumentType.java 2009-03-21 03:00:21.000000000 +0100 @@ -13,6 +13,8 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; /** *
@@ -177,6 +179,55 @@ public String getInternalSubset() { return getElementName(); } + + // JDK6 API methods + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMElement.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMElement.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMElement.java 2005-05-16 15:28:36.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMElement.java 2009-03-21 02:43:00.000000000 +0100 @@ -21,6 +21,9 @@ import org.w3c.dom.NamedNodeMap; import org.w3c.dom.Node; import org.w3c.dom.NodeList; +import org.w3c.dom.TypeInfo; +import org.w3c.dom.Attr; +import org.w3c.dom.UserDataHandler; /** *
@@ -389,6 +392,72 @@ return getDocumentFactory().createQName(localName, prefix, namespace); } + + // JDK6 API methods + public TypeInfo getSchemaTypeInfo() { + throw new UnsupportedOperationException(); + } + + public void setIdAttribute(String name, boolean isId) throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setIdAttributeNS(String namespaceURI, String localName, boolean isId) throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setIdAttributeNode(Attr idAttr, boolean isId) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } + } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMEntityReference.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMEntityReference.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMEntityReference.java 2005-05-16 15:28:45.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMEntityReference.java 2009-03-21 02:46:50.000000000 +0100 @@ -14,6 +14,8 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; /** *
@@ -166,6 +168,55 @@ public boolean hasAttributes() { return DOMNodeHelper.hasAttributes(this); } + + // JDK6 API methods + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMNamespace.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMNamespace.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMNamespace.java 2005-05-16 15:28:31.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMNamespace.java 2009-03-21 02:49:59.000000000 +0100 @@ -14,6 +14,8 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; /** *
@@ -140,6 +142,55 @@ public boolean hasAttributes() { return DOMNodeHelper.hasAttributes(this); } + + //JDK6 API methods + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMProcessingInstruction.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMProcessingInstruction.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMProcessingInstruction.java 2005-05-16 15:28:39.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMProcessingInstruction.java 2009-03-21 02:53:32.000000000 +0100 @@ -16,6 +16,9 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; + /** *
@@ -179,6 +182,57 @@ // Implementation methods // ------------------------------------------------------------------------- + + + // JDK6 API methods + + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } } /* diff -Nru dom4j-1.6.1/src/java/org/dom4j/dom/DOMText.java dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMText.java --- dom4j-1.6.1/src/java/org/dom4j/dom/DOMText.java 2005-05-16 15:28:50.000000000 +0200 +++ dom4j-1.6.1/src/java/org/dom4j/dom-gil/DOMText.java 2009-03-21 02:57:29.000000000 +0100 @@ -15,6 +15,8 @@ import org.w3c.dom.Document; import org.w3c.dom.NamedNodeMap; import org.w3c.dom.NodeList; +import org.w3c.dom.Node; +import org.w3c.dom.UserDataHandler; /** *
@@ -224,6 +226,67 @@ protected Text createText(String text) { return new DOMText(text); } + + // JDK6 API methods + public boolean isElementContentWhitespace() { + throw new UnsupportedOperationException(); + } + + public String getWholeText() { + throw new UnsupportedOperationException(); + } + + public org.w3c.dom.Text replaceWholeText(String content) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getBaseURI() { + throw new UnsupportedOperationException(); + } + + public short compareDocumentPosition(Node other) throws DOMException { + throw new UnsupportedOperationException(); + } + + public String getTextContent() throws DOMException { + throw new UnsupportedOperationException(); + } + + public void setTextContent(String textContent) throws DOMException { + throw new UnsupportedOperationException(); + } + + public boolean isSameNode(Node other) { + throw new UnsupportedOperationException(); + } + + public String lookupPrefix(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public boolean isDefaultNamespace(String namespaceURI) { + throw new UnsupportedOperationException(); + } + + public String lookupNamespaceURI(String prefix) { + throw new UnsupportedOperationException(); + } + + public boolean isEqualNode(Node arg) { + throw new UnsupportedOperationException(); + } + + public Object getFeature(String feature, String version) { + throw new UnsupportedOperationException(); + } + + public Object setUserData(String key, Object data, UserDataHandler handler) { + throw new UnsupportedOperationException(); + } + + public Object getUserData(String key) { + throw new UnsupportedOperationException(); + } } /*