From 5a8797b97fb068c88df74deff350c8ef3baac4be Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 23 Feb 2009 23:14:33 +0000
Subject: [PATCH] constructor to specify initial capacity

---
 Robust/src/ClassLibrary/Vector.java | 6 ++++++
 1 file changed, 6 insertions(+)

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];
-- 
2.34.1