Rename RandomAccessFile.readList and RandomAccessFile.writeList to RandomAccessFile.readInto and Ra…

runtime/bin/file_patch.dart

Index: runtime/bin/file_patch.dart
diff --git a/runtime/bin/file_patch.dart b/runtime/bin/file_patch.dart
index c246002ee8d074d8bdfa55a5c3cb87dda6dce846..65ac0a4e847590ce19229b998e2d082adffae4ea 100644
--- a/runtime/bin/file_patch.dart
+++ b/runtime/bin/file_patch.dart
@@ -26,11 +26,11 @@ patch class _RandomAccessFile {
   /* patch */ static int _close(int id) native "File_Close";
   /* patch */ static _readByte(int id) native "File_ReadByte";
   /* patch */ static _read(int id, int bytes) native "File_Read";
-  /* patch */ static _readList(int id, List<int> buffer, int offset, int bytes)
-      native "File_ReadList";
+  /* patch */ static _readInto(int id, List<int> buffer, int start, int end)
+      native "File_ReadInto";
   /* patch */ static _writeByte(int id, int value) native "File_WriteByte";
-  /* patch */ static _writeList(int id, List<int> buffer, int offset, int bytes)
-      native "File_WriteList";
+  /* patch */ static _writeFrom(int id, List<int> buffer, int start, int end)
+      native "File_WriteFrom";
   /* patch */ static _position(int id) native "File_Position";
   /* patch */ static _setPosition(int id, int position)
       native "File_SetPosition";