Merge pull request #17 from diffblue/string-buffer-reverse

Add support for StringBuilder.reverse

Author: peterschrammel

src/main/java/java/lang/StringBuilder.java

@@ -611,14 +611,22 @@ public int lastIndexOf(String str, int fromIndex) {
     }
 
     /**
-     * @diffblue.noSupport
+     * @diffblue.fullSupport
+     * @diffblue.untested
      */
     @Override
     public StringBuilder reverse() {
         // super.reverse();
         // return this;
-        CProver.notModelled();
-        return CProver.nondetWithNullForNotModelled();
+        int size = this.length();
+        if (size < 2)
+          return this;
+        String tmp = this.toString();
+        CProverString.delete(this, 0, size);
+        for (int i=size-1; i>=0; --i) {
+            this.append(CProverString.charAt(tmp, i));
+         }
+        return this;
     }
 
     /**