From 8d8315c7695abc71d18da03ab0546e7af8215b7d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 19 Nov 2009 01:58:32 +0000
Subject: [PATCH] add more stuff to stringbuffer

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

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