1.1 --- a/emul/mini/src/main/java/java/io/DataInputStream.java Wed Jan 23 20:39:23 2013 +0100
1.2 +++ b/emul/mini/src/main/java/java/io/DataInputStream.java Fri Mar 22 16:59:47 2013 +0100
1.3 @@ -26,6 +26,7 @@
1.4 package java.io;
1.5
1.6 import org.apidesign.bck2brwsr.core.JavaScriptBody;
1.7 +import org.apidesign.bck2brwsr.emul.lang.System;
1.8
1.9 /**
1.10 * A data input stream lets an application read primitive Java data
1.11 @@ -565,7 +566,7 @@
1.12 if (--room < 0) {
1.13 buf = new char[offset + 128];
1.14 room = buf.length - offset - 1;
1.15 - arraycopy(lineBuffer, 0, buf, 0, offset);
1.16 + System.arraycopy(lineBuffer, 0, buf, 0, offset);
1.17 lineBuffer = buf;
1.18 }
1.19 buf[offset++] = (char) c;
1.20 @@ -696,9 +697,4 @@
1.21 // The number of chars produced may be less than utflen
1.22 return new String(chararr, 0, chararr_count);
1.23 }
1.24 - static void arraycopy(char[] value, int srcBegin, char[] dst, int dstBegin, int count) {
1.25 - while (count-- > 0) {
1.26 - dst[dstBegin++] = value[srcBegin++];
1.27 - }
1.28 - }
1.29 }