Subversion Repositories tendra.SVN

Rev

Go to most recent revision | Details | 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
 
40
#pragma token PROC ( EXP : TOKEN : ) EXP : unsigned : TAG_tok #
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 #
47
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_exp #
48
#pragma interface tok_exp_tag IS_tok_exp
49
 
50
#pragma token PROC ( EXP : TOKEN : )\
51
    EXP : PTR ( TYPE ) : tok_exp_type #
52
#pragma interface tok_exp_type
53
 
54
#pragma token PROC ( EXP : TOKEN : )\
55
    EXP : PTR ( int ) : tok_exp_constant #
56
#pragma interface tok_exp_constant
57
 
58
#pragma token PROC ( EXP : TOKEN : )\
59
    EXP : PTR ( EXP ) : tok_exp_value #
60
#pragma interface tok_exp_value
61
 
62
#pragma token PROC (\
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
 
70
#pragma token PROC (\
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
 
78
#pragma token PROC (\
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 #
91
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_stmt #
92
#pragma interface tok_stmt_tag IS_tok_stmt
93
 
94
#pragma token PROC ( EXP : TOKEN : )\
95
    EXP : PTR ( EXP ) : tok_stmt_value #
96
#pragma interface tok_stmt_value
97
 
98
#pragma token PROC (\
99
	EXP : EXP :,\
100
	EXP lvalue : TOKEN :\
101
    ) STATEMENT MAKE_tok_stmt #
102
#pragma interface MAKE_tok_stmt
103
 
104
#pragma token PROC (\
105
	EXP lvalue : EXP :,\
106
	EXP : TOKEN :\
107
    ) STATEMENT DECONS_tok_stmt #
108
#pragma interface DECONS_tok_stmt
109
 
110
#pragma token PROC (\
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 #
121
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_nat_etc #
122
#pragma interface tok_nat_etc_tag IS_tok_nat_etc
123
 
124
#pragma token PROC ( EXP : TOKEN : )\
125
    EXP : PTR ( NAT ) : tok_nat_etc_value #
126
#pragma interface tok_nat_etc_value
127
 
128
#pragma token PROC (\
129
	EXP : unsigned :,\
130
	EXP : NAT :,\
131
	EXP lvalue : TOKEN :\
132
    ) STATEMENT MAKE_tok_nat_etc #
133
#pragma interface MAKE_tok_nat_etc
134
 
135
#pragma token PROC (\
136
	EXP : unsigned :,\
137
	EXP : TOKEN :\
138
    ) STATEMENT MODIFY_tok_nat_etc #
139
#pragma interface MODIFY_tok_nat_etc
140
 
141
#pragma token PROC (\
142
	EXP lvalue : NAT :,\
143
	EXP : TOKEN :\
144
    ) STATEMENT DECONS_tok_nat_etc #
145
#pragma interface DECONS_tok_nat_etc
146
 
147
#pragma token PROC (\
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 #
158
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_nat #
159
#pragma interface tok_nat_tag IS_tok_nat
160
 
161
#pragma token PROC ( EXP : TOKEN : )\
162
    EXP : PTR ( NAT ) : tok_nat_value #
163
#pragma interface tok_nat_value
164
 
165
#pragma token PROC (\
166
	EXP : NAT :,\
167
	EXP lvalue : TOKEN :\
168
    ) STATEMENT MAKE_tok_nat #
169
#pragma interface MAKE_tok_nat
170
 
171
#pragma token PROC (\
172
	EXP lvalue : NAT :,\
173
	EXP : TOKEN :\
174
    ) STATEMENT DECONS_tok_nat #
175
#pragma interface DECONS_tok_nat
176
 
177
#pragma token PROC (\
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 #
188
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_snat #
189
#pragma interface tok_snat_tag IS_tok_snat
190
 
191
#pragma token PROC ( EXP : TOKEN : )\
192
    EXP : PTR ( NAT ) : tok_snat_value #
193
#pragma interface tok_snat_value
194
 
195
#pragma token PROC (\
196
	EXP : NAT :,\
197
	EXP lvalue : TOKEN :\
198
    ) STATEMENT MAKE_tok_snat #
199
#pragma interface MAKE_tok_snat
200
 
201
#pragma token PROC (\
202
	EXP lvalue : NAT :,\
203
	EXP : TOKEN :\
204
    ) STATEMENT DECONS_tok_snat #
