Error reporting on File in dart:io

runtime/bin/directory.dart

 // Copyright (c) 2012, 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.
 
 /**
  * [Directory] objects are used for working with directories.
  */
 interface Directory default _Directory {
   /**
    * Creates a directory object. The path is either a full path or
@@ skipping 127 matching lines @@
   void set onError(void onError(String error));
 
   /**
    * Gets the path of this directory.
    */
   final String path;
 }
 
 
 class DirectoryException {
-  const DirectoryException([String this.message, int this.errorCode = 0]);
-  String toString() => "DirectoryException: $message";
+  const DirectoryException(String this.message, [this.osError = null]);
+  String toString() {
+    String result = "DirectoryException: $message";
+    if (osError != null) {
+      result = "$result (${osError.toString()})";
+    }
+    return result;
+  }
   final String message;
-  final int errorCode;
+  final OSError osError;
 }