-- TTCN3 module extracted from ITU-T Z.165 (03/2011)
module triScenario1
{
external function MyFunction();
type port PortTypeMsg message { inout integer };
type component MyComponent {
port PortTypeMsg MyPort;
timer MyTimer;
};
type component MyTSI {
port PortTypeMsg PCO1;
};
testcase scenario1() runs on MyComponent system MyTSI
{
MyPort.clear;
MyPort.start;
MyTimer.start(2);
map(MyComponent: MyPort, system: PCO1);
MyPort.send (integer : 5);
if (MyTimer.running)
{
MyPort.receive(integer:7);
}
else
{
MyFunction();
};
unmap(MyComponent: MyPort, system:PCO1);
MyPort.stop;
};
control {
execute( scenario1() );
};
};