diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
commit | 1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch) | |
tree | e48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-java/nanoxml/files/nanoxml-2.2.3-enum.patch | |
parent | d87262dd706fec50cd150aab3e93883b6337466d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-java/nanoxml/files/nanoxml-2.2.3-enum.patch')
-rw-r--r-- | dev-java/nanoxml/files/nanoxml-2.2.3-enum.patch | 208 |
1 files changed, 0 insertions, 208 deletions
diff --git a/dev-java/nanoxml/files/nanoxml-2.2.3-enum.patch b/dev-java/nanoxml/files/nanoxml-2.2.3-enum.patch deleted file mode 100644 index f3992f845b85..000000000000 --- a/dev-java/nanoxml/files/nanoxml-2.2.3-enum.patch +++ /dev/null @@ -1,208 +0,0 @@ ---- a/Sources/Java/net/n3/nanoxml/XMLElement.java.orig 2016-03-04 09:21:07.908000000 +0000 -+++ a/Sources/Java/net/n3/nanoxml/XMLElement.java 2016-03-04 09:35:16.283000000 +0000 -@@ -484,9 +484,9 @@ - * @return the child element, or null if no such child was found. - */ - public IXMLElement getFirstChildNamed(String name) { -- Enumeration enum = this.children.elements(); -- while (enum.hasMoreElements()) { -- IXMLElement child = (IXMLElement) enum.nextElement(); -+ Enumeration myEnum = this.children.elements(); -+ while (myEnum.hasMoreElements()) { -+ IXMLElement child = (IXMLElement) myEnum.nextElement(); - String childName = child.getFullName(); - if ((childName != null) && childName.equals(name)) { - return child; -@@ -506,9 +506,9 @@ - */ - public IXMLElement getFirstChildNamed(String name, - String namespace) { -- Enumeration enum = this.children.elements(); -- while (enum.hasMoreElements()) { -- IXMLElement child = (IXMLElement) enum.nextElement(); -+ Enumeration myEnum = this.children.elements(); -+ while (myEnum.hasMoreElements()) { -+ IXMLElement child = (IXMLElement) myEnum.nextElement(); - String str = child.getName(); - boolean found = (str != null) && (str.equals(name)); - str = child.getNamespace(); -@@ -534,9 +534,9 @@ - */ - public Vector getChildrenNamed(String name) { - Vector result = new Vector(this.children.size()); -- Enumeration enum = this.children.elements(); -- while (enum.hasMoreElements()) { -- IXMLElement child = (IXMLElement) enum.nextElement(); -+ Enumeration myEnum = this.children.elements(); -+ while (myEnum.hasMoreElements()) { -+ IXMLElement child = (IXMLElement) myEnum.nextElement(); - String childName = child.getFullName(); - if ((childName != null) && childName.equals(name)) { - result.addElement(child); -@@ -557,9 +557,9 @@ - public Vector getChildrenNamed(String name, - String namespace) { - Vector result = new Vector(this.children.size()); -- Enumeration enum = this.children.elements(); -- while (enum.hasMoreElements()) { -- IXMLElement child = (IXMLElement) enum.nextElement(); -+ Enumeration myEnum = this.children.elements(); -+ while (myEnum.hasMoreElements()) { -+ IXMLElement child = (IXMLElement) myEnum.nextElement(); - String str = child.getName(); - boolean found = (str != null) && (str.equals(name)); - str = child.getNamespace(); -@@ -585,9 +585,9 @@ - * @return the attribute, or null if the attribute does not exist. - */ - private XMLAttribute findAttribute(String fullName) { -- Enumeration enum = this.attributes.elements(); -- while (enum.hasMoreElements()) { -- XMLAttribute attr = (XMLAttribute) enum.nextElement(); -+ Enumeration myEnum = this.attributes.elements(); -+ while (myEnum.hasMoreElements()) { -+ XMLAttribute attr = (XMLAttribute) myEnum.nextElement(); - if (attr.getFullName().equals(fullName)) { - return attr; - } -@@ -606,9 +606,9 @@ - */ - private XMLAttribute findAttribute(String name, - String namespace) { -- Enumeration enum = this.attributes.elements(); -- while (enum.hasMoreElements()) { -- XMLAttribute attr = (XMLAttribute) enum.nextElement(); -+ Enumeration myEnum = this.attributes.elements(); -+ while (myEnum.hasMoreElements()) { -+ XMLAttribute attr = (XMLAttribute) myEnum.nextElement(); - boolean found = attr.getName().equals(name); - if (namespace == null) { - found &= (attr.getNamespace() == null); -@@ -860,9 +860,9 @@ - */ - public Enumeration enumerateAttributeNames() { - Vector result = new Vector(); -- Enumeration enum = this.attributes.elements(); -- while (enum.hasMoreElements()) { -- XMLAttribute attr = (XMLAttribute) enum.nextElement(); -+ Enumeration myEnum = this.attributes.elements(); -+ while (myEnum.hasMoreElements()) { -+ XMLAttribute attr = (XMLAttribute) myEnum.nextElement(); - result.addElement(attr.getFullName()); - } - return result.elements(); -@@ -897,9 +897,9 @@ - */ - public Properties getAttributes() { - Properties result = new Properties(); -- Enumeration enum = this.attributes.elements(); -- while (enum.hasMoreElements()) { -- XMLAttribute attr = (XMLAttribute) enum.nextElement(); -+ Enumeration myEnum = this.attributes.elements(); -+ while (myEnum.hasMoreElements()) { -+ XMLAttribute attr = (XMLAttribute) myEnum.nextElement(); - result.put(attr.getFullName(), attr.getValue()); - } - return result; -@@ -915,9 +915,9 @@ - */ - public Properties getAttributesInNamespace(String namespace) { - Properties result = new Properties(); -- Enumeration enum = this.attributes.elements(); -- while (enum.hasMoreElements()) { -- XMLAttribute attr = (XMLAttribute) enum.nextElement(); -+ Enumeration myEnum = this.attributes.elements(); -+ while (myEnum.hasMoreElements()) { -+ XMLAttribute attr = (XMLAttribute) myEnum.nextElement(); - if (namespace == null) { - if (attr.getNamespace() == null) { - result.put(attr.getName(), attr.getValue()); -@@ -1007,9 +1007,9 @@ - if (this.attributes.size() != elt.getAttributeCount()) { - return false; - } -- Enumeration enum = this.attributes.elements(); -- while (enum.hasMoreElements()) { -- XMLAttribute attr = (XMLAttribute) enum.nextElement(); -+ Enumeration myEnum = this.attributes.elements(); -+ while (myEnum.hasMoreElements()) { -+ XMLAttribute attr = (XMLAttribute) myEnum.nextElement(); - if (! elt.hasAttribute(attr.getName(), attr.getNamespace())) { - return false; - } ---- a/Sources/Java/net/n3/nanoxml/NonValidator.java.orig 2016-03-04 09:36:05.247000000 +0000 -+++ a/Sources/Java/net/n3/nanoxml/NonValidator.java 2016-03-04 09:36:25.195000000 +0000 -@@ -587,10 +587,10 @@ - int lineNr) - { - Properties props = (Properties) this.currentElements.pop(); -- Enumeration enum = props.keys(); -+ Enumeration myEnum = props.keys(); - -- while (enum.hasMoreElements()) { -- String key = (String) enum.nextElement(); -+ while (myEnum.hasMoreElements()) { -+ String key = (String) myEnum.nextElement(); - extraAttributes.put(key, props.get(key)); - } - } ---- a/Sources/Java/net/n3/nanoxml/XMLWriter.java.orig 2016-03-04 09:36:53.616000000 +0000 -+++ a/Sources/Java/net/n3/nanoxml/XMLWriter.java 2016-03-04 09:38:11.868000000 +0000 -@@ -182,10 +182,10 @@ - } - } - -- Enumeration enum = xml.enumerateAttributeNames(); -+ Enumeration myEnum = xml.enumerateAttributeNames(); - -- while (enum.hasMoreElements()) { -- String key = (String) enum.nextElement(); -+ while (myEnum.hasMoreElements()) { -+ String key = (String) myEnum.nextElement(); - int index = key.indexOf(':'); - - if (index >= 0) { -@@ -203,10 +203,10 @@ - } - } - -- enum = xml.enumerateAttributeNames(); -+ myEnum = xml.enumerateAttributeNames(); - -- while (enum.hasMoreElements()) { -- String key = (String) enum.nextElement(); -+ while (myEnum.hasMoreElements()) { -+ String key = (String) myEnum.nextElement(); - String value = xml.getAttribute(key, null); - this.writer.print(" " + key + "=\""); - this.writeEncoded(value); -@@ -229,10 +229,10 @@ - writer.println(); - } - -- enum = xml.enumerateChildren(); -+ myEnum = xml.enumerateChildren(); - -- while (enum.hasMoreElements()) { -- IXMLElement child = (IXMLElement) enum.nextElement(); -+ while (myEnum.hasMoreElements()) { -+ IXMLElement child = (IXMLElement) myEnum.nextElement(); - this.write(child, prettyPrint, indent + 4, - collapseEmptyElements); - } ---- a/Sources/Java/net/n3/nanoxml/StdXMLParser.java.orig 2016-03-04 09:38:44.521000000 +0000 -+++ a/Sources/Java/net/n3/nanoxml/StdXMLParser.java 2016-03-04 09:39:08.028000000 +0000 -@@ -492,10 +492,10 @@ - extraAttributes, - this.reader.getSystemID(), - this.reader.getLineNr()); -- Enumeration enum = extraAttributes.keys(); -+ Enumeration myEnum = extraAttributes.keys(); - -- while (enum.hasMoreElements()) { -- String key = (String) enum.nextElement(); -+ while (myEnum.hasMoreElements()) { -+ String key = (String) myEnum.nextElement(); - String value = extraAttributes.getProperty(key); - attrNames.addElement(key); - attrValues.addElement(value); |