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 TOK_OPS_H_INCLUDED
36 
#define TOK_OPS_H_INCLUDED
37 
 
38 
/* Operations for union TOKEN */
39 
 
7 7u83 40 
#pragma token PROC(EXP : TOKEN :) EXP : unsigned : TAG_tok #
2 7u83 41 
#pragma interface TAG_tok
42 
 
43 
 
44 
/* Operations for field exp of union TOKEN */
45 
 
46 
#pragma token EXP const : unsigned : tok_exp_tag #
7 7u83 47 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_exp #
2 7u83 48 
#pragma interface tok_exp_tag IS_tok_exp
49 
 
7 7u83 50 
#pragma token PROC(EXP : TOKEN :)\
51 
    EXP : PTR(TYPE) : tok_exp_type #
2 7u83 52 
#pragma interface tok_exp_type
53 
 
7 7u83 54 
#pragma token PROC(EXP : TOKEN :)\
55 
    EXP : PTR(int) : tok_exp_constant #
2 7u83 56 
#pragma interface tok_exp_constant
57 
 
7 7u83 58 
#pragma token PROC(EXP : TOKEN :)\
59 
    EXP : PTR(EXP) : tok_exp_value #
2 7u83 60 
#pragma interface tok_exp_value
61 
 
7 7u83 62 
#pragma token PROC(\
2 7u83 63 
	EXP : TYPE :,\
64 
	EXP : int :,\
65 
	EXP : EXP :,\
66 
	EXP lvalue : TOKEN :\
67 
    ) STATEMENT MAKE_tok_exp #
68 
#pragma interface MAKE_tok_exp
69 
 
7 7u83 70 
#pragma token PROC(\
2 7u83 71 
	EXP lvalue : TYPE :,\
72 
	EXP lvalue : int :,\
73 
	EXP lvalue : EXP :,\
74 
	EXP : TOKEN :\
75 
    ) STATEMENT DECONS_tok_exp #
76 
#pragma interface DECONS_tok_exp
77 
 
7 7u83 78 
#pragma token PROC(\
2 7u83 79 
	EXP : DESTROYER :,\
80 
	EXP lvalue : TYPE :,\
81 
	EXP lvalue : int :,\
82 
	EXP lvalue : EXP :,\
83 
	EXP : TOKEN :\
84 
    ) STATEMENT DESTROY_tok_exp #
85 
#pragma interface DESTROY_tok_exp
86 
 
87 
 
88 
/* Operations for field stmt of union TOKEN */
89 
 
90 
#pragma token EXP const : unsigned : tok_stmt_tag #
7 7u83 91 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_stmt #
2 7u83 92 
#pragma interface tok_stmt_tag IS_tok_stmt
93 
 
7 7u83 94 
#pragma token PROC(EXP : TOKEN :)\
95 
    EXP : PTR(EXP) : tok_stmt_value #
2 7u83 96 
#pragma interface tok_stmt_value
97 
 
7 7u83 98 
#pragma token PROC(\
2 7u83 99 
	EXP : EXP :,\
100 
	EXP lvalue : TOKEN :\
101 
    ) STATEMENT MAKE_tok_stmt #
102 
#pragma interface MAKE_tok_stmt
103 
 
7 7u83 104 
#pragma token PROC(\
2 7u83 105 
	EXP lvalue : EXP :,\
106 
	EXP : TOKEN :\
107 
    ) STATEMENT DECONS_tok_stmt #
108 
#pragma interface DECONS_tok_stmt
109 
 
7 7u83 110 
#pragma token PROC(\
2 7u83 111 
	EXP : DESTROYER :,\
112 
	EXP lvalue : EXP :,\
113 
	EXP : TOKEN :\
114 
    ) STATEMENT DESTROY_tok_stmt #
115 
#pragma interface DESTROY_tok_stmt
116 
 
117 
 
118 
/* Operations for field set nat_etc of union TOKEN */
119 
 
120 
#pragma token EXP const : unsigned : tok_nat_etc_tag #
7 7u83 121 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_nat_etc #
2 7u83 122 
#pragma interface tok_nat_etc_tag IS_tok_nat_etc
123 
 
7 7u83 124 
#pragma token PROC(EXP : TOKEN :)\
125 
    EXP : PTR(NAT) : tok_nat_etc_value #
2 7u83 126 
#pragma interface tok_nat_etc_value
127 
 
7 7u83 128 
#pragma token PROC(\
2 7u83 129 
	EXP : unsigned :,\
130 
	EXP : NAT :,\
131 
	EXP lvalue : TOKEN :\
