Method getChars

lib/java/lang/AbstractStringBuilder.java:282–287

Copies the requested sequence of characters to the char[] passed starting at destStart. @param start the inclusive start index of the characters to copy. @param end the exclusive end index of the characters to copy. @param dest the char[] to

(int start, int end, char[] dest, int destStart)

     *             {@code dest.length}.
     */
    public void getChars(int start, int end, char[] dest, int destStart) {
        if (start > count || end > count || start > end) {
            throw new StringIndexOutOfBoundsException();
        }
        System.arraycopy(value, start, dest, destStart, end - start);
    }

    final void insert0(int index, char[] chars) {
        if (0 > index || index > count) {