(int srcPos, char[] dest, int destPos, int length)
| 175 | } |
| 176 | |
| 177 | public void arraycopy(int srcPos, char[] dest, int destPos, int length) { |
| 178 | text.getChars(srcPos, srcPos + length, dest, destPos); |
| 179 | } |
| 180 | |
| 181 | public boolean isAllowComment() { |
| 182 | return allowComment; |
no outgoing calls