From: Kees J. <ke...@us...> - 2009-11-08 20:09:10
|
Update of /cvsroot/mmapps/mmapps/simplexml/src/simplexml In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv24104/simplexml/src/simplexml Modified Files: XMLElement.java Log Message: Make simplexml compile against java 1.6. adapted the configuration reader to work with the new data types Index: XMLElement.java =================================================================== RCS file: /cvsroot/mmapps/mmapps/simplexml/src/simplexml/XMLElement.java,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** XMLElement.java 22 Jun 2005 13:22:04 -0000 1.3 --- XMLElement.java 8 Nov 2009 20:08:51 -0000 1.4 *************** *** 1501,1509 **** if (!this.attributes.isEmpty()) { ! Enumeration enum = this.attributes.keys(); ! while (enum.hasMoreElements()) { out.print(' '); ! String key = (String) (enum.nextElement()); String value = (String) (this.attributes.get(key)); out.print(key); --- 1501,1509 ---- if (!this.attributes.isEmpty()) { ! Enumeration item = this.attributes.keys(); ! while (item.hasMoreElements()) { out.print(' '); ! String key = (String) (item.nextElement()); String value = (String) (this.attributes.get(key)); out.print(key); *************** *** 1539,1546 **** } else { out.println('>'); ! Enumeration enum = this.enumerateChildren(); ! while (enum.hasMoreElements()) { ! XMLElement child = (XMLElement) (enum.nextElement()); child.write(writer, indent + 4); } --- 1539,1546 ---- } else { out.println('>'); ! Enumeration item = this.enumerateChildren(); ! while (item.hasMoreElements()) { ! XMLElement child = (XMLElement) (item.nextElement()); child.write(writer, indent + 4); } *************** *** 1664,1670 **** XMLElement xmle = new XMLElement(); xmle.setTagName(getTagName()); ! Enumeration enum = attributes.propertyNames(); ! while (enum.hasMoreElements()) { ! String propName = (String) enum.nextElement(); xmle.addProperty(propName, getProperty(propName)); } --- 1664,1670 ---- XMLElement xmle = new XMLElement(); xmle.setTagName(getTagName()); ! Enumeration item = attributes.propertyNames(); ! while (item.hasMoreElements()) { ! String propName = (String) item.nextElement(); xmle.addProperty(propName, getProperty(propName)); } |