class DirectoryIOException implements Exception {
 const DirectoryIOException([String this.message = "",
                             String this.path = "",
                             OSError this.osError = null]);
 String toString() {
   StringBuffer sb = new StringBuffer();
   sb.write("DirectoryIOException");
   if (!message.isEmpty) {
     sb.write(": $message");
     if (path != null) {
       sb.write(", path = $path");
     }
     if (osError != null) {
       sb.write(" ($osError)");
     }
   } else if (osError != null) {
     sb.write(": $osError");
     if (path != null) {
       sb.write(", path = $path");
     }
   }
   return sb.toString();
 }
 final String message;
 final String path;
 final OSError osError;
}