source: trunk/t3q-examples/checkNoLabelsOrGotoStatements/checkNoLabelsOrGotoStatements.ttcn3 @ 61

Last change on this file since 61 was 4, checked in by phdmakk, 15 years ago
File size: 300 bytes
RevLine 
[4]1module checkNoLabelsOrGotoStatements {
2        testcase tc1() runs on mtcType system systemType {
3                label TC_START;
4               
5                alt{
6                        [] p1.receive {
7                                label P1_RECEIVE;
8                                p1.send(integer:1);
9                                goto TC_END;
10                        }
11                        [] p2.receive {
12                                p1.send(integer:2);
13                                goto TC_START;
14                        }
15                }
16               
17                label TC_END;
18        }
19}
Note: See TracBrowser for help on using the repository browser.