testData/results/TestClassSwitch.dec


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package pkg;


public class TestClassSwitch {

   public void testCaseOrder(int var1) {
      switch(var1) {
      case 5:
         System.out.println(5);
      default:
         return;
      case 13:
         System.out.println(13);
      }
   }
}