OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart 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 fasta.outline; | 5 library fasta.outline; |
6 | 6 |
7 import 'dart:async' show | 7 import 'dart:async' show |
8 Future; | 8 Future; |
9 | 9 |
10 import 'dart:io' show | 10 import 'dart:io' show |
11 exitCode; | 11 exitCode; |
12 | 12 |
13 import 'package:kernel/verifier.dart' show | 13 import 'kernel/verifier.dart' show |
14 verifyProgram; | 14 verifyProgram; |
15 | 15 |
16 import 'compiler_command_line.dart' show | 16 import 'compiler_command_line.dart' show |
17 CompilerCommandLine; | 17 CompilerCommandLine; |
18 | 18 |
19 import 'compiler_context.dart' show | 19 import 'compiler_context.dart' show |
20 CompilerContext; | 20 CompilerContext; |
21 | 21 |
22 import 'errors.dart' show | 22 import 'errors.dart' show |
23 InputError, | 23 InputError, |
(...skipping 107 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
131 } catch (e, s) { | 131 } catch (e, s) { |
132 exitCode = 1; | 132 exitCode = 1; |
133 print("Verification of program failed: $e"); | 133 print("Verification of program failed: $e"); |
134 if (s != null && c.options.verbose) { | 134 if (s != null && c.options.verbose) { |
135 print(s); | 135 print(s); |
136 } | 136 } |
137 } | 137 } |
138 } | 138 } |
139 return uri; | 139 return uri; |
140 } | 140 } |
OLD | NEW |