Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / src / edu / tamu / aser / rvtest / stringbuffer / StringBuffer.java

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/stringbuffer/StringBuffer.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/stringbuffer/StringBuffer.java
new file mode 100644 (file)
index 0000000..4c957da
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/stringbuffer/StringBuffer.java
@@ -0,0 +1,104 @@
+package edu.tamu.aser.rvtest.stringbuffer;
+
+/**
+ * simplify the stringBuffer benchmark for debugging a chosen index error
+ * @author Alan
+ *
+ */
+
+public final class StringBuffer
+//        implements java.io.Serializable, CharSequence
+{
+
+    private char value[];
+
+    private int count;
+
+    private boolean shared;
+
+    //synchronized
+    public synchronized int length() {
+        return count;
+    }
+
+    private final void copy() {
+        char newValue[] = new char[value.length];
+        System.arraycopy(value, 0, newValue, 0, count);
+        value = newValue;
+        shared = false;
+    }
+
+   
+    private void expandCapacity(int minimumCapacity) {
+        int newCapacity = (value.length + 1) * 2;
+        if (newCapacity < 0) {
+            newCapacity = Integer.MAX_VALUE;
+        } else if (minimumCapacity > newCapacity) {
+            newCapacity = minimumCapacity;
+        }
+
+        char newValue[] = new char[newCapacity];
+        System.arraycopy(value, 0, newValue, 0, count);
+        value = newValue;
+        shared = false;
+    }
+
+  
+    //synchronized
+    public synchronized void getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) {
+        System.arraycopy(value, srcBegin, dst, dstBegin, srcEnd - srcBegin);
+    }
+    
+    public StringBuffer(int length) {
+        value = new char[length];
+        shared = false;
+    }
+    
+    public StringBuffer(String str) {
+        this(str.length() + 16);
+        append(str);
+    }
+    
+    public synchronized StringBuffer append(String str) {
+        if (str == null) {
+            str = String.valueOf(str);
+        }
+
+        int len = str.length();
+        int newcount = count + len;
+        if (newcount > value.length)
+            expandCapacity(newcount);
+        str.getChars(0, len, value, count);
+        count = newcount;
+        return this;
+    }
+
+
+    public synchronized StringBuffer append(StringBuffer sb) {
+        int len = sb.length();
+        int newcount = count + len;
+        if (newcount > value.length)
+            expandCapacity(newcount);
+        
+        sb.getChars(0, len, value, count);
+        count = newcount;
+        return this;
+    }
+
+    public synchronized StringBuffer delete(int start, int end) {
+        int len = end - start;
+        if (len > 0) {
+            if (shared)
+                copy();
+            System.arraycopy(value, start+len, value, start, count-end);
+            count -= len;
+        }
+        return this;
+    }
+    
+    
+    public String toString() {
+       return new String(value);
+        }
+}
+