summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2010-04-17 12:48:39 +0200
committerDavid A. Madore <david+git@madore.org>2010-04-17 12:48:39 +0200
commita77ed7204b83823fac21175ecd5ee6565fd71ea7 (patch)
tree131db4b538c2f4a831f0cd14220f2009335aff61
parent6cba05247ae4e6c202c4c126a535b17526f71127 (diff)
downloaddamlengine-a77ed7204b83823fac21175ecd5ee6565fd71ea7.tar.gz
damlengine-a77ed7204b83823fac21175ecd5ee6565fd71ea7.tar.bz2
damlengine-a77ed7204b83823fac21175ecd5ee6565fd71ea7.zip
Use ArrayList (supposedly faster because unsynchonized) rather than Vector.
-rw-r--r--org/madore/damlengine/TodoDefaultElement.java6
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,