From: bdemsky <bdemsky>
Date: Thu, 19 Nov 2009 01:58:32 +0000 (+0000)
Subject: add more stuff to stringbuffer
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=commitdiff_plain;h=8d8315c7695abc71d18da03ab0546e7af8215b7d

add more stuff to stringbuffer
---

diff --git a/Robust/src/ClassLibrary/StringBuffer.java b/Robust/src/ClassLibrary/StringBuffer.java
index 0aa1a2d9..88e6c0cc 100644
--- a/Robust/src/ClassLibrary/StringBuffer.java
+++ b/Robust/src/ClassLibrary/StringBuffer.java
@@ -15,6 +15,11 @@ public class StringBuffer {
     count=0;
   }
 
+    public StringBuffer(int i) {
+	value=new char[i];
+	count=0;
+    }
+
   public int length() {
     return count;
   }
@@ -50,6 +55,18 @@ public class StringBuffer {
     return this;
   }
 
+    public void ensureCapacity(int i) {
+	int size=2*count;
+	if (i>size)
+	    size=i;
+	if (i>value.length) {
+	    char newvalue[]=new char[i];
+	    for(int ii=0;ii<count;ii++)
+		newvalue[ii]=value[ii];
+	    value=newvalue;
+	}
+    }
+
   public StringBuffer append(StringBuffer s) {
     if ((s.count+count)>value.length) {
       // Need to allocate