OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, 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 elements.jumps; | 5 library elements.jumps; |
6 | 6 |
7 import 'entities.dart'; | 7 import 'entities.dart'; |
8 | 8 |
9 /// The label entity defined by a labeled statement. | 9 /// The label entity defined by a labeled statement. |
10 abstract class LabelDefinition<T> extends Entity { | 10 abstract class LabelDefinition<T> extends Entity { |
11 T get label; | 11 T get label; |
12 String get labelName; | 12 String get labelName; |
13 JumpTarget<T> get target; | 13 JumpTarget<T> get target; |
14 | 14 |
15 bool get isTarget; | 15 bool get isTarget; |
16 bool get isBreakTarget; | 16 bool get isBreakTarget; |
17 bool get isContinueTarget; | 17 bool get isContinueTarget; |
18 | |
19 void setBreakTarget(); | |
20 void setContinueTarget(); | |
21 } | 18 } |
22 | 19 |
23 /// A jump target is the reference point of a statement or switch-case, | 20 /// A jump target is the reference point of a statement or switch-case, |
24 /// either by label or as the default target of a break or continue. | 21 /// either by label or as the default target of a break or continue. |
25 abstract class JumpTarget<T> extends Local { | 22 abstract class JumpTarget<T> extends Local { |
26 T get statement; | 23 T get statement; |
27 int get nestingLevel; | 24 int get nestingLevel; |
28 List<LabelDefinition<T>> get labels; | 25 List<LabelDefinition<T>> get labels; |
29 | 26 |
30 bool get isTarget; | 27 bool get isTarget; |
31 bool get isBreakTarget; | 28 bool get isBreakTarget; |
32 bool get isContinueTarget; | 29 bool get isContinueTarget; |
33 bool get isSwitch; | 30 bool get isSwitch; |
34 | 31 |
35 // TODO(kasperl): Try to get rid of these. | 32 LabelDefinition<T> addLabel(covariant T label, String labelName, |
36 void set isBreakTarget(bool value); | 33 {bool isBreakTarget: false}); |
37 void set isContinueTarget(bool value); | |
38 | |
39 LabelDefinition<T> addLabel(covariant T label, String labelName); | |
40 } | 34 } |
OLD | NEW |