source:
trunk/t3q-examples/checkTypeDefOrderInGroup/checkTypeDefOrderInGroup.ttcn3
@
42
| Last change on this file since 42 was 11, checked in by phdmakk, 16 years ago | |
|---|---|
| File size: 1.6 KB | |
| Line | |
|---|---|
| 1 | module checkTypeDefOrderInGroup { |
| 2 | type record typeX { |
| 3 | |
| 4 | } |
| 5 | |
| 6 | group emptyGroup { |
| 7 | |
| 8 | } |
| 9 | |
| 10 | type integer modInt; |
| 11 | |
| 12 | //the good ones |
| 13 | group typeDefs { |
| 14 | |
| 15 | type integer groupedInt; |
| 16 | |
| 17 | type component P_compA { |
| 18 | var integer a := 3; |
| 19 | } |
| 20 | |
| 21 | type component P_comp1 { |
| 22 | |
| 23 | } |
| 24 | |
| 25 | |
| 26 | type record typeA { |
| 27 | |
| 28 | } |
| 29 | type record typea { |
| 30 | |
| 31 | } |
| 32 | // type record typeab { |
| 33 | |
| 34 | // } |
| 35 | |
| 36 | |
| 37 | type record typeB { |
| 38 | |
| 39 | } |
| 40 | type record typeC { |
| 41 | |
| 42 | } |
| 43 | } |
| 44 | |
| 45 | type record typeY { |
| 46 | |
| 47 | } |
| 48 | |
| 49 | group otherDefs { |
| 50 | altstep as_a(){ |
| 51 | |
| 52 | } |
| 53 | |
| 54 | function f_a(){ |
| 55 | |
| 56 | } |
| 57 | |
| 58 | } |
| 59 | |
| 60 | group mixedDefs { |
| 61 | |
| 62 | type component compA { |
| 63 | |
| 64 | } |
| 65 | |
| 66 | type component compB { |
| 67 | |
| 68 | } |
| 69 | |
| 70 | |
| 71 | type record typeD { |
| 72 | |
| 73 | } |
| 74 | |
| 75 | const integer z := 5; |
| 76 | |
| 77 | type record typeE { |
| 78 | |
| 79 | } |
| 80 | |
| 81 | const integer x := 2; |
| 82 | |
| 83 | type record typeF { |
| 84 | |
| 85 | } |
| 86 | |
| 87 | const integer y := 3; |
| 88 | } |
| 89 | |
| 90 | //the bad ones |
| 91 | |
| 92 | group mixedDefsBad { |
| 93 | //E comes before D |
| 94 | type record typeE { |
| 95 | |
| 96 | } |
| 97 | |
| 98 | type record typeD { |
| 99 | |
| 100 | } |
| 101 | |
| 102 | const integer z := 5; |
| 103 | |
| 104 | |
| 105 | const integer x := 2; |
| 106 | |
| 107 | type record typeF { |
| 108 | |
| 109 | } |
| 110 | |
| 111 | //comp? come after type? |
| 112 | //+ compB before compA |
| 113 | type component compB { |
| 114 | |
| 115 | } |
| 116 | |
| 117 | type component compA { |
| 118 | |
| 119 | } |
| 120 | |
| 121 | |
| 122 | |
| 123 | |
| 124 | const integer y := 3; |
| 125 | } |
| 126 | |
| 127 | |
| 128 | group g1{ |
| 129 | type integer m1; |
| 130 | type record m2 {} |
| 131 | type set m3 {} |
| 132 | type record m4 {} |
| 133 | type m1 m5; |
| 134 | } |
| 135 | |
| 136 | } |
Note: See TracBrowser
for help on using the repository browser.
