/test/kilim/test/ex/ExFlow.java

 1package kilim.test.ex;
 2import kilim.Pausable;
 3public class ExFlow {
 4    void loop() throws Pausable {
 5        ExA a = null;
 6        int i;
 7        for (i = 0; i < 10; i++) {
 8            if (i < 5) {
 9                a = new ExC();
10            } else {
11                a = new ExD();;
12            }
13        }
14        // at join, the stack must have types of [I,Lkilim.test.ex.ExFlow; and Lkilim.test.ex.ExA;
15        // local vars-> 0:Lkilim.test.ex.ExFlow; 1:Lkilim.test.ex.ExA; 2:int 3:UNDEFINED 
16        int x = 10 * join(a);
17        System.out.println(i);
18        System.out.println(x);
19    }
20    
21    int join(ExA a) throws Pausable {  return 10;}
22}