Subversion Repositories tendra.SVN

Rev

Rev 2 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2 7u83 1 
/*
2 
    		 Crown Copyright (c) 1997, 1998
3 
 
4 
    This TenDRA(r) Computer Program is subject to Copyright
5 
    owned by the United Kingdom Secretary of State for Defence
6 
    acting through the Defence Evaluation and Research Agency
7 
    (DERA).  It is made available to Recipients with a
8 
    royalty-free licence for its use, reproduction, transfer
9 
    to other parties and amendment for any purpose not excluding
10 
    product development provided that any such use et cetera
11 
    shall be deemed to be acceptance of the following conditions:-
12 
 
13 
        (1) Its Recipients shall ensure that this Notice is
14 
        reproduced upon any copies or amended versions of it;
15 
 
16 
        (2) Any amended version of it shall be clearly marked to
17 
        show both the nature of and the organisation responsible
18 
        for the relevant amendment or amendments;
19 
 
20 
        (3) Its onward transfer from a recipient to another
21 
        party shall be deemed to be that party's acceptance of
22 
        these conditions;
23 
 
24 
        (4) DERA gives no warranty or assurance as to its
25 
        quality or suitability for any purpose and DERA accepts
26 
        no liability whatsoever in relation to any use to which
27 
        it may be put.
28 
*/
29 
 
30 
/*
31 
    AUTOMATICALLY GENERATED FROM ALGEBRA c_class (VERSION 1.1)
32 
    BY calculus (VERSION 1.2)
33 
*/
34 
 
35 
#ifndef ITYPE_OPS_H_INCLUDED
36 
#define ITYPE_OPS_H_INCLUDED
37 
 
38 
/* Operations for union INT_TYPE */
39 
 
7 7u83 40 
#pragma token PROC(EXP : INT_TYPE :) EXP : unsigned : TAG_itype #
2 7u83 41 
#pragma interface TAG_itype
42 
 
43 
 
44 
/* Operations for component prom of union INT_TYPE */
45 
 
7 7u83 46 
#pragma token PROC(EXP : INT_TYPE :)\
47 
    EXP : PTR(TYPE) : itype_prom #
2 7u83 48 
#pragma interface itype_prom
49 
 
50 
/* Operations for component cases of union INT_TYPE */
51 
 
7 7u83 52 
#pragma token PROC(EXP : INT_TYPE :)\
53 
    EXP : PTR(LIST(TYPE)) : itype_cases #
2 7u83 54 
#pragma interface itype_cases
55 
 
56 
/* Operations for component unprom of union INT_TYPE */
57 
 
7 7u83 58 
#pragma token PROC(EXP : INT_TYPE :)\
59 
    EXP : PTR(BUILTIN_TYPE) : itype_unprom #
2 7u83 60 
#pragma interface itype_unprom
61 
 
62 
/* Operations for component itok of union INT_TYPE */
63 
 
7 7u83 64 
#pragma token PROC(EXP : INT_TYPE :)\
65 
    EXP : PTR(ulong_type) : itype_itok #
2 7u83 66 
#pragma interface itype_itok
67 
 
68 
/* Operations for component ntok of union INT_TYPE */
69 
 
7 7u83 70 
#pragma token PROC(EXP : INT_TYPE :)\
71 
    EXP : PTR(ulong_type) : itype_ntok #
2 7u83 72 
#pragma interface itype_ntok
73 
 
74 
/* Operations for component diag of union INT_TYPE */
75 
 
7 7u83 76 
#pragma token PROC(EXP : INT_TYPE :)\
77 
    EXP : PTR(ulong_type) : itype_diag #
2 7u83 78 
#pragma interface itype_diag
79 
 
80 
/* Operations for field basic of union INT_TYPE */
81 
 
82 
#pragma token EXP const : unsigned : itype_basic_tag #
7 7u83 83 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_basic #
2 7u83 84 
#pragma interface itype_basic_tag IS_itype_basic
85 
 
7 7u83 86 
#pragma token PROC(EXP : INT_TYPE :)\
87 
    EXP : PTR(BASE_TYPE) : itype_basic_rep #
2 7u83 88 
#pragma interface itype_basic_rep
89 
 