132 
    ) STATEMENT MAKE_tok_nat_etc #
133 
#pragma interface MAKE_tok_nat_etc
134 
 
7 7u83 135 
#pragma token PROC(\
2 7u83 136 
	EXP : unsigned :,\
137 
	EXP : TOKEN :\
138 
    ) STATEMENT MODIFY_tok_nat_etc #
139 
#pragma interface MODIFY_tok_nat_etc
140 
 
7 7u83 141 
#pragma token PROC(\
2 7u83 142 
	EXP lvalue : NAT :,\
143 
	EXP : TOKEN :\
144 
    ) STATEMENT DECONS_tok_nat_etc #
145 
#pragma interface DECONS_tok_nat_etc
146 
 
7 7u83 147 
#pragma token PROC(\
2 7u83 148 
	EXP : DESTROYER :,\
149 
	EXP lvalue : NAT :,\
150 
	EXP : TOKEN :\
151 
    ) STATEMENT DESTROY_tok_nat_etc #
152 
#pragma interface DESTROY_tok_nat_etc
153 
 
154 
 
155 
/* Operations for field nat of union TOKEN */
156 
 
157 
#pragma token EXP const : unsigned : tok_nat_tag #
7 7u83 158 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_nat #
2 7u83 159 
#pragma interface tok_nat_tag IS_tok_nat
160 
 
7 7u83 161 
#pragma token PROC(EXP : TOKEN :)\
162 
    EXP : PTR(NAT) : tok_nat_value #
2 7u83 163 
#pragma interface tok_nat_value
164 
 
7 7u83 165 
#pragma token PROC(\
2 7u83 166 
	EXP : NAT :,\
167 
	EXP lvalue : TOKEN :\
168 
    ) STATEMENT MAKE_tok_nat #
169 
#pragma interface MAKE_tok_nat
170 
 
7 7u83 171 
#pragma token PROC(\
2 7u83 172 
	EXP lvalue : NAT :,\
173 
	EXP : TOKEN :\
174 
    ) STATEMENT DECONS_tok_nat #
175 
#pragma interface DECONS_tok_nat
176 
 
7 7u83 177 
#pragma token PROC(\
2 7u83 178 
	EXP : DESTROYER :,\
179 
	EXP lvalue : NAT :,\
180 
	EXP : TOKEN :\
181 
    ) STATEMENT DESTROY_tok_nat #
182 
#pragma interface DESTROY_tok_nat
183 
 
184 
 
185 
/* Operations for field snat of union TOKEN */
186 
 
187 
#pragma token EXP const : unsigned : tok_snat_tag #
7 7u83 188 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_snat #
2 7u83 189 
#pragma interface tok_snat_tag IS_tok_snat
190 
 
7 7u83 191 
#pragma token PROC(EXP : TOKEN :)\
192 
    EXP : PTR(NAT) : tok_snat_value #
2 7u83 193 
#pragma interface tok_snat_value
194 
 
7 7u83 195 
#pragma token PROC(\
2 7u83 196 
	EXP : NAT :,\
197 
	EXP lvalue : TOKEN :\
198 
    ) STATEMENT MAKE_tok_snat #
199 
#pragma interface MAKE_tok_snat
200 
 
7 7u83 201 
#pragma token PROC(\
2 7u83 202 
	EXP lvalue : NAT :,\
203 
	EXP : TOKEN :\
204 
    ) STATEMENT DECONS_tok_snat #
205 
#pragma interface DECONS_tok_snat
206 
 
7 7u83 207 
#pragma token PROC(\
2 7u83 208 
	EXP : DESTROYER :,\
209 
	EXP lvalue : NAT :,\
210 
	EXP : TOKEN :\
211 
    ) STATEMENT DESTROY_tok_snat #
212 
#pragma interface DESTROY_tok_snat
213 
 
214 
 
215 
/* Operations for field type of union TOKEN */
216 
 
217 
#pragma token EXP const : unsigned : tok_type_tag #
7 7u83 218 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_type #
2 7u83 219 
#pragma interface tok_type_tag IS_tok_type
220 
 
7 7u83 221 
#pragma token PROC(EXP : TOKEN :)\
222 
    EXP : PTR(BASE_TYPE) : tok_type_kind #
2 7u83 223 
#pragma interface tok_type_kind
224 
 
7 7u83 225 
#pragma token PROC(EXP : TOKEN :)\
226 
    EXP : PTR(TYPE) : tok_type_value #
2 7u83 227 
#pragma interface tok_type_value
228 
 
7 7u83 229 
#pragma token PROC(EXP : TOKEN :)\
230 
    EXP : PTR(TYPE) : tok_type_alt #
