(int size)
| 163 | } |
| 164 | |
| 165 | protected void initBuff(int size) { |
| 166 | if (buf == null) { |
| 167 | if (size < 32) { |
| 168 | buf = new char[32]; |
| 169 | } else { |
| 170 | buf = new char[size + 32]; |
| 171 | } |
| 172 | } else if (buf.length < size) { |
| 173 | buf = Arrays.copyOf(buf, size); |
| 174 | } |
| 175 | } |
| 176 | |
| 177 | public void arraycopy(int srcPos, char[] dest, int destPos, int length) { |
| 178 | text.getChars(srcPos, srcPos + length, dest, destPos); |
no outgoing calls
no test coverage detected