/*
 * 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 default: sn+1}
 * 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 case ek+1: sk+1 does not exist, then the default clause is executed by executing sn+1.
 * If v is true, let h be the smallest integer such that h >= k and sh is non-empty.
 * If no such h exists, let h = n + 1. The sequence of statements sh is then executed.
 * If execution reaches the point after sh  then a runtime error occurs, unless h = n + 1.
 * @description Checks that the cases are tested in the specified order, top to bottom
 * and if there're no statements in the matching case, then Dart continues looking for
 * statements to execute down from there. Some case expressions are equal to each other.
 * @author rodionov
 * @reviewer iefremov
 */
import "../../Utils/expect.dart";

test(value) {
 var result;

 switch(value) {
   case 3:
     return 1;
   case 1:
     return 2;
   case 2:
     return 3;
   case 1:
     return 4;
   case 1:
     return 5;
   case 2:
     return 6;
   case 4:
   case 5:
   case 6:
     return 7;
   default:
     return -1;
 }
 return result;
}

main() {
 Expect.equals(2, test(1));
 Expect.equals(3, test(2));
 Expect.equals(1, test(3));
 Expect.equals(7, test(4));
 Expect.equals(7, test(5));
 Expect.equals(7, test(6));
 Expect.equals(-1, test(7));
}