blob: 375f5e5887677fb5948e791011aed98a4224ab1f [file] [log] [blame]
* 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 Execution of a case clause case ek: sk of a switch statement
* switch (e) {
* label11 … label1j1 case e1: s1
* …
* labeln1 ..labelnjn case en: sn
* }
* proceeds as follows:
* The expression ek == id is evaluated to an object o which is then subjected
* to boolean conversion yielding a value v. If v is not true, the following
* case, case ek+1: sk+1 is executed if it exists. If v is true, let h be the
* smallest integer such that h >= k and sh is non-empty. The sequence of
* statements sh is executed if it exists. If execution reaches the point after
* sh then a runtime error occurs, unless h = n.
* @description Checks that falling through produces no error, if the current
* case clause is empty or the last case clause.
* @author msyabro
* @reviewer rodionov
* @issue 7537
import '../../../Utils/expect.dart';
testEmptyCases(value) {
var result;
switch (value) {
case 1:
case 2: result = 1;
case 3:
case 4: result = 2;
case 5:
case 6:
return result;
main() {
Expect.equals(null, testEmptyCases(5));
Expect.equals(null, testEmptyCases(6));
Expect.equals(2, testEmptyCases(3));
Expect.equals(1, testEmptyCases(1));
Expect.equals(1, testEmptyCases(2));