7 7u83 90 
#pragma token PROC(EXP : INT_TYPE :)\
91 
    EXP : PTR(BUILTIN_TYPE) : itype_basic_no #
2 7u83 92 
#pragma interface itype_basic_no
93 
 
7 7u83 94 
#pragma token PROC(\
2 7u83 95 
	EXP : TYPE :,\
7 7u83 96 
	EXP : LIST(TYPE) :,\
2 7u83 97 
	EXP : BASE_TYPE :,\
98 
	EXP : BUILTIN_TYPE :,\
99 
	EXP lvalue : INT_TYPE :\
100 
    ) STATEMENT MAKE_itype_basic #
101 
#pragma interface MAKE_itype_basic
102 
 
7 7u83 103 
#pragma token PROC(\
2 7u83 104 
	EXP lvalue : TYPE :,\
7 7u83 105 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 106 
	EXP lvalue : BUILTIN_TYPE :,\
107 
	EXP lvalue : ulong_type :,\
108 
	EXP lvalue : ulong_type :,\
109 
	EXP lvalue : ulong_type :,\
110 
	EXP lvalue : BASE_TYPE :,\
111 
	EXP lvalue : BUILTIN_TYPE :,\
112 
	EXP : INT_TYPE :\
113 
    ) STATEMENT DECONS_itype_basic #
114 
#pragma interface DECONS_itype_basic
115 
 
7 7u83 116 
#pragma token PROC(\
2 7u83 117 
	EXP : DESTROYER :,\
118 
	EXP lvalue : TYPE :,\
7 7u83 119 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 120 
	EXP lvalue : BUILTIN_TYPE :,\
121 
	EXP lvalue : ulong_type :,\
122 
	EXP lvalue : ulong_type :,\
123 
	EXP lvalue : ulong_type :,\
124 
	EXP lvalue : BASE_TYPE :,\
125 
	EXP lvalue : BUILTIN_TYPE :,\
126 
	EXP : INT_TYPE :\
127 
    ) STATEMENT DESTROY_itype_basic #
128 
#pragma interface DESTROY_itype_basic
129 
 
130 
 
131 
/* Operations for field bitfield of union INT_TYPE */
132 
 
133 
#pragma token EXP const : unsigned : itype_bitfield_tag #
7 7u83 134 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_bitfield #
2 7u83 135 
#pragma interface itype_bitfield_tag IS_itype_bitfield
136 
 
7 7u83 137 
#pragma token PROC(EXP : INT_TYPE :)\
138 
    EXP : PTR(TYPE) : itype_bitfield_sub #
2 7u83 139 
#pragma interface itype_bitfield_sub
140 
 
7 7u83 141 
#pragma token PROC(EXP : INT_TYPE :)\
142 
    EXP : PTR(BASE_TYPE) : itype_bitfield_rep #
2 7u83 143 
#pragma interface itype_bitfield_rep
144 
 
7 7u83 145 
#pragma token PROC(EXP : INT_TYPE :)\
146 
    EXP : PTR(NAT) : itype_bitfield_size #
2 7u83 147 
#pragma interface itype_bitfield_size
148 
 
7 7u83 149 
#pragma token PROC(EXP : INT_TYPE :)\
150 
    EXP : PTR(DECL_SPEC) : itype_bitfield_info #
2 7u83 151 
#pragma interface itype_bitfield_info
152 
 
7 7u83 153 
#pragma token PROC(\
2 7u83 154 
	EXP : TYPE :,\
7 7u83 155 
	EXP : LIST(TYPE) :,\
2 7u83 156 
	EXP : TYPE :,\
157 
	EXP : BASE_TYPE :,\
158 
	EXP : NAT :,\
159 
	EXP : DECL_SPEC :,\
160 
	EXP lvalue : INT_TYPE :\
161 
    ) STATEMENT MAKE_itype_bitfield #
162 
#pragma interface MAKE_itype_bitfield
163 
 
7 7u83 164 
#pragma token PROC(\
2 7u83 165 
	EXP lvalue : TYPE :,\
7 7u83 166 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 167 
	EXP lvalue : BUILTIN_TYPE :,\