205
#pragma interface DECONS_tok_snat
206
 
207
#pragma token PROC (\
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 #
218
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_type #
219
#pragma interface tok_type_tag IS_tok_type
220
 
221
#pragma token PROC ( EXP : TOKEN : )\
222
    EXP : PTR ( BASE_TYPE ) : tok_type_kind #
223
#pragma interface tok_type_kind
224
 
225
#pragma token PROC ( EXP : TOKEN : )\
226
    EXP : PTR ( TYPE ) : tok_type_value #
227
#pragma interface tok_type_value
228
 
229
#pragma token PROC ( EXP : TOKEN : )\
230
    EXP : PTR ( TYPE ) : tok_type_alt #
231
#pragma interface tok_type_alt
232
 
233
#pragma token PROC (\
234
	EXP : BASE_TYPE :,\
235
	EXP : TYPE :,\
236
	EXP lvalue : TOKEN :\
237
    ) STATEMENT MAKE_tok_type #
238
#pragma interface MAKE_tok_type
239
 
240
#pragma token PROC (\
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
 
248
#pragma token PROC (\
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 #
261
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_func #
262
#pragma interface tok_func_tag IS_tok_func
263
 
264
#pragma token PROC ( EXP : TOKEN : )\
265
    EXP : PTR ( TYPE ) : tok_func_type #
266
#pragma interface tok_func_type
267
 
268
#pragma token PROC ( EXP : TOKEN : )\
269
    EXP : PTR ( IDENTIFIER ) : tok_func_defn #
270
#pragma interface tok_func_defn
271
 
272
#pragma token PROC ( EXP : TOKEN : )\
273
    EXP : PTR ( TOKEN ) : tok_func_proc #
274
#pragma interface tok_func_proc
275
 
276
#pragma token PROC (\
277
	EXP : TYPE :,\
278
	EXP lvalue : TOKEN :\
279
    ) STATEMENT MAKE_tok_func #
280
#pragma interface MAKE_tok_func
281
 
282
#pragma token PROC (\
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
 
290
#pragma token PROC (\
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 #
303
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_member #
304
#pragma interface tok_member_tag IS_tok_member
305
 
306
#pragma token PROC ( EXP : TOKEN : )\
307
    EXP : PTR ( TYPE ) : tok_member_of #
308
#pragma interface tok_member_of
309
 
310
#pragma token PROC ( EXP : TOKEN : )\
311
    EXP : PTR ( TYPE ) : tok_member_type #
312
#pragma interface tok_member_type
313
 
314
#pragma token PROC ( EXP : TOKEN : )\
315
    EXP : PTR ( OFFSET ) : tok_member_value #
316
#pragma interface tok_member_value
317
 
318
#pragma token PROC (\
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
 
326
#pragma token PROC (\
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
 
334
#pragma token PROC (\
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 #
347
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_class #
348
#pragma interface tok_class_tag IS_tok_class
349
 
350
#pragma token PROC ( EXP : TOKEN : )\
351
    EXP : PTR ( TYPE ) : tok_class_type #
352
#pragma interface tok_class_type
353
 
354
#pragma token PROC ( EXP : TOKEN : )\
355
    EXP : PTR ( IDENTIFIER ) : tok_class_value #
356
#pragma interface tok_class_value
357
 
358
#pragma token PROC ( EXP : TOKEN : )\
359
    EXP : PTR ( TYPE ) : tok_class_alt #
360
#pragma interface tok_class_alt
361
 
362
#pragma token PROC (\
363
	EXP : TYPE :,\
364
	EXP : IDENTIFIER :,\
365
	EXP lvalue : TOKEN :\
366
    ) STATEMENT MAKE_tok_class #
367
#pragma interface MAKE_tok_class
368
 
369
#pragma token PROC (\
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
 
377
#pragma token PROC (\
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 #
390
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_proc #
391
#pragma interface tok_proc_tag IS_tok_proc
392
 
393
#pragma token PROC ( EXP : TOKEN : )\
394
    EXP : PTR ( TOKEN ) : tok_proc_res #
395
#pragma interface tok_proc_res
396
 
397
#pragma token PROC ( EXP : TOKEN : )\
398
    EXP : PTR ( NAMESPACE ) : tok_proc_pars #
399
#pragma interface tok_proc_pars
400
 
