Commit | Line | Data |
---|---|---|
970ed795 | 1 | --///////////////////////////////////////////////////////////////////////////// |
d44e3c4f | 2 | -- Copyright (c) 2000-2016 Ericsson Telecom AB |
970ed795 EL |
3 | -- All rights reserved. This program and the accompanying materials |
4 | -- are made available under the terms of the Eclipse Public License v1.0 | |
5 | -- which accompanies this distribution, and is available at | |
6 | -- http://www.eclipse.org/legal/epl-v10.html | |
d44e3c4f | 7 | -- |
8 | -- Contributors: | |
9 | -- Balasko, Jeno | |
10 | -- Feher, Csaba | |
11 | -- Kovacs, Ferenc | |
12 | -- Kulcsar, Endre | |
13 | -- Raduly, Csaba | |
14 | -- | |
970ed795 EL |
15 | --///////////////////////////////////////////////////////////////////////////// |
16 | Test283 | |
17 | DEFINITIONS | |
18 | ||
19 | AUTOMATIC TAGS | |
20 | ||
21 | ::= | |
22 | ||
23 | BEGIN | |
24 | ||
25 | IMPORTS ; -- nothing | |
26 | ||
27 | action INTEGER ::= 1 | |
28 | activate INTEGER ::= 1 | |
29 | address INTEGER ::= 1 | |
30 | alive INTEGER ::= 1 | |
31 | all INTEGER ::= 1 | |
32 | alt INTEGER ::= 1 | |
33 | altstep INTEGER ::= 1 | |
34 | and INTEGER ::= 1 | |
35 | and4b INTEGER ::= 1 | |
36 | any INTEGER ::= 1 | |
37 | anytype INTEGER ::= 1 | |
38 | apply INTEGER ::= 1 | |
39 | ||
40 | bit2hex INTEGER ::= 1 | |
41 | bit2int INTEGER ::= 1 | |
42 | bit2oct INTEGER ::= 1 | |
43 | bit2str INTEGER ::= 1 | |
44 | bitstring INTEGER ::= 1 | |
45 | boolean INTEGER ::= 1 | |
46 | break INTEGER ::= 1 | |
47 | ||
48 | call INTEGER ::= 1 | |
49 | case INTEGER ::= 1 | |
50 | catch INTEGER ::= 1 | |
51 | char INTEGER ::= 1 | |
52 | char2int INTEGER ::= 1 | |
53 | char2oct INTEGER ::= 1 | |
54 | charstring INTEGER ::= 1 | |
55 | check INTEGER ::= 1 | |
56 | clear INTEGER ::= 1 | |
57 | complement INTEGER ::= 1 | |
58 | component INTEGER ::= 1 | |
59 | connect INTEGER ::= 1 | |
60 | const INTEGER ::= 1 | |
61 | continue INTEGER ::= 1 | |
62 | control INTEGER ::= 1 | |
63 | create INTEGER ::= 1 | |
64 | ||
65 | deactivate INTEGER ::= 1 | |
66 | decomp INTEGER ::= 1 | |
67 | default INTEGER ::= 1 | |
68 | derefers INTEGER ::= 1 | |
69 | disconnect INTEGER ::= 1 | |
70 | display INTEGER ::= 1 | |
71 | do INTEGER ::= 1 | |
72 | done INTEGER ::= 1 | |
73 | ||
74 | else INTEGER ::= 1 | |
75 | encode INTEGER ::= 1 | |
76 | enumerated INTEGER ::= 1 | |
77 | error INTEGER ::= 1 | |
78 | except INTEGER ::= 1 | |
79 | exception INTEGER ::= 1 | |
80 | execute INTEGER ::= 1 | |
81 | extends INTEGER ::= 1 | |
82 | extension INTEGER ::= 1 | |
83 | external INTEGER ::= 1 | |
84 | ||
85 | fail INTEGER ::= 1 | |
86 | false INTEGER ::= 1 | |
87 | float INTEGER ::= 1 | |
88 | float2int INTEGER ::= 1 | |
89 | float2str INTEGER ::= 1 | |
90 | for INTEGER ::= 1 | |
91 | from INTEGER ::= 1 | |
92 | function INTEGER ::= 1 | |
93 | ||
94 | getcall INTEGER ::= 1 | |
95 | getreply INTEGER ::= 1 | |
96 | getverdict INTEGER ::= 1 | |
97 | goto INTEGER ::= 1 | |
98 | group INTEGER ::= 1 | |
99 | ||
100 | halt INTEGER ::= 1 | |
101 | hex2bit INTEGER ::= 1 | |
102 | hex2int INTEGER ::= 1 | |
103 | hex2oct INTEGER ::= 1 | |
104 | hex2str INTEGER ::= 1 | |
105 | hexstring INTEGER ::= 1 | |
106 | ||
107 | if INTEGER ::= 1 | |
108 | ifpresent INTEGER ::= 1 | |
109 | import INTEGER ::= 1 | |
110 | in INTEGER ::= 1 | |
111 | inconc INTEGER ::= 1 | |
112 | infinity INTEGER ::= 1 | |
113 | inout INTEGER ::= 1 | |
114 | int2bit INTEGER ::= 1 | |
115 | int2char INTEGER ::= 1 | |
116 | int2float INTEGER ::= 1 | |
117 | int2hex INTEGER ::= 1 | |
118 | int2oct INTEGER ::= 1 | |
119 | int2str INTEGER ::= 1 | |
120 | int2unichar INTEGER ::= 1 | |
121 | integer INTEGER ::= 1 | |
122 | interleave INTEGER ::= 1 | |
123 | ischosen INTEGER ::= 1 | |
124 | ispresent INTEGER ::= 1 | |
125 | isvalue INTEGER ::= 1 | |
126 | ||
127 | kill INTEGER ::= 1 | |
128 | killed INTEGER ::= 1 | |
129 | ||
130 | label INTEGER ::= 1 | |
131 | language INTEGER ::= 1 | |
132 | length INTEGER ::= 1 | |
133 | lengthof INTEGER ::= 1 | |
134 | log INTEGER ::= 1 | |
135 | log2str INTEGER ::= 1 | |
136 | ||
137 | map INTEGER ::= 1 | |
138 | match INTEGER ::= 1 | |
139 | message INTEGER ::= 1 | |
140 | mixed INTEGER ::= 1 | |
141 | mod INTEGER ::= 1 | |
142 | modifies INTEGER ::= 1 | |
143 | module INTEGER ::= 1 | |
144 | modulepar INTEGER ::= 1 | |
145 | mtc INTEGER ::= 1 | |
146 | ||
147 | noblock INTEGER ::= 1 | |
148 | none INTEGER ::= 1 | |
149 | not INTEGER ::= 1 | |
150 | not4b INTEGER ::= 1 | |
151 | nowait INTEGER ::= 1 | |
152 | null INTEGER ::= 1 | |
153 | ||
154 | objid INTEGER ::= 1 | |
155 | oct2bit INTEGER ::= 1 | |
156 | oct2char INTEGER ::= 1 | |
157 | oct2hex INTEGER ::= 1 | |
158 | oct2int INTEGER ::= 1 | |
159 | oct2str INTEGER ::= 1 | |
160 | octetstring INTEGER ::= 1 | |
161 | of INTEGER ::= 1 | |
162 | omit INTEGER ::= 1 | |
163 | on INTEGER ::= 1 | |
164 | optional INTEGER ::= 1 | |
165 | or INTEGER ::= 1 | |
166 | or4b INTEGER ::= 1 | |
167 | out INTEGER ::= 1 | |
168 | override INTEGER ::= 1 | |
169 | ||
170 | param INTEGER ::= 1 | |
171 | pass INTEGER ::= 1 | |
172 | pattern INTEGER ::= 1 | |
173 | permutation INTEGER ::= 1 | |
174 | port INTEGER ::= 1 | |
175 | procedure INTEGER ::= 1 | |
176 | ||
177 | raise INTEGER ::= 1 | |
178 | read INTEGER ::= 1 | |
179 | receive INTEGER ::= 1 | |
180 | record INTEGER ::= 1 | |
181 | recursive INTEGER ::= 1 | |
182 | refers INTEGER ::= 1 | |
183 | regexp INTEGER ::= 1 | |
184 | rem INTEGER ::= 1 | |
185 | repeat INTEGER ::= 1 | |
186 | replace INTEGER ::= 1 | |
187 | reply INTEGER ::= 1 | |
188 | return INTEGER ::= 1 | |
189 | rnd INTEGER ::= 1 | |
190 | running INTEGER ::= 1 | |
191 | runs INTEGER ::= 1 | |
192 | ||
193 | select INTEGER ::= 1 | |
194 | self INTEGER ::= 1 | |
195 | send INTEGER ::= 1 | |
196 | sender INTEGER ::= 1 | |
197 | set INTEGER ::= 1 | |
198 | setverdict INTEGER ::= 1 | |
199 | signature INTEGER ::= 1 | |
200 | sizeof INTEGER ::= 1 | |
201 | start INTEGER ::= 1 | |
202 | stop INTEGER ::= 1 | |
203 | str2bit INTEGER ::= 1 | |
204 | str2float INTEGER ::= 1 | |
205 | str2hex INTEGER ::= 1 | |
206 | str2int INTEGER ::= 1 | |
207 | str2oct INTEGER ::= 1 | |
208 | subset INTEGER ::= 1 | |
209 | substr INTEGER ::= 1 | |
210 | superset INTEGER ::= 1 | |
211 | system INTEGER ::= 1 | |
212 | ||
213 | template INTEGER ::= 1 | |
214 | testcase INTEGER ::= 1 | |
215 | timeout INTEGER ::= 1 | |
216 | timer INTEGER ::= 1 | |
217 | to INTEGER ::= 1 | |
218 | trigger INTEGER ::= 1 | |
219 | true INTEGER ::= 1 | |
220 | type INTEGER ::= 1 | |
221 | ||
222 | unichar2char INTEGER ::= 1 | |
223 | unichar2int INTEGER ::= 1 | |
224 | union INTEGER ::= 1 | |
225 | universal INTEGER ::= 1 | |
226 | unmap INTEGER ::= 1 | |
227 | ||
228 | value INTEGER ::= 1 | |
229 | valueof INTEGER ::= 1 | |
230 | var INTEGER ::= 1 | |
231 | variant INTEGER ::= 1 | |
232 | verdicttype INTEGER ::= 1 | |
233 | ||
234 | while INTEGER ::= 1 | |
235 | with INTEGER ::= 1 | |
236 | ||
237 | xor INTEGER ::= 1 | |
238 | xor4b INTEGER ::= 1 | |
239 | ||
240 | END |