From: jjenista <jjenista>
Date: Mon, 23 Feb 2009 23:14:33 +0000 (+0000)
Subject: constructor to specify initial capacity
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=5a8797b97fb068c88df74deff350c8ef3baac4be;hp=d355790f8117de54609025fb252bcc45620b75b3;p=IRC.git

constructor to specify initial capacity
---

diff --git a/Robust/src/ClassLibrary/Vector.java b/Robust/src/ClassLibrary/Vector.java
index 2cb0a8fc..bd148938 100644
--- a/Robust/src/ClassLibrary/Vector.java
+++ b/Robust/src/ClassLibrary/Vector.java
@@ -9,6 +9,12 @@ public class Vector {
     array=new Object[10];
   }
 
+  public Vector( int size ) {
+    capacityIncrement=0;
+    this.size=0;
+    array=new Object[size];
+  }
+
   public void clear() {
     size=0;
     array=new Object[10];