401
#pragma token PROC ( EXP : TOKEN : )\
402
    EXP : PTR ( int ) : tok_proc_key #
403
#pragma interface tok_proc_key
404
 
405
#pragma token PROC ( EXP : TOKEN : )\
406
    EXP : PTR ( INSTANCE ) : tok_proc_apps #
407
#pragma interface tok_proc_apps
408
 
409
#pragma token PROC ( EXP : TOKEN : )\
410
    EXP : PTR ( LIST ( IDENTIFIER ) ) : tok_proc_bids #
411
#pragma interface tok_proc_bids
412
 
413
#pragma token PROC ( EXP : TOKEN : )\
414
    EXP : PTR ( LIST ( IDENTIFIER ) ) : tok_proc_pids #
415
#pragma interface tok_proc_pids
416
 
417
#pragma token PROC (\
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
 
425
#pragma token PROC (\
426
	EXP lvalue : TOKEN :,\
427
	EXP lvalue : NAMESPACE :,\
428
	EXP lvalue : int :,\
429
	EXP lvalue : INSTANCE :,\
430
	EXP lvalue : LIST ( IDENTIFIER ) :,\
431
	EXP lvalue : LIST ( IDENTIFIER ) :,\
432
	EXP : TOKEN :\
433
    ) STATEMENT DECONS_tok_proc #
434
#pragma interface DECONS_tok_proc
435
 
436
#pragma token PROC (\
437
	EXP : DESTROYER :,\
438
	EXP lvalue : TOKEN :,\
439
	EXP lvalue : NAMESPACE :,\
440
	EXP lvalue : int :,\
441
	EXP lvalue : INSTANCE :,\
442
	EXP lvalue : LIST ( IDENTIFIER ) :,\
443
	EXP lvalue : LIST ( IDENTIFIER ) :,\
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 #
452
#pragma token PROC ( EXP : TOKEN : ) EXP : int : IS_tok_templ #
453
#pragma interface tok_templ_tag IS_tok_templ
454
 
455
#pragma token PROC ( EXP : TOKEN : )\
456
    EXP : PTR ( DECL_SPEC ) : tok_templ_usage #
457
#pragma interface tok_templ_usage
458
 
459
#pragma token PROC ( EXP : TOKEN : )\
460
    EXP : PTR ( NAMESPACE ) : tok_templ_pars #
461
#pragma interface tok_templ_pars
462
 
463
#pragma token PROC ( EXP : TOKEN : )\
464
    EXP : PTR ( INSTANCE ) : tok_templ_apps #
465
#pragma interface tok_templ_apps
466
 
467
#pragma token PROC ( EXP : TOKEN : )\
468
    EXP : PTR ( LIST ( IDENTIFIER ) ) : tok_templ_pids #
469
#pragma interface tok_templ_pids
470
 
471
#pragma token PROC ( EXP : TOKEN : )\
472
    EXP : PTR ( LIST ( TOKEN ) ) : tok_templ_dargs #
473
#pragma interface tok_templ_dargs
474
 
475
#pragma token PROC (\
476
	EXP : DECL_SPEC :,\
477
	EXP : NAMESPACE :,\
478
	EXP lvalue : TOKEN :\
479
    ) STATEMENT MAKE_tok_templ #
480
#pragma interface MAKE_tok_templ
481
 
482
#pragma token PROC (\
483
	EXP lvalue : DECL_SPEC :,\
484
	EXP lvalue : NAMESPACE :,\
485
	EXP lvalue : INSTANCE :,\
486
	EXP lvalue : LIST ( IDENTIFIER ) :,\
487
	EXP lvalue : LIST ( TOKEN ) :,\
488
	EXP : TOKEN :\
489
    ) STATEMENT DECONS_tok_templ #
490
#pragma interface DECONS_tok_templ
491
 
492
#pragma token PROC (\
493
	EXP : DESTROYER :,\
494
	EXP lvalue : DECL_SPEC :,\
495
	EXP lvalue : NAMESPACE :,\
496
	EXP lvalue : INSTANCE :,\
497
	EXP lvalue : LIST ( IDENTIFIER ) :,\
498
	EXP lvalue : LIST ( TOKEN ) :,\
499
	EXP : TOKEN :\
500
    ) STATEMENT DESTROY_tok_templ #
501
#pragma interface DESTROY_tok_templ
502
 
503
 
504
#endif