2 7u83 231 
#pragma interface tok_type_alt
232 
 
7 7u83 233 
#pragma token PROC(\
2 7u83 234 
	EXP : BASE_TYPE :,\
235 
	EXP : TYPE :,\
236 
	EXP lvalue : TOKEN :\
237 
    ) STATEMENT MAKE_tok_type #
238 
#pragma interface MAKE_tok_type
239 
 
7 7u83 240 
#pragma token PROC(\
2 7u83 241 
	EXP lvalue : BASE_TYPE :,\
242 
	EXP lvalue : TYPE :,\
243 
	EXP lvalue : TYPE :,\
244 
	EXP : TOKEN :\
245 
    ) STATEMENT DECONS_tok_type #
246 
#pragma interface DECONS_tok_type
247 
 
7 7u83 248 
#pragma token PROC(\
2 7u83 249 
	EXP : DESTROYER :,\
250 
	EXP lvalue : BASE_TYPE :,\
251 
	EXP lvalue : TYPE :,\
252 
	EXP lvalue : TYPE :,\
253 
	EXP : TOKEN :\
254 
    ) STATEMENT DESTROY_tok_type #
255 
#pragma interface DESTROY_tok_type
256 
 
257 
 
258 
/* Operations for field func of union TOKEN */
259 
 
260 
#pragma token EXP const : unsigned : tok_func_tag #
7 7u83 261 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_func #
2 7u83 262 
#pragma interface tok_func_tag IS_tok_func
263 
 
7 7u83 264 
#pragma token PROC(EXP : TOKEN :)\
265 
    EXP : PTR(TYPE) : tok_func_type #
2 7u83 266 
#pragma interface tok_func_type
267 
 
7 7u83 268 
#pragma token PROC(EXP : TOKEN :)\
269 
    EXP : PTR(IDENTIFIER) : tok_func_defn #
2 7u83 270 
#pragma interface tok_func_defn
271 
 
7 7u83 272 
#pragma token PROC(EXP : TOKEN :)\
273 
    EXP : PTR(TOKEN) : tok_func_proc #
2 7u83 274 
#pragma interface tok_func_proc
275 
 
7 7u83 276 
#pragma token PROC(\
2 7u83 277 
	EXP : TYPE :,\
278 
	EXP lvalue : TOKEN :\
279 
    ) STATEMENT MAKE_tok_func #
280 
#pragma interface MAKE_tok_func
281 
 
7 7u83 282 
#pragma token PROC(\
2 7u83 283 
	EXP lvalue : TYPE :,\
284 
	EXP lvalue : IDENTIFIER :,\
285 
	EXP lvalue : TOKEN :,\
286 
	EXP : TOKEN :\
287 
    ) STATEMENT DECONS_tok_func #
288 
#pragma interface DECONS_tok_func
289 
 
7 7u83 290 
#pragma token PROC(\
2 7u83 291 
	EXP : DESTROYER :,\
292 
	EXP lvalue : TYPE :,\
293 
	EXP lvalue : IDENTIFIER :,\
294 
	EXP lvalue : TOKEN :,\
295 
	EXP : TOKEN :\
296 
    ) STATEMENT DESTROY_tok_func #
297 
#pragma interface DESTROY_tok_func
298 
 
299 
 
300 
/* Operations for field member of union TOKEN */
301 
 
302 
#pragma token EXP const : unsigned : tok_member_tag #
7 7u83 303 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_member #
2 7u83 304 
#pragma interface tok_member_tag IS_tok_member
305 
 
7 7u83 306 
#pragma token PROC(EXP : TOKEN :)\
307 
    EXP : PTR(TYPE) : tok_member_of #
2 7u83 308 
#pragma interface tok_member_of
309 
 
7 7u83 310 
#pragma token PROC(EXP : TOKEN :)\
311 
    EXP : PTR(TYPE) : tok_member_type #
2 7u83 312 
#pragma interface tok_member_type
313 
 
7 7u83 314 
#pragma token PROC(EXP : TOKEN :)\
315 
    EXP : PTR(OFFSET) : tok_member_value #
2 7u83 316 
#pragma interface tok_member_value
317 
 
7 7u83 318 
#pragma token PROC(\
2 7u83 319 
	EXP : TYPE :,\
320 
	EXP : TYPE :,\
321 
	EXP : OFFSET :,\
322 
	EXP lvalue : TOKEN :\
323 
    ) STATEMENT MAKE_tok_member #
324 
#pragma interface MAKE_tok_member
325 
 
7 7u83 326 
#pragma token PROC(\
2 7u83 327 
	EXP lvalue : TYPE :,\
328 
	EXP lvalue : TYPE :,\
329 
	EXP lvalue : OFFSET :,\
330 
	EXP : TOKEN :\
331 
    ) STATEMENT DECONS_tok_member #
332 
#pragma interface DECONS_tok_member
333 
 
7 7u83 334 
#pragma token PROC(\
2 7u83 335 
	EXP : DESTROYER :,\
336 
	EXP lvalue : TYPE :,\
337 
	EXP lvalue : TYPE :,\
338 
	EXP lvalue : OFFSET :,\
339 
	EXP : TOKEN :\
340 
    ) STATEMENT DESTROY_tok_member #
341 
#pragma interface DESTROY_tok_member
342 
 
343 
 
344 
/* Operations for field class of union TOKEN */
345 
 
346 
#pragma token EXP const : unsigned : tok_class_tag #
7 7u83 347 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_class #
2 7u83 348 
#pragma interface tok_class_tag IS_tok_class
349 
 
7 7u83 350 
#pragma token PROC(EXP : TOKEN :)\
351 
    EXP : PTR(TYPE) : tok_class_type #
2 7u83 352 
#pragma interface tok_class_type
353 
 
7 7u83 354 
#pragma token PROC(EXP : TOKEN :)\
355 
    EXP : PTR(IDENTIFIER) : tok_class_value #
2 7u83 356 
#pragma interface tok_class_value
357 
 
7 7u83 358 
#pragma token PROC(EXP : TOKEN :)\
359 
    EXP : PTR(TYPE) : tok_class_alt #
2 7u83 360 
#pragma interface tok_class_alt
361 
 
7 7u83 362 
#pragma token PROC(\
2 7u83 363 
	EXP : TYPE :,\
364 
	EXP : IDENTIFIER :,\
365 
	EXP lvalue : TOKEN :\
366 
    ) STATEMENT MAKE_tok_class #
367 
#pragma interface MAKE_tok_class
368 
 
7 7u83 369 
#pragma token PROC(\
2 7u83 370 
	EXP lvalue : TYPE :,\
371 
	EXP lvalue : IDENTIFIER :,\
372 
	EXP lvalue : TYPE :,\
373 
	EXP : TOKEN :\
374 
    ) STATEMENT DECONS_tok_class #
375 
#pragma interface DECONS_tok_class
376 
 
7 7u83 377 
#pragma token PROC(\
2 7u83 378 
	EXP : DESTROYER :,\
379 
	EXP lvalue : TYPE :,\
380 
	EXP lvalue : IDENTIFIER :,\
381 
	EXP lvalue : TYPE :,\
382 
	EXP : TOKEN :\
383 
    ) STATEMENT DESTROY_tok_class #
384 
#pragma interface DESTROY_tok_class
385 
 
386 
 
387 
/* Operations for field proc of union TOKEN */
388 
 
389 
#pragma token EXP const : unsigned : tok_proc_tag #
7 7u83 390 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_proc #
2 7u83 391 
#pragma interface tok_proc_tag IS_tok_proc
392 
 
7 7u83 393 
#pragma token PROC(EXP : TOKEN :)\
394 
    EXP : PTR(TOKEN) : tok_proc_res #
2 7u83 395 
#pragma interface tok_proc_res
396 
 
7 7u83 397 
#pragma token PROC(EXP : TOKEN :)\
398 
    EXP : PTR(NAMESPACE) : tok_proc_pars #
2 7u83 399 
#pragma interface tok_proc_pars
400 
 
7 7u83 401 
#pragma token PROC(EXP : TOKEN :)\
402 
    EXP : PTR(int) : tok_proc_key #
2 7u83 403 
#pragma interface tok_proc_key
404 
 
7 7u83 405 
#pragma token PROC(EXP : TOKEN :)\
406 
    EXP : PTR(INSTANCE) : tok_proc_apps #
2 7u83 407 
#pragma interface tok_proc_apps
408 
 
7 7u83 409 
#pragma token PROC(EXP : TOKEN :)\
410 
    EXP : PTR(LIST(IDENTIFIER)) : tok_proc_bids #
2 7u83 411 
#pragma interface tok_proc_bids
412 
 
7 7u83 413 
#pragma token PROC(EXP : TOKEN :)\
414 
    EXP : PTR(LIST(IDENTIFIER)) : tok_proc_pids #
2 7u83 415 
#pragma interface tok_proc_pids
416 
 
7 7u83 417 
#pragma token PROC(\
2 7u83 418 
	EXP : TOKEN :,\
419 
	EXP : NAMESPACE :,\
420 
	EXP : int :,\
421 
	EXP lvalue : TOKEN :\
422 
    ) STATEMENT MAKE_tok_proc #
423 
#pragma interface MAKE_tok_proc
424 
 
7 7u83 425 
#pragma token PROC(\
2 7u83 426 
	EXP lvalue : TOKEN :,\
427 
	EXP lvalue : NAMESPACE :,\
428 
	EXP lvalue : int :,\
429 
	EXP lvalue : INSTANCE :,\
7 7u83 430 
	EXP lvalue : LIST(IDENTIFIER) :,\
431 
	EXP lvalue : LIST(IDENTIFIER) :,\
2 7u83 432 
	EXP : TOKEN :\
433 
    ) STATEMENT DECONS_tok_proc #
434 
#pragma interface DECONS_tok_proc
435 
 
7 7u83 436 
#pragma token PROC(\
2 7u83 437 
	EXP : DESTROYER :,\
438 
	EXP lvalue : TOKEN :,\
439 
	EXP lvalue : NAMESPACE :,\
440 
	EXP lvalue : int :,\
441 
	EXP lvalue : INSTANCE :,\
7 7u83 442 
	EXP lvalue : LIST(IDENTIFIER) :,\
443 
	EXP lvalue : LIST(IDENTIFIER) :,\
2 7u83 444 
	EXP : TOKEN :\
445 
    ) STATEMENT DESTROY_tok_proc #
446 
#pragma interface DESTROY_tok_proc
447 
 
448 
 
449 
/* Operations for field templ of union TOKEN */
450 
 
451 
#pragma token EXP const : unsigned : tok_templ_tag #
7 7u83 452 
#pragma token PROC(EXP : TOKEN :) EXP : int : IS_tok_templ #
2 7u83 453 
#pragma interface tok_templ_tag IS_tok_templ
454 
 
7 7u83 455 
#pragma token PROC(EXP : TOKEN :)\
456 
    EXP : PTR(DECL_SPEC) : tok_templ_usage #
2 7u83 457 
#pragma interface tok_templ_usage
458 
 
7 7u83 459 
#pragma token PROC(EXP : TOKEN :)\
460 
    EXP : PTR(NAMESPACE) : tok_templ_pars #
2 7u83 461 
#pragma interface tok_templ_pars
462 
 
7 7u83 463 
#pragma token PROC(EXP : TOKEN :)\
464 
    EXP : PTR(INSTANCE) : tok_templ_apps #
2 7u83 465 
#pragma interface tok_templ_apps
466 
 
7 7u83 467 
#pragma token PROC(EXP : TOKEN :)\
468 
    EXP : PTR(LIST(IDENTIFIER)) : tok_templ_pids #
2 7u83 469 
#pragma interface tok_templ_pids
470 
 
7 7u83 471 
#pragma token PROC(EXP : TOKEN :)\
472 
    EXP : PTR(LIST(TOKEN)) : tok_templ_dargs #
2 7u83 473 
#pragma interface tok_templ_dargs
474 
 
7 7u83 475 
#pragma token PROC(\
2 7u83 476 
	EXP : DECL_SPEC :,\
477 
	EXP : NAMESPACE :,\
478 
	EXP lvalue : TOKEN :\
479 
    ) STATEMENT MAKE_tok_templ #
480 
#pragma interface MAKE_tok_templ
481 
 
7 7u83 482 
#pragma token PROC(\
2 7u83 483 
	EXP lvalue : DECL_SPEC :,\
484 
	EXP lvalue : NAMESPACE :,\
485 
	EXP lvalue : INSTANCE :,\
7 7u83 486 
	EXP lvalue : LIST(IDENTIFIER) :,\
487 
	EXP lvalue : LIST(TOKEN) :,\
2 7u83 488 
	EXP : TOKEN :\
489 
    ) STATEMENT DECONS_tok_templ #
490 
#pragma interface DECONS_tok_templ
491 
 
7 7u83 492 
#pragma token PROC(\
2 7u83 493 
	EXP : DESTROYER :,\
494 
	EXP lvalue : DECL_SPEC :,\
495 
	EXP lvalue : NAMESPACE :,\
496 
	EXP lvalue : INSTANCE :,\
7 7u83 497 
	EXP lvalue : LIST(IDENTIFIER) :,\
498 
	EXP lvalue : LIST(TOKEN) :,\
2 7u83 499 
	EXP : TOKEN :\
500 
    ) STATEMENT DESTROY_tok_templ #
501 
#pragma interface DESTROY_tok_templ
502 
 
503 
 
504 
#endif