Handle switch continue

pkg/compiler/lib/src/js_model/locals.dart

 // Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library dart2js.js_model.locals;
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../closure.dart';
 import '../common.dart';
@@ skipping 70 matching lines @@
   }
 
   @override
   bool generateContinueForBreak(ir.BreakStatement node) {
     return _breaksAsContinue.contains(node);
   }
 
   @override
   JumpTarget getJumpTargetForContinueSwitch(ir.ContinueSwitchStatement node) {
     _ensureJumpMap(node.target);
-    throw new UnimplementedError(
-        'KernelToLocalsMapImpl.getJumpTargetForContinueSwitch');
+    JumpTarget target = _jumpTargetMap[node];
+    assert(target != null, failedAt(currentMember, 'No target for $node.'));
+    return target;
   }
 
   @override
   JumpTarget getJumpTargetForSwitchCase(ir.SwitchCase node) {
     _ensureJumpMap(node);
-    throw new UnimplementedError(
-        'KernelToLocalsMapImpl.getJumpTargetForSwitchCase');
+    return _jumpTargetMap[node];
   }
 
   @override
   JumpTarget getJumpTargetForDo(ir.DoStatement node) {
     _ensureJumpMap(node);
     return _jumpTargetMap[node];
   }
 
   @override
   JumpTarget getJumpTargetForLabel(ir.LabeledStatement node) {
@@ skipping 66 matching lines @@
   int labelIndex = 0;
   final MemberEntity member;
   final Map<ir.TreeNode, JJumpTarget> jumpTargetMap =
       <ir.TreeNode, JJumpTarget>{};
   final Set<ir.BreakStatement> breaksAsContinue = new Set<ir.BreakStatement>();
 
   JumpVisitor(this.member);
 
   JJumpTarget _getJumpTarget(ir.TreeNode node) {
     return jumpTargetMap.putIfAbsent(node, () {
-      return new JJumpTarget(member, jumpIndex++);
+      return new JJumpTarget(member, jumpIndex++,
+          isSwitch: node is ir.SwitchStatement,
+          isSwitchCase: node is ir.SwitchCase);
     });
   }
 
   JLabelDefinition _getOrCreateLabel(JJumpTarget target, ir.Node node) {
     if (target.labels.isEmpty) {
       return target.addLabel(node, 'label${labelIndex++}');
     } else {
       return target.labels.single;
     }
   }
@@ skipping 71 matching lines @@
         JLabelDefinition label = _getOrCreateLabel(target, node.target);
         label.isContinueTarget = true;
       }
     } else {
       target = _getJumpTarget(node.target);
       target.isBreakTarget = true;
     }
     jumpTargetMap[node] = target;
     super.visitBreakStatement(node);
   }
+
+  @override
+  visitContinueSwitchStatement(ir.ContinueSwitchStatement node) {
+    JJumpTarget target = _getJumpTarget(node.target);
+    target.isContinueTarget = true;
+    jumpTargetMap[node] = target;
+    JLabelDefinition label = _getOrCreateLabel(target, node.target);
+    label.isContinueTarget = true;
+    super.visitContinueSwitchStatement(node);
+  }
 }
 
 class JJumpTarget extends JumpTarget<ir.Node> {
   final MemberEntity memberContext;
   final int nestingLevel;
   List<LabelDefinition<ir.Node>> _labels;
   final bool isSwitch;
   final bool isSwitchCase;
 
   JJumpTarget(this.memberContext, this.nestingLevel,
@@ skipping 103 matching lines @@
 class JParameter extends JLocal {
   final int parameterIndex;
 
   JParameter(this.parameterIndex, String name, MemberEntity memberContext)
       : super(name, memberContext);
 
   bool get isRegularParameter => true;
 
   String get _kind => 'parameter';
 }