module rr language "RT:2010"{ function f(){ // var float a := now; //4.1.1 // var float ts; // log("Waiting for a second.."); wait(1); p.receive(1) -> timestamp ts; //4.3.1 // p.trigger(2) -> timestamp ts2; //4.3.2 // p.catch(s1, 3) -> timestamp ts3; //4.3.5 // p.getcall(1) -> timestamp ts4; //4.3.3 // p.getreply(1) -> timestamp ts4; //4.3.4 } // type port rtPort1 message realtime { //4.3 // inout integer; // } // type port rtPort1 procedure realtime { //4.3 // inout sig1; // } }// with {stepsize "0.1"}; //4.2.2