| OLD | NEW |
| 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library old_servicec.pretty_printer; | 5 library old_servicec.pretty_printer; |
| 6 | 6 |
| 7 import 'parser.dart'; | 7 import 'parser.dart'; |
| 8 import 'struct_layout.dart'; | 8 import 'struct_layout.dart'; |
| 9 | 9 |
| 10 import 'dart:core' hide Type; | 10 import 'dart:core' hide Type; |
| 11 | 11 |
| (...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 65 writeType(node.type); | 65 writeType(node.type); |
| 66 buffer.write(" ${node.name}"); | 66 buffer.write(" ${node.name}"); |
| 67 } | 67 } |
| 68 | 68 |
| 69 void writeType(Type node) { | 69 void writeType(Type node) { |
| 70 if (node.isList) buffer.write("List<"); | 70 if (node.isList) buffer.write("List<"); |
| 71 buffer.write(node.identifier); | 71 buffer.write(node.identifier); |
| 72 if (node.isList) buffer.write(">"); | 72 if (node.isList) buffer.write(">"); |
| 73 } | 73 } |
| 74 } | 74 } |
| OLD | NEW |