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.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 /// Messages used by fletch_test_suite.dart to communicate with test.py. | 5 /// Messages used by fletch_test_suite.dart to communicate with test.py. |
6 library fletch_tests.messages; | 6 library fletch_tests.messages; |
7 | 7 |
8 import 'dart:convert' show | 8 import 'dart:convert' show |
9 JSON; | 9 JSON; |
10 | 10 |
11 import 'dart:io' as io show stdout; | 11 import 'dart:io' as io show stdout; |
(...skipping 213 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
225 String get type => 'TestStdoutLine'; | 225 String get type => 'TestStdoutLine'; |
226 | 226 |
227 Map<String, dynamic> toJson() { | 227 Map<String, dynamic> toJson() { |
228 Map<String, dynamic> result = super.toJson(); | 228 Map<String, dynamic> result = super.toJson(); |
229 result['line'] = line; | 229 result['line'] = line; |
230 return result; | 230 return result; |
231 } | 231 } |
232 | 232 |
233 String toString() => "$type($name, $line)"; | 233 String toString() => "$type($name, $line)"; |
234 } | 234 } |
OLD | NEW |