| Index: runtime/lib/print_patch.dart
|
| diff --git a/runtime/lib/print_patch.dart b/runtime/lib/print_patch.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..6d8c480b7fcc303b907dfc787ae65f4eaef83f77
|
| --- /dev/null
|
| +++ b/runtime/lib/print_patch.dart
|
| @@ -0,0 +1,20 @@
|
| +// 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.
|
| +
|
| +
|
| +typedef void _PrintClosure(Object obj);
|
| +
|
| +patch class PrintImplementation {
|
| + /* patch */ static void print(Object obj) {
|
| + _printClosure(obj.toString());
|
| + }
|
| +
|
| + static void _unsupportedPrint(Object obj) {
|
| + throw const UnsupportedOperationException("'print' is not supported");
|
| + }
|
| +
|
| + // _printClosure can be overwritten by the embedder to supply a different
|
| + // print implementation.
|
| + static _PrintClosure _printClosure = _unsupportedPrint;
|
| +}
|
|
|