168 
	EXP lvalue : ulong_type :,\
169 
	EXP lvalue : ulong_type :,\
170 
	EXP lvalue : ulong_type :,\
171 
	EXP lvalue : TYPE :,\
172 
	EXP lvalue : BASE_TYPE :,\
173 
	EXP lvalue : NAT :,\
174 
	EXP lvalue : DECL_SPEC :,\
175 
	EXP : INT_TYPE :\
176 
    ) STATEMENT DECONS_itype_bitfield #
177 
#pragma interface DECONS_itype_bitfield
178 
 
7 7u83 179 
#pragma token PROC(\
2 7u83 180 
	EXP : DESTROYER :,\
181 
	EXP lvalue : TYPE :,\
7 7u83 182 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 183 
	EXP lvalue : BUILTIN_TYPE :,\
184 
	EXP lvalue : ulong_type :,\
185 
	EXP lvalue : ulong_type :,\
186 
	EXP lvalue : ulong_type :,\
187 
	EXP lvalue : TYPE :,\
188 
	EXP lvalue : BASE_TYPE :,\
189 
	EXP lvalue : NAT :,\
190 
	EXP lvalue : DECL_SPEC :,\
191 
	EXP : INT_TYPE :\
192 
    ) STATEMENT DESTROY_itype_bitfield #
193 
#pragma interface DESTROY_itype_bitfield
194 
 
195 
 
196 
/* Operations for field promote of union INT_TYPE */
197 
 
198 
#pragma token EXP const : unsigned : itype_promote_tag #
7 7u83 199 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_promote #
2 7u83 200 
#pragma interface itype_promote_tag IS_itype_promote
201 
 
7 7u83 202 
#pragma token PROC(EXP : INT_TYPE :)\
203 
    EXP : PTR(INT_TYPE) : itype_promote_arg #
2 7u83 204 
#pragma interface itype_promote_arg
205 
 
7 7u83 206 
#pragma token PROC(\
2 7u83 207 
	EXP : TYPE :,\
7 7u83 208 
	EXP : LIST(TYPE) :,\
2 7u83 209 
	EXP : INT_TYPE :,\
210 
	EXP lvalue : INT_TYPE :\
211 
    ) STATEMENT MAKE_itype_promote #
212 
#pragma interface MAKE_itype_promote
213 
 
7 7u83 214 
#pragma token PROC(\
2 7u83 215 
	EXP lvalue : TYPE :,\
7 7u83 216 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 217 
	EXP lvalue : BUILTIN_TYPE :,\
218 
	EXP lvalue : ulong_type :,\
219 
	EXP lvalue : ulong_type :,\
220 
	EXP lvalue : ulong_type :,\
221 
	EXP lvalue : INT_TYPE :,\
222 
	EXP : INT_TYPE :\
223 
    ) STATEMENT DECONS_itype_promote #
224 
#pragma interface DECONS_itype_promote
225 
 
7 7u83 226 
#pragma token PROC(\
2 7u83 227 
	EXP : DESTROYER :,\
228 
	EXP lvalue : TYPE :,\
7 7u83 229 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 230 
	EXP lvalue : BUILTIN_TYPE :,\
231 
	EXP lvalue : ulong_type :,\
232 
	EXP lvalue : ulong_type :,\
233 
	EXP lvalue : ulong_type :,\
234 
	EXP lvalue : INT_TYPE :,\
235 
	EXP : INT_TYPE :\
236 
    ) STATEMENT DESTROY_itype_promote #
237 
#pragma interface DESTROY_itype_promote
238 
 
239 
 
240 
/* Operations for field arith of union INT_TYPE */
241 
 
242 
#pragma token EXP const : unsigned : itype_arith_tag #
7 7u83 243 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_arith #
2 7u83 244 
#pragma interface itype_arith_tag IS_itype_arith
245 
 
7 7u83 246 
#pragma token PROC(EXP : INT_TYPE :)\
247 
    EXP : PTR(INT_TYPE) : itype_arith_arg1 #
2 7u83 248 
#pragma interface itype_arith_arg1
249 
 
7 7u83 250 
#pragma token PROC(EXP : INT_TYPE :)\
251 
    EXP : PTR(INT_TYPE) : itype_arith_arg2 #
2 7u83 252 
#pragma interface itype_arith_arg2
253 
 
7 7u83 254 
#pragma token PROC(\
2 7u83 255 
	EXP : TYPE :,\
7 7u83 256 
	EXP : LIST(TYPE) :,\
2 7u83 257 
	EXP : INT_TYPE :,\
258 
	EXP : INT_TYPE :,\
259 
	EXP lvalue : INT_TYPE :\
260 
    ) STATEMENT MAKE_itype_arith #
261 
#pragma interface MAKE_itype_arith
262 
 
7 7u83 263 
#pragma token PROC(\
2 7u83 264 
	EXP lvalue : TYPE :,\
7 7u83 265 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 266 
	EXP lvalue : BUILTIN_TYPE :,\
267 
	EXP lvalue : ulong_type :,\
268 
	EXP lvalue : ulong_type :,\
269 
	EXP lvalue : ulong_type :,\
270 
	EXP lvalue : INT_TYPE :,\
271 
	EXP lvalue : INT_TYPE :,\
272 
	EXP : INT_TYPE :\
273 
    ) STATEMENT DECONS_itype_arith #
274 
#pragma interface DECONS_itype_arith
275 
 
7 7u83 276 
#pragma token PROC(\
2 7u83 277 
	EXP : DESTROYER :,\
278 
	EXP lvalue : TYPE :,\
7 7u83 279 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 280 
	EXP lvalue : BUILTIN_TYPE :,\
281 
	EXP lvalue : ulong_type :,\
282 
	EXP lvalue : ulong_type :,\
283 
	EXP lvalue : ulong_type :,\
284 
	EXP lvalue : INT_TYPE :,\
285 
	EXP lvalue : INT_TYPE :,\
286 
	EXP : INT_TYPE :\
287 
    ) STATEMENT DESTROY_itype_arith #
288 
#pragma interface DESTROY_itype_arith
289 
 
290 
 
291 
/* Operations for field literal of union INT_TYPE */
292 
 
293 
#pragma token EXP const : unsigned : itype_literal_tag #
7 7u83 294 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_literal #
2 7u83 295 
#pragma interface itype_literal_tag IS_itype_literal
296 
 
7 7u83 297 
#pragma token PROC(EXP : INT_TYPE :)\
298 
    EXP : PTR(NAT) : itype_literal_nat #
2 7u83 299 
#pragma interface itype_literal_nat
300 
 
7 7u83 301 
#pragma token PROC(EXP : INT_TYPE :)\
302 
    EXP : PTR(int) : itype_literal_spec #
2 7u83 303 
#pragma interface itype_literal_spec
304 
 
7 7u83 305 
#pragma token PROC(EXP : INT_TYPE :)\
306 
    EXP : PTR(int) : itype_literal_form #
2 7u83 307 
#pragma interface itype_literal_form
308 
 
7 7u83 309 
#pragma token PROC(EXP : INT_TYPE :)\
310 
    EXP : PTR(int) : itype_literal_suff #
2 7u83 311 
#pragma interface itype_literal_suff
312 
 
7 7u83 313 
#pragma token PROC(EXP : INT_TYPE :)\
314 
    EXP : PTR(IDENTIFIER) : itype_literal_tok #
2 7u83 315 
#pragma interface itype_literal_tok
316 
 
7 7u83 317 
#pragma token PROC(\
2 7u83 318 
	EXP : TYPE :,\
7 7u83 319 
	EXP : LIST(TYPE) :,\
2 7u83 320 
	EXP : NAT :,\
321 
	EXP : int :,\
322 
	EXP : int :,\
323 
	EXP : int :,\
324 
	EXP : IDENTIFIER :,\
325 
	EXP lvalue : INT_TYPE :\
326 
    ) STATEMENT MAKE_itype_literal #
327 
#pragma interface MAKE_itype_literal
328 
 
7 7u83 329 
#pragma token PROC(\
2 7u83 330 
	EXP lvalue : TYPE :,\
7 7u83 331 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 332 
	EXP lvalue : BUILTIN_TYPE :,\
333 
	EXP lvalue : ulong_type :,\
334 
	EXP lvalue : ulong_type :,\
335 
	EXP lvalue : ulong_type :,\
336 
	EXP lvalue : NAT :,\
337 
	EXP lvalue : int :,\
338 
	EXP lvalue : int :,\
339 
	EXP lvalue : int :,\
340 
	EXP lvalue : IDENTIFIER :,\
341 
	EXP : INT_TYPE :\
342 
    ) STATEMENT DECONS_itype_literal #
343 
#pragma interface DECONS_itype_literal
344 
 
7 7u83 345 
#pragma token PROC(\
2 7u83 346 
	EXP : DESTROYER :,\
347 
	EXP lvalue : TYPE :,\
7 7u83 348 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 349 
	EXP lvalue : BUILTIN_TYPE :,\
350 
	EXP lvalue : ulong_type :,\
351 
	EXP lvalue : ulong_type :,\
352 
	EXP lvalue : ulong_type :,\
353 
	EXP lvalue : NAT :,\
354 
	EXP lvalue : int :,\
355 
	EXP lvalue : int :,\
356 
	EXP lvalue : int :,\
357 
	EXP lvalue : IDENTIFIER :,\
358 
	EXP : INT_TYPE :\
359 
    ) STATEMENT DESTROY_itype_literal #
360 
#pragma interface DESTROY_itype_literal
361 
 
362 
 
363 
/* Operations for field token of union INT_TYPE */
364 
 
365 
#pragma token EXP const : unsigned : itype_token_tag #
7 7u83 366 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_token #
2 7u83 367 
#pragma interface itype_token_tag IS_itype_token
368 
 
7 7u83 369 
#pragma token PROC(EXP : INT_TYPE :)\
370 
    EXP : PTR(IDENTIFIER) : itype_token_tok #
2 7u83 371 
#pragma interface itype_token_tok
372 
 
7 7u83 373 
#pragma token PROC(EXP : INT_TYPE :)\
374 
    EXP : PTR(LIST(TOKEN)) : itype_token_args #
2 7u83 375 
#pragma interface itype_token_args
376 
 
7 7u83 377 
#pragma token PROC(\
2 7u83 378 
	EXP : TYPE :,\
7 7u83 379 
	EXP : LIST(TYPE) :,\
2 7u83 380 
	EXP : IDENTIFIER :,\
7 7u83 381 
	EXP : LIST(TOKEN) :,\
2 7u83 382 
	EXP lvalue : INT_TYPE :\
383 
    ) STATEMENT MAKE_itype_token #
384 
#pragma interface MAKE_itype_token
385 
 
7 7u83 386 
#pragma token PROC(\
2 7u83 387 
	EXP lvalue : TYPE :,\
7 7u83 388 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 389 
	EXP lvalue : BUILTIN_TYPE :,\
390 
	EXP lvalue : ulong_type :,\
391 
	EXP lvalue : ulong_type :,\
392 
	EXP lvalue : ulong_type :,\
393 
	EXP lvalue : IDENTIFIER :,\
7 7u83 394 
	EXP lvalue : LIST(TOKEN) :,\
2 7u83 395 
	EXP : INT_TYPE :\
396 
    ) STATEMENT DECONS_itype_token #
397 
#pragma interface DECONS_itype_token
398 
 
7 7u83 399 
#pragma token PROC(\
2 7u83 400 
	EXP : DESTROYER :,\
401 
	EXP lvalue : TYPE :,\
7 7u83 402 
	EXP lvalue : LIST(TYPE) :,\
2 7u83 403 
	EXP lvalue : BUILTIN_TYPE :,\
404 
	EXP lvalue : ulong_type :,\
405 
	EXP lvalue : ulong_type :,\
406 
	EXP lvalue : ulong_type :,\
407 
	EXP lvalue : IDENTIFIER :,\
7 7u83 408 
	EXP lvalue : LIST(TOKEN) :,\
2 7u83 409 
	EXP : INT_TYPE :\
410 
    ) STATEMENT DESTROY_itype_token #
411 
#pragma interface DESTROY_itype_token
412 
 
413 
 
414 
#endif