| Index: lib/compiler/implementation/namer.dart
|
| diff --git a/lib/compiler/implementation/namer.dart b/lib/compiler/implementation/namer.dart
|
| index c30a2784a7ebcbfc9b73064d258398dfdb5311fc..2be0d3e19378ee405e1c167d1c5e1a9092ee8b9b 100644
|
| --- a/lib/compiler/implementation/namer.dart
|
| +++ b/lib/compiler/implementation/namer.dart
|
| @@ -44,6 +44,24 @@ class Namer {
|
| selector);
|
| }
|
|
|
| + String breakLabelName(LabelElement label) {
|
| + return '\$${label.labelName}\$${label.target.nestingLevel}';
|
| + }
|
| +
|
| + String implicitBreakLabelName(TargetElement target) {
|
| + return '\$${target.nestingLevel}';
|
| + }
|
| +
|
| + // We sometimes handle continue targets differently from break targets,
|
| + // so we have special continue-only labels.
|
| + String continueLabelName(LabelElement label) {
|
| + return 'c\$${label.labelName}\$${label.target.nestingLevel}';
|
| + }
|
| +
|
| + String implicitContinueLabelName(TargetElement target) {
|
| + return 'c\$${target.nestingLevel}';
|
| + }
|
| +
|
| /** Returns a non-unique name for the given closure element. */
|
| String closureName(Element element) {
|
| List<String> parts = <String>[];
|
|
|