OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 package com.google.dart.runner; | 5 package com.google.dart.runner; |
6 | 6 |
7 /** | 7 /** |
8 * Flags that can be given to Runners and Launchers. | 8 * Flags that can be given to Runners and Launchers. |
9 */ | 9 */ |
10 public interface RunnerOptions { | 10 public interface RunnerOptions { |
11 | 11 |
12 public boolean shouldProfile(); | 12 public boolean shouldProfile(); |
13 | 13 |
14 public boolean shouldCompileOnly(); | 14 public boolean shouldCompileOnly(); |
15 | 15 |
16 public boolean shouldOptimize(); | |
17 | |
18 public boolean typeErrorsAreFatal(); | 16 public boolean typeErrorsAreFatal(); |
19 | 17 |
20 public boolean useRhino(); | |
21 | |
22 public boolean verbose(); | 18 public boolean verbose(); |
23 } | 19 } |
OLD | NEW |