| // Copyright (c) 2011, 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. |
| |
| /// @assertion Let sc be a continue statement. If sc is of the form continue L;, |
| /// then let sE be the innermost labeled do, for or while statement or case |
| /// clause with label L enclosing sc. If sc is of the form continue; then let sE |
| /// be the innermost do, for or while statement enclosing sc. |
| /// It is a compile-time error if no such statement or case clause sE exists |
| /// within the innermost function in which sc occurs. |
| /// @description Checks that it is a not an error when a 'continue L;' statement |
| /// in a case clause refers to another (previous) case clause of the same switch |
| /// statement. |
| /// @author rodionov |
| |
| import '../../../Utils/expect.dart'; |
| |
| main() { |
| var flag = false; |
| switch (2) { |
| L: case 1: |
| flag = true; |
| break; |
| case 2: |
| continue L; |
| } |
| Expect.isTrue(flag, |
| "Continue statement should transfer control to a proper case clause!"); |
| } |