equal
deleted
inserted
replaced
359 while (true) { |
359 while (true) { |
360 if ((elem = next()) != null) { |
360 if ((elem = next()) != null) { |
361 System.out.println("elem: " + elem.getName()); |
361 System.out.println("elem: " + elem.getName()); |
362 AttributeSet attr = elem.getAttributes(); |
362 AttributeSet attr = elem.getAttributes(); |
363 String s = ""; |
363 String s = ""; |
364 Enumeration names = attr.getAttributeNames(); |
364 Enumeration<?> names = attr.getAttributeNames(); |
365 while (names.hasMoreElements()) { |
365 while (names.hasMoreElements()) { |
366 Object key = names.nextElement(); |
366 Object key = names.nextElement(); |
367 Object value = attr.getAttribute(key); |
367 Object value = attr.getAttribute(key); |
368 if (value instanceof AttributeSet) { |
368 if (value instanceof AttributeSet) { |
369 // don't go recursive |
369 // don't go recursive |