More class library support for SPECjbb

[IRC.git] / Robust / src / ClassLibrary / Vector.java

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index 42ab24f9f60f1147bcc4680f78e4ada828a2d8b5..5f506edf469550f02e0af76495e50b6cc9d97b83 100644 (file)
--- a/Robust/src/ClassLibrary/Vector.java
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -1,4 +1,4 @@
-public class Vector {
+public class Vector implements Set {
   Object[] array;
   int size;
   int capacityIncrement;
@@ -95,6 +95,14 @@ public class Vector {
     }
     array[size++]=obj;
   }
+  
+  public boolean add(Object obj) {
+    if (size==array.length) {
+      ensureCapacity(size+1);
+    }
+    array[size++]=obj;
+    return true;
+  }
 
   public void insertElementAt(Object obj, int index) {
     if (index<0||index>size) {
@@ -130,4 +138,20 @@ public class Vector {
       removeElementAt(0);
     }
   }
+  
+  public Object[] toArray() {
+    Object[] tarray = new Object[this.size];
+    for(int i = 0; i < this.size; i++) {
+      tarray[i] = this.array[i];
+    }
+    return tarray;
+  }
+  
+  public Vector(Set s) {
+    Object[] sarray = s.toArray();
+    capacityIncrement=0;
+    this.size=sarray.length;
+    array=sarray;
+  }
+  
 }