Split File into File and RandomAccessFile.

runtime/bin/file.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 interface File factory _File {
   /**
    * Create a File object.
    */
   File(String name);
 
@@ skipping 31 matching lines @@
    */
   void delete();
 
   /**
    * Synchronously delete the file.
    */
   void deleteSync();
 
   /**
    * Open the file for random access operations. When the file is
-   * opened the openHandler is called. Opened files must be closed
-   * using the [close] method. By default writable is false.
+   * opened the openHandler is called with the resulting
+   * RandomAccessFile. RandomAccessFiles must be closed using the
+   * close method. By default writable is false.
    */
   void open([bool writable]);
 
   /**
-   * Synchronously open the file for random access operations. Opened
-   * files must be closed using the [close] method. By default
-   * writable is false.
+   * Synchronously open the file for random access operations. The
+   * result is a RandomAccessFile on which random access operations
+   * can be performed. Opened RandomAccessFiles must be closed using
+   * the close method. By default writable is false.
    */
-  void openSync([bool writable]);
+  RandomAccessFile openSync([bool writable]);
 
   /**
+   * Get the canonical full path corresponding to the file name. The
+   * [fullPathHandler] is called when the fullPath operation
+   * completes.
+   */
+  String fullPath();
+
+  /**
+   * Synchronously get the canonical full path corresponding to the file name.
+   */
+  String fullPathSync();
+
+  /**
+   * Create a new independent input stream for the file. The file
+   * input stream must be closed when no longer used to free up
+   * system resources.
+   */
+  FileInputStream openInputStream();
+
+  /**
+   * Creates a new independent output stream for the file. The file
+   * output stream must be closed when no longer used to free up
+   * system resources.
+   */
+  FileOutputStream openOutputStream();
+
+  /**
+   * Get the name of the file.
+   */
+  String get name();
+
+  // Event handlers.
+  void set existsHandler(void handler(bool exists));
+  void set createHandler(void handler());
+  void set deleteHandler(void handler());
+  void set openHandler(void handler(RandomAccessFile openedFile));
+  void set fullPathHandler(void handler(String path));
+  void set errorHandler(void handler(String error));
+}
+
+
+interface RandomAccessFile {
+  /**
    * Close the file. When the file is closed the closeHandler is
    * called.
    */
   void close();
 
   /**
    * Synchronously close the file.
    */
   void closeSync();
 
@@ skipping 112 matching lines @@
    * called when the flush operation completes.
    */
    void flush();
 
   /**
    * Synchronously flush the contents of the file to disk.
    */
   void flushSync();
 
   /**
-   * Get the canonical full path corresponding to the file name. The
-   * [fullPathHandler] is called when the fullPath operation
-   * completes.
-   */
-  String fullPath();
-
-  /**
-   * Synchronously get the canonical full path corresponding to the file name.
-   */
-  String fullPathSync();
-
-  /**
-   * Create a new independent input stream for the file. The file
-   * input stream must be closed when no longer used.
-   */
-  FileInputStream openInputStream();
-
-  /**
-   * Creates a new independent output stream for the file. The file
-   * output stream must be closed when no longer used.
-   */
-  FileOutputStream openOutputStream();
-
-  /**
    * Get the name of the file.
    */
   String get name();
 
-  // Event handlers.
-  void set existsHandler(void handler(bool exists));
-  void set createHandler(void handler());
-  void set deleteHandler(void handler());
-  void set openHandler(void handler());
   void set closeHandler(void handler());
   void set readByteHandler(void handler(int byte));
   void set readListHandler(void handler(int read));
   void set noPendingWriteHandler(void handler());
   void set positionHandler(void handler(int position));
   void set setPositionHandler(void handler());
   void set truncateHandler(void handler());
   void set lengthHandler(void handler(int length));
   void set flushHandler(void handler());
-  void set fullPathHandler(void handler(String path));
   void set errorHandler(void handler(String error));
 }
 
 
 interface FileInputStream extends InputStream {
   void close();
 }
 
 
 interface FileOutputStream extends OutputStream {
 }
 
 
 class FileIOException implements Exception {
   const FileIOException([String this.message = ""]);
   String toString() => "FileIOException: $message";
   final String message;
 }