diff options
| author | David A. Madore <david+git@madore.org> | 2010-04-17 12:48:39 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2010-04-17 12:48:39 +0200 |
| commit | a77ed7204b83823fac21175ecd5ee6565fd71ea7 (patch) | |
| tree | 131db4b538c2f4a831f0cd14220f2009335aff61 /org | |
| parent | 6cba05247ae4e6c202c4c126a535b17526f71127 (diff) | |
| download | damlengine-a77ed7204b83823fac21175ecd5ee6565fd71ea7.tar.gz damlengine-a77ed7204b83823fac21175ecd5ee6565fd71ea7.tar.bz2 damlengine-a77ed7204b83823fac21175ecd5ee6565fd71ea7.zip | |
Use ArrayList (supposedly faster because unsynchonized) rather than Vector.
Diffstat (limited to 'org')
| -rw-r--r-- | org/madore/damlengine/TodoDefaultElement.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/org/madore/damlengine/TodoDefaultElement.java b/org/madore/damlengine/TodoDefaultElement.java index 4041f82..942bca1 100644 --- a/org/madore/damlengine/TodoDefaultElement.java +++ b/org/madore/damlengine/TodoDefaultElement.java @@ -2,7 +2,7 @@ package org.madore.damlengine; import java.util.Map; import java.util.HashMap; -import java.util.Vector; +import java.util.ArrayList; import org.w3c.dom.*; public class TodoDefaultElement extends TodoElement { @@ -24,7 +24,7 @@ public class TodoDefaultElement extends TodoElement { public void handleAttributes() { NamedNodeMap attrs = this.node.getAttributes(); Node attr; - Vector<TodoAttr> toProcess = new Vector<TodoAttr>(); + ArrayList<TodoAttr> toProcess = new ArrayList<TodoAttr>(); for ( int i=0 ; (attr=attrs.item(i)) != null ; i++ ) { TodoAttr it = TodoAttr.getTodoAttr((Attr)attr, this.node, this.context, new HashMap<String,Object>()); @@ -38,7 +38,7 @@ public class TodoDefaultElement extends TodoElement { System.err.println("handling a "+this.node.getNodeName()+" element"); NodeList children = this.node.getChildNodes(); Node child; - Vector<TodoElement> toProcess = new Vector<TodoElement>(); + ArrayList<TodoElement> toProcess = new ArrayList<TodoElement>(); for ( int i=0 ; (child=children.item(i)) != null ; i++ ) { if ( child.getNodeType() == Node.ELEMENT_NODE ) { TodoElement it = TodoElement.getTodoElement((Element)child, this.context, |