1 | while (it.hasNext()) {↵ | | 1 | while (↵
|
2 | Element child = (Element) it.next();↵ | | |
|
3 | // skip non-matching elements↵ | | |
|
4 | if (child.getName().equals("handler") == false)↵ | | |
|
5 | continue;↵ | | |
|
6 | String id = child.getAttributeValue(XML_ATTRIBUTE_ID↵ | | 2 | enumeration.hasMoreElements()) {↵
|
| | | 3 | TableColumn tc = (TableColumn) enumeration.nextElement();↵
|
| | | 4 | String name = (String) tc.getHeaderValue();↵
|
|
| | | 5 | XmlElement column = new XmlElement("column");↵
|
7 | );↵ | | 6 | column.addAttribute("name", name);↵
|
|
8 | String parent = child.getAttributeValue(XML_ATTRIBUTE_PARENT↵ | | 7 | // save width↵
|
9 | );↵ | | 8 | int size = tc.getWidth();↵
|
|
10 | ExtensionHandlerMetadata metadata = new ExtensionHandlerMetadata(↵ | | 9 | ↵
|
11 | id, parent);↵ | | |
|
|
12 | vector↵ | | 10 | column.addAttribute("width", Integer.toString(size));↵
|
|
13 | .add(metadata);↵ | | 11 | columns.addElement(column);↵
|
14 | } | | 12 | }
|