X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FVector.java;h=adcd4efa6f296556f6a77ff1c015c09ffa0c1779;hb=57888a70a5a1d240517f542b7b3245086a94e0c8;hp=2a32e897ed8b335036adcc5f7a21eab45feeba5a;hpb=881569ea7a449a14bbba6b5cc3028401cf195826;p=IRC.git

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index 2a32e897..adcd4efa 100644
--- a/Robust/src/ClassLibrary/Vector.java
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -14,7 +14,7 @@ public class Vector {
     this.size=0;
     array=new Object[size];
   }
-  
+
   //used for internal cloning
   private Vector(int size, int capacityIncrement, Object[] array) {
     this.size = size;
@@ -22,7 +22,7 @@ public class Vector {
     this.array = new Object[array.length];
     System.arraycopy(array, 0, this.array, 0, size);
   }
-  
+
   public Vector clone() {
     return new Vector(size,capacityIncrement, array);
   }
@@ -43,7 +43,7 @@ public class Vector {
   public int indexOf(Object elem, int index) {
     for(int i=index; i<size; i++) {
       if (elem.equals(array[i]))
-	return i;
+        return i;
     }
     return -1;
   }
@@ -58,7 +58,7 @@ public class Vector {
       removeElementAt(in);
       return true;
     }
-    
+
     return false;
   }
 
@@ -84,14 +84,14 @@ public class Vector {
     if (minCapacity>array.length) {
       int newsize;
       if (capacityIncrement<=0)
-	newsize=array.length*2;
+        newsize=array.length*2;
       else
-	newsize=array.length+capacityIncrement;
+        newsize=array.length+capacityIncrement;
       if (newsize<minCapacity)
-	newsize=minCapacity;
+        newsize=minCapacity;
       Object [] newarray=new Object[newsize];
       for(int i=0; i<size; i++)
-	newarray[i]=array[i];
+        newarray[i]=array[i];
       array=newarray;
     }
   }