source: trunk/t3q-examples/checkNoPermutationKeyword/checkNoPermutationKeyword.ttcn3 @ 12

Last change on this file since 12 was 4, checked in by phdmakk, 15 years ago
File size: 294 bytes
RevLine 
[4]1module checkNoPermutationKeywordModule {
2    type record of integer MySequenceOfType;
3
4    // matches any of the following sequences of 4 integers: 1,2,3,5; 1,3,2,5; 2,1,3,5;
5    // 2,3,1,5; 3,1,2,5; or 3,2,1,5
6    template MySequenceOfType MyTemplate1 := {permutation(1, 2, 3), 5};
7
8}
Note: See TracBrowser for help on using the repository browser.