changes to MGC class library

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

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index 2a32e897ed8b335036adcc5f7a21eab45feeba5a..adcd4efa6f296556f6a77ff1c015c09ffa0c1779 100644 (file)
--- 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;
     }
   }