Bommels05/BefatorNix
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

maven 1.0 work

Browse Source
This commit is contained in:
Some One committed 2025-09-17 23:24:29 +02:00
1 parent 964e15fd5e
commit d689f8ef20
63 files changed
+2357 -15
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

java/dom4j.patch
+752
View File
@@ -0,0 +1,752 @@
diff --git a/src/java/org/dom4j/dom/DOMAttribute.java b/src/java/org/dom4j/dom/DOMAttribute.java
index 7c9a7c0..d2d05bf 100644
--- a/src/java/org/dom4j/dom/DOMAttribute.java
+++ b/src/java/org/dom4j/dom/DOMAttribute.java
@@ -167,6 +167,54 @@ public class DOMAttribute extends DefaultAttribute implements org.w3c.dom.Attr {
return DOMNodeHelper.hasAttributes(this);
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// org.w3c.dom.Attr interface
// -------------------------------------------------------------------------
// public String getName();
@@ -179,6 +227,15 @@ public class DOMAttribute extends DefaultAttribute implements org.w3c.dom.Attr {
public org.w3c.dom.Element getOwnerElement() {
return DOMNodeHelper.asDOMElement(getParent());
}
+
+ public boolean isId() {
+ throw new UnsupportedOperationException();
+ }
+
+ public org.w3c.dom.TypeInfo getSchemaTypeInfo() {
+ throw new UnsupportedOperationException();
+ }
+
}
/*
diff --git a/src/java/org/dom4j/dom/DOMCDATA.java b/src/java/org/dom4j/dom/DOMCDATA.java
index 21456e3..4d92b59 100644
--- a/src/java/org/dom4j/dom/DOMCDATA.java
+++ b/src/java/org/dom4j/dom/DOMCDATA.java
@@ -155,6 +155,54 @@ public class DOMCDATA extends DefaultCDATA implements org.w3c.dom.CDATASection {
return DOMNodeHelper.hasAttributes(this);
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// org.w3c.dom.CharacterData interface
// -------------------------------------------------------------------------
public String getData() throws DOMException {
@@ -220,6 +268,18 @@ public class DOMCDATA extends DefaultCDATA implements org.w3c.dom.CDATASection {
}
}
+ public String getWholeText() {
+ throw new UnsupportedOperationException();
+ }
+
+ public org.w3c.dom.Text replaceWholeText(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isElementContentWhitespace() {
+ throw new UnsupportedOperationException();
+ }
+
// Implementation methods
// -------------------------------------------------------------------------
protected CDATA createCDATA(String text) {
diff --git a/src/java/org/dom4j/dom/DOMComment.java b/src/java/org/dom4j/dom/DOMComment.java
index ffb33e6..4807d0f 100644
--- a/src/java/org/dom4j/dom/DOMComment.java
+++ b/src/java/org/dom4j/dom/DOMComment.java
@@ -58,6 +58,54 @@ public class DOMComment extends DefaultComment implements org.w3c.dom.Comment {
return "#comment";
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// already part of API
//
// public short getNodeType();
diff --git a/src/java/org/dom4j/dom/DOMDocument.java b/src/java/org/dom4j/dom/DOMDocument.java
index 6d023a7..820f11f 100644
--- a/src/java/org/dom4j/dom/DOMDocument.java
+++ b/src/java/org/dom4j/dom/DOMDocument.java
@@ -193,6 +193,54 @@ public class DOMDocument extends DefaultDocument implements Document {
return DOMNodeHelper.hasAttributes(this);
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// org.w3c.dom.Document interface
// -------------------------------------------------------------------------
public NodeList getElementsByTagName(String name) {
@@ -292,6 +340,62 @@ public class DOMDocument extends DefaultDocument implements Document {
return DOMNodeHelper.asDOMElement(elementByID(elementId));
}
+ public org.w3c.dom.Node renameNode(org.w3c.dom.Node node, String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void normalizeDocument() {
+ throw new UnsupportedOperationException();
+ }
+
+ public org.w3c.dom.DOMConfiguration getDomConfig() {
+ throw new UnsupportedOperationException();
+ }
+
+ public org.w3c.dom.Node adoptNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setDocumentURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getDocumentURI() {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setStrictErrorChecking(boolean b) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean getStrictErrorChecking() {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setXmlVersion(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getXmlVersion() {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setXmlStandalone(boolean b) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean getXmlStandalone() {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getXmlEncoding() {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getInputEncoding() {
+ throw new UnsupportedOperationException();
+ }
+
// Implementation methods
// -------------------------------------------------------------------------
protected DocumentFactory getDocumentFactory() {
diff --git a/src/java/org/dom4j/dom/DOMDocumentFactory.java b/src/java/org/dom4j/dom/DOMDocumentFactory.java
index cd601a3..800805c 100644
--- a/src/java/org/dom4j/dom/DOMDocumentFactory.java
+++ b/src/java/org/dom4j/dom/DOMDocumentFactory.java
@@ -174,6 +174,10 @@ public class DOMDocumentFactory extends DocumentFactory implements
docType.getPublicId(), docType.getSystemId());
}
}
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
}
@@ -213,4 +217,4 @@ public class DOMDocumentFactory extends DocumentFactory implements
* POSSIBILITY OF SUCH DAMAGE.
*
* Copyright 2001-2005 (C) MetaStuff, Ltd. All Rights Reserved.
- */
\ No newline at end of file
+ */
diff --git a/src/java/org/dom4j/dom/DOMDocumentType.java b/src/java/org/dom4j/dom/DOMDocumentType.java
index aad5354..3c272b4 100644
--- a/src/java/org/dom4j/dom/DOMDocumentType.java
+++ b/src/java/org/dom4j/dom/DOMDocumentType.java
@@ -156,6 +156,54 @@ public class DOMDocumentType extends DefaultDocumentType implements
return DOMNodeHelper.hasAttributes(this);
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// org.w3c.dom.DocumentType interface
// -------------------------------------------------------------------------
public NamedNodeMap getEntities() {
diff --git a/src/java/org/dom4j/dom/DOMElement.java b/src/java/org/dom4j/dom/DOMElement.java
index 7c9cb87..9caea9f 100644
--- a/src/java/org/dom4j/dom/DOMElement.java
+++ b/src/java/org/dom4j/dom/DOMElement.java
@@ -176,6 +176,54 @@ public class DOMElement extends DefaultElement implements org.w3c.dom.Element {
return DOMNodeHelper.hasAttributes(this);
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// org.w3c.dom.Element interface
// -------------------------------------------------------------------------
public String getTagName() {
@@ -328,6 +376,22 @@ public class DOMElement extends DefaultElement implements org.w3c.dom.Element {
return attribute(namespaceURI, localName) != null;
}
+ public void setIdAttributeNode(org.w3c.dom.Attr attr, boolean b) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setIdAttributeNS(String s, String s2, boolean b) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setIdAttribute(String s, boolean b) {
+ throw new UnsupportedOperationException();
+ }
+
+ public org.w3c.dom.TypeInfo getSchemaTypeInfo() {
+ throw new UnsupportedOperationException();
+ }
+
// Implementation methods
// -------------------------------------------------------------------------
protected DocumentFactory getDocumentFactory() {
diff --git a/src/java/org/dom4j/dom/DOMEntityReference.java b/src/java/org/dom4j/dom/DOMEntityReference.java
index fae9cf5..0b7affa 100644
--- a/src/java/org/dom4j/dom/DOMEntityReference.java
+++ b/src/java/org/dom4j/dom/DOMEntityReference.java
@@ -166,6 +166,54 @@ public class DOMEntityReference extends DefaultEntity implements
public boolean hasAttributes() {
return DOMNodeHelper.hasAttributes(this);
}
+
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
}
/*
diff --git a/src/java/org/dom4j/dom/DOMNamespace.java b/src/java/org/dom4j/dom/DOMNamespace.java
index 89fcbb1..ab90a98 100644
--- a/src/java/org/dom4j/dom/DOMNamespace.java
+++ b/src/java/org/dom4j/dom/DOMNamespace.java
@@ -140,6 +140,54 @@ public class DOMNamespace extends DefaultNamespace implements org.w3c.dom.Node {
public boolean hasAttributes() {
return DOMNodeHelper.hasAttributes(this);
}
+
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
}
/*
diff --git a/src/java/org/dom4j/dom/DOMProcessingInstruction.java b/src/java/org/dom4j/dom/DOMProcessingInstruction.java
index 27db3a1..9f1f5f5 100644
--- a/src/java/org/dom4j/dom/DOMProcessingInstruction.java
+++ b/src/java/org/dom4j/dom/DOMProcessingInstruction.java
@@ -66,6 +66,54 @@ public class DOMProcessingInstruction extends DefaultProcessingInstruction
return getName();
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// already part of API
//
// public short getNodeType();
diff --git a/src/java/org/dom4j/dom/DOMText.java b/src/java/org/dom4j/dom/DOMText.java
index 906943a..979c9cf 100644
--- a/src/java/org/dom4j/dom/DOMText.java
+++ b/src/java/org/dom4j/dom/DOMText.java
@@ -154,6 +154,54 @@ public class DOMText extends DefaultText implements org.w3c.dom.Text {
return DOMNodeHelper.hasAttributes(this);
}
+ public Object getUserData(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object setUserData(String s, Object o, org.w3c.dom.UserDataHandler handler) {
+ throw new UnsupportedOperationException();
+ }
+
+ public Object getFeature(String s, String s2) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isEqualNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupNamespaceURI(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isDefaultNamespace(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String lookupPrefix(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isSameNode(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public void setTextContent(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getTextContent() {
+ throw new UnsupportedOperationException();
+ }
+
+ public short compareDocumentPosition(org.w3c.dom.Node node) {
+ throw new UnsupportedOperationException();
+ }
+
+ public String getBaseURI() {
+ throw new UnsupportedOperationException();
+ }
+
// org.w3c.dom.CharacterData interface
// -------------------------------------------------------------------------
public String getData() throws DOMException {
@@ -219,6 +267,18 @@ public class DOMText extends DefaultText implements org.w3c.dom.Text {
}
}
+ public String getWholeText() {
+ throw new UnsupportedOperationException();
+ }
+
+ public org.w3c.dom.Text replaceWholeText(String s) {
+ throw new UnsupportedOperationException();
+ }
+
+ public boolean isElementContentWhitespace() {
+ throw new UnsupportedOperationException();
+ }
+
// Implementation methods
// -------------------------------------------------------------------------
protected Text createText(String text) {