changes to get clocks ticks, add stmlog option to log results in file

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

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index 162ff8246fd67a8775caaab2ad1dff8a054badd2..42ab24f9f60f1147bcc4680f78e4ada828a2d8b5 100644 (file)
--- a/Robust/src/ClassLibrary/Vector.java
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -9,7 +9,7 @@ public class Vector {
     array=new Object[10];
   }
 
-  public Vector( int size ) {
+  public Vector(int size) {
     capacityIncrement=0;
     this.size=0;
     array=new Object[size];
@@ -47,7 +47,7 @@ public class Vector {
   }
 
   public Object elementAt(int index) {
-    if (index<0 || index >=size) {
+    if (index<0 | index >=size) {
       System.printString("Illegal Vector.elementAt\n");
       System.exit(-1);
       return null;
@@ -117,12 +117,12 @@ public class Vector {
       System.printString("Illegal Vector.removeElementAt\n");
       System.exit(-1);
     }
-    removeElement(array, index);
+    removeElement(array, index, size);
     size--;
     array[size]=null;
   }
 
-  public static native void removeElement(Object[] array, int index);
+  public static native void removeElement(Object[] array, int index, int size);
 
   public void removeAllElements() {
     int s = size;