| Index: sdk/lib/_internal/dartdoc/lib/src/json_serializer.dart
|
| ===================================================================
|
| --- sdk/lib/_internal/dartdoc/lib/src/json_serializer.dart (revision 25311)
|
| +++ sdk/lib/_internal/dartdoc/lib/src/json_serializer.dart (working copy)
|
| @@ -21,7 +21,7 @@
|
|
|
| /// Serialize the object with pretty printing.
|
| String prettySerialize(Object o) {
|
| - var printer = new JsonPrinter(_prettyPrint: true);
|
| + var printer = new JsonPrinter(prettyPrint: true);
|
| _serialize(null, o, printer);
|
| return printer.toString();
|
| }
|
| @@ -120,8 +120,8 @@
|
| int _indent = 0;
|
| bool _inSet = false;
|
|
|
| - bool _prettyPrint;
|
| - JsonPrinter({this._prettyPrint: false}) {
|
| + bool prettyPrint;
|
| + JsonPrinter({this.prettyPrint: false}) {
|
| _sb = new StringBuffer();
|
| }
|
|
|
| @@ -202,7 +202,7 @@
|
| }
|
|
|
| String toString() {
|
| - if (_prettyPrint) {
|
| + if (prettyPrint) {
|
| return _sb.toString();
|
| } else {
|
| // Convenient hack to remove the pretty printing this serializer adds by
|
|
|