Merge pull request #29 from diffblue/danpoe/feature/string-method-models

Add models for setLength() and setCharAt() of StringBuilder

Author: danpoe

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

@@ -679,4 +679,29 @@ public void getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) {
         toString().getChars(srcBegin, srcEnd, dst, dstBegin);
     }
 
+    /**
+     * @throws IndexOutOfBoundsException {@inheritDoc}
+     * @see    #length()
+     *
+     * @diffblue.fullSupport
+     */
+    @Override
+    public void setLength(int newLength) {
+        if (newLength < 0)
+            throw new StringIndexOutOfBoundsException(newLength);
+        CProverString.setLength(this, newLength);
+    }
+
+    /**
+     * @throws IndexOutOfBoundsException {@inheritDoc}
+     * @see    #length()
+     *
+     * @diffblue.fullSupport
+     */
+    @Override
+    public void setCharAt(int index, char ch) {
+        if ((index < 0) || (index >= this.length()))
+            throw new StringIndexOutOfBoundsException(index);
+        CProverString.setCharAt(this, index, ch);
+    }
 }

src/main/java/org/cprover/CProverString.java

@@ -181,6 +181,15 @@ public static StringBuilder insert(
     public static void setLength(StringBuffer instance, int newLength) {
     }
 
+    /**
+     * Sets the length of the character sequence.
+     *
+     * @param      instance    the StringBuilder instance
+     * @param      newLength   the new length
+     */
+    public static void setLength(StringBuilder instance, int newLength) {
+    }
+
     /**
      * Returns the {@code char} value in this sequence at the specified index.
      *
@@ -202,6 +211,16 @@ public static char charAt(StringBuffer instance, int index) {
     public static void setCharAt(StringBuffer instance, int index, char c) {
     }
 
+    /**
+     * The character at the specified index is set to {@code ch}.
+     *
+     * @param      instance    the StringBuilder instance
+     * @param      index       the index of the character to modify.
+     * @param      c           the new character.
+     */
+    public static void setCharAt(StringBuilder instance, int index, char c) {
+    }
+
     /**
      * Removes the characters in a substring of this sequence.
      *