add more stuff to stringbuffer

diff --git a/Robust/src/ClassLibrary/StringBuffer.java b/Robust/src/ClassLibrary/StringBuffer.java
index 0aa1a2d9681eb619dd0c2d8e033ca5e12fe7ac80..88e6c0cc16b656aaa63051f51cd32471361faf12 100644 (file)
--- 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