source: branches/t3e-tools/t3q-examples/TEMP/EC/ec_modes.ttcn3 @ 28

module ec_modes language "EC:2010" {
        testcase tc0() runs on c1 {
                label b0
                cont{
                        onentry{ //OK, need to apply restrictions
                                A:=2.0;
                        }
                        inv{
                                A > C //DOES THIS MAKE SENSE?
                        } //OK
//                      
//                      
                        A := 5.0;
                        B := 4.0;
                        wait(200);
                        onexit{ //OK, need to apply restrictions
                                A := 1.0;
                        }
                
                } 
                until{
                        [notinv]{log("bla"); goto b1}
                        [A > 1 and B < 2] {log("blablabla"); continue; repeat;}
                        []p.receive(1) {log("blabla"); goto b0}
                        [finished]{log("finished!")}
                } //OK

                cont {} until {}                //OK with option UntilGuardList
                cont {} until{(a>b)} //OK
                //cont {} until{()}             //this is absurd and should not be accepted
                cont {} until{[notinv]{log("bla");}} //OK


                //TODO: need further examples with until blocks and guards
                
                label b1;
                cont {} until {(A>now)}; //ok
                
                cont {} until {(A>duration)}; //ok
        }
        
        testcase tc1() runs on c1 {
                cont {
                        seq {
                                cont {} until {(A==B)}
                                cont {}
                                cont {}
                                par {
                                        cont {}
                                        cont {}
                                } until {(A>X)}
                        } until { (X == Y) }
                }
        }
        
        mode ModeType mode1 (in float p1, in integer p2, in ModeType m3) runs on c1 {
                m3(p1, p2, m3);
        }
        
        type mode ModeType (in float p1, in integer p2, in ModeType m3);
}