Rename BadNumberFormatException -> FormatException.

corelib/src/exceptions.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.
 
 // Exceptions are thrown either by the VM or from Dart code.
 
 /**
  * Interface implemented by all core library exceptions.
  */
 interface Exception default ExceptionImplementation {
@@ skipping 92 matching lines @@
   String toString() => "Out of Memory";
 }
 
 
 class StackOverflowException implements Exception {
   const StackOverflowException();
   String toString() => "Stack Overflow";
 }
 
 
-class BadNumberFormatException implements Exception {
-  const BadNumberFormatException(String this._s);
-  String toString() => "BadNumberFormatException: '$_s'";
+/**
+ * Exception thrown when a string or some other data does not have an expected
+ * format and cannot be parsed or processed.
+ */
+class FormatException implements Exception {
+  const FormatException(String this._s);

[kasperl, 2012/08/03 05:25:19]

There's no need to explicitly type the constructor parameter in this case. Maybe
it's time to give it a better name than _s too?

[Bob Nystrom, 2012/08/03 17:46:54]

Done and good call. After I sent this out, I realized making it a nicely named
public field would let you get at the raw message, which toString() doesn't.
Renamed to "message".

+  String toString() => "FormatException: '$_s'";
   final String _s;
 }
 
 
 class WrongArgumentCountException implements Exception {
   const WrongArgumentCountException();
   String toString() => "WrongArgumentCountException";
 }
 
 
@@ skipping 49 matching lines @@
   String toString() => "IllegalJSRegExpException: '$_pattern' '$_errmsg'";
   final String _pattern;
   final String _errmsg;
 }
 
 
 class IntegerDivisionByZeroException implements Exception {
   const IntegerDivisionByZeroException();
   String toString() => "IntegerDivisionByZeroException";
 }