Subversion Repositories tendra.SVN

Rev

Rev 2 | Go to most recent revision | 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 OFF_OPS_H_INCLUDED
36
#define OFF_OPS_H_INCLUDED
37
 
38
/* Operations for union OFFSET */
39
 
40
#pragma token PROC ( EXP : OFFSET : ) EXP : unsigned : TAG_off #
41
#pragma interface TAG_off
42
 
43
 
44
/* Operations for field zero of union OFFSET */
45
 
46
#pragma token EXP const : unsigned : off_zero_tag #
47
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_zero #
48
#pragma interface off_zero_tag IS_off_zero
49
 
50
#pragma token PROC ( EXP : OFFSET : )\
51
    EXP : PTR ( TYPE ) : off_zero_type #
52
#pragma interface off_zero_type
53
 
54
#pragma token PROC (\
55
	EXP : TYPE :,\
56
	EXP lvalue : OFFSET :\
57
    ) STATEMENT MAKE_off_zero #
58
#pragma interface MAKE_off_zero
59
 
60
#pragma token PROC (\
61
	EXP lvalue : TYPE :,\
62
	EXP : OFFSET :\
63
    ) STATEMENT DECONS_off_zero #
64
#pragma interface DECONS_off_zero
65
 
66
#pragma token PROC (\
67
	EXP : DESTROYER :,\
68
	EXP lvalue : TYPE :,\
69
	EXP : OFFSET :\
70
    ) STATEMENT DESTROY_off_zero #
71
#pragma interface DESTROY_off_zero
72
 
73
 
74
/* Operations for field type of union OFFSET */
75
 
76
#pragma token EXP const : unsigned : off_type_tag #
77
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_type #
78
#pragma interface off_type_tag IS_off_type
79
 
80
#pragma token PROC ( EXP : OFFSET : )\
81
    EXP : PTR ( TYPE ) : off_type_type #
82
#pragma interface off_type_type
83
 
84
#pragma token PROC (\
85
	EXP : TYPE :,\
86
	EXP lvalue : OFFSET :\
87
    ) STATEMENT MAKE_off_type #
88
#pragma interface MAKE_off_type
89
 
90
#pragma token PROC (\
91
	EXP lvalue : TYPE :,\
92
	EXP : OFFSET :\
93
    ) STATEMENT DECONS_off_type #
94
#pragma interface DECONS_off_type
95
 
96
#pragma token PROC (\
97
	EXP : DESTROYER :,\
98
	EXP lvalue : TYPE :,\
99
	EXP : OFFSET :\
100
    ) STATEMENT DESTROY_off_type #
101
#pragma interface DESTROY_off_type
102
 
103
 
104
/* Operations for field array of union OFFSET */
105
 
106
#pragma token EXP const : unsigned : off_array_tag #
107
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_array #
108
#pragma interface off_array_tag IS_off_array
109
 
110
#pragma token PROC ( EXP : OFFSET : )\
111
    EXP : PTR ( TYPE ) : off_array_type #
112
#pragma interface off_array_type
113
 
114
#pragma token PROC ( EXP : OFFSET : )\
115
    EXP : PTR ( unsigned ) : off_array_arg #
116
#pragma interface off_array_arg
117
 
118
#pragma token PROC (\
119
	EXP : TYPE :,\
120
	EXP : unsigned :,\
121
	EXP lvalue : OFFSET :\
122
    ) STATEMENT MAKE_off_array #
123
#pragma interface MAKE_off_array
124
 
125
#pragma token PROC (\
126
	EXP lvalue : TYPE :,\
127
	EXP lvalue : unsigned :,\
128
	EXP : OFFSET :\
129
    ) STATEMENT DECONS_off_array #
130
#pragma interface DECONS_off_array
131
 
132
#pragma token PROC (\
133
	EXP : DESTROYER :,\
134
	EXP lvalue : TYPE :,\
135
	EXP lvalue : unsigned :,\
136
	EXP : OFFSET :\
137
    ) STATEMENT DESTROY_off_array #
138
#pragma interface DESTROY_off_array
139
 
140
 
141
/* Operations for field extra of union OFFSET */
142
 
143
#pragma token EXP const : unsigned : off_extra_tag #
144
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_extra #
145
#pragma interface off_extra_tag IS_off_extra
146
 
147
#pragma token PROC ( EXP : OFFSET : )\
148
    EXP : PTR ( TYPE ) : off_extra_type #
149
#pragma interface off_extra_type
150
 
151
#pragma token PROC ( EXP : OFFSET : )\
152
    EXP : PTR ( int ) : off_extra_scale #
153
#pragma interface off_extra_scale
154
 
155
#pragma token PROC (\
156
	EXP : TYPE :,\
157
	EXP : int :,\
158
	EXP lvalue : OFFSET :\
159
    ) STATEMENT MAKE_off_extra #
160
#pragma interface MAKE_off_extra
161
 
162
#pragma token PROC (\
163
	EXP lvalue : TYPE :,\
164
	EXP lvalue : int :,\
165
	EXP : OFFSET :\
166
    ) STATEMENT DECONS_off_extra #
167
#pragma interface DECONS_off_extra
168
 
169
#pragma token PROC (\
170
	EXP : DESTROYER :,\
171
	EXP lvalue : TYPE :,\
172
	EXP lvalue : int :,\
173
	EXP : OFFSET :\
174
    ) STATEMENT DESTROY_off_extra #
175
#pragma interface DESTROY_off_extra
176
 
177
 
178
/* Operations for field base of union OFFSET */
179
 
180
#pragma token EXP const : unsigned : off_base_tag #
181
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_base #
182
#pragma interface off_base_tag IS_off_base
183
 
184
#pragma token PROC ( EXP : OFFSET : )\
185
    EXP : PTR ( GRAPH ) : off_base_graph #
186
#pragma interface off_base_graph
187
 
188
#pragma token PROC (\
189
	EXP : GRAPH :,\
190
	EXP lvalue : OFFSET :\
191
    ) STATEMENT MAKE_off_base #
192
#pragma interface MAKE_off_base
193
 
194
#pragma token PROC (\
195
	EXP lvalue : GRAPH :,\
196
	EXP : OFFSET :\
197
    ) STATEMENT DECONS_off_base #
198
#pragma interface DECONS_off_base
199
 
200
#pragma token PROC (\
201
	EXP : DESTROYER :,\
202
	EXP lvalue : GRAPH :,\
203
	EXP : OFFSET :\
204
    ) STATEMENT DESTROY_off_base #
205
#pragma interface DESTROY_off_base
206
 
207
 
208
/* Operations for field deriv of union OFFSET */
209
 
210
#pragma token EXP const : unsigned : off_deriv_tag #
211
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_deriv #
212
#pragma interface off_deriv_tag IS_off_deriv
213
 
214
#pragma token PROC ( EXP : OFFSET : )\
215
    EXP : PTR ( GRAPH ) : off_deriv_graph #
216
#pragma interface off_deriv_graph
217
 
218
#pragma token PROC ( EXP : OFFSET : )\
219
    EXP : PTR ( OFFSET ) : off_deriv_direct #
220
#pragma interface off_deriv_direct
221
 
222
#pragma token PROC ( EXP : OFFSET : )\
223
    EXP : PTR ( OFFSET ) : off_deriv_indirect #
224
#pragma interface off_deriv_indirect
225
 
226
#pragma token PROC (\
227
	EXP : GRAPH :,\
228
	EXP : OFFSET :,\
229
	EXP : OFFSET :,\
230
	EXP lvalue : OFFSET :\
231
    ) STATEMENT MAKE_off_deriv #
232
#pragma interface MAKE_off_deriv
233
 
234
#pragma token PROC (\
235
	EXP lvalue : GRAPH :,\
236
	EXP lvalue : OFFSET :,\
237
	EXP lvalue : OFFSET :,\
238
	EXP : OFFSET :\
239
    ) STATEMENT DECONS_off_deriv #
240
#pragma interface DECONS_off_deriv
241
 
242
#pragma token PROC (\
243
	EXP : DESTROYER :,\
244
	EXP lvalue : GRAPH :,\
245
	EXP lvalue : OFFSET :,\
246
	EXP lvalue : OFFSET :,\
247
	EXP : OFFSET :\
248
    ) STATEMENT DESTROY_off_deriv #
249
#pragma interface DESTROY_off_deriv
250
 
251
 
252
/* Operations for field member of union OFFSET */
253
 
254
#pragma token EXP const : unsigned : off_member_tag #
255
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_member #
256
#pragma interface off_member_tag IS_off_member
257
 
258
#pragma token PROC ( EXP : OFFSET : )\
259
    EXP : PTR ( IDENTIFIER ) : off_member_id #
260
#pragma interface off_member_id
261
 
262
#pragma token PROC (\
263
	EXP : IDENTIFIER :,\
264
	EXP lvalue : OFFSET :\
265
    ) STATEMENT MAKE_off_member #
266
#pragma interface MAKE_off_member
267
 
268
#pragma token PROC (\
269
	EXP lvalue : IDENTIFIER :,\
270
	EXP : OFFSET :\
271
    ) STATEMENT DECONS_off_member #
272
#pragma interface DECONS_off_member
273
 
274
#pragma token PROC (\
275
	EXP : DESTROYER :,\
276
	EXP lvalue : IDENTIFIER :,\
277
	EXP : OFFSET :\
278
    ) STATEMENT DESTROY_off_member #
279
#pragma interface DESTROY_off_member
280
 
281
 
282
/* Operations for field ptr_mem of union OFFSET */
283
 
284
#pragma token EXP const : unsigned : off_ptr_mem_tag #
285
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_ptr_mem #
286
#pragma interface off_ptr_mem_tag IS_off_ptr_mem
287
 
288
#pragma token PROC ( EXP : OFFSET : )\
289
    EXP : PTR ( EXP ) : off_ptr_mem_arg #
290
#pragma interface off_ptr_mem_arg
291
 
292
#pragma token PROC (\
293
	EXP : EXP :,\
294
	EXP lvalue : OFFSET :\
295
    ) STATEMENT MAKE_off_ptr_mem #
296
#pragma interface MAKE_off_ptr_mem
297
 
298
#pragma token PROC (\
299
	EXP lvalue : EXP :,\
300
	EXP : OFFSET :\
301
    ) STATEMENT DECONS_off_ptr_mem #
302
#pragma interface DECONS_off_ptr_mem
303
 
304
#pragma token PROC (\
305
	EXP : DESTROYER :,\
306
	EXP lvalue : EXP :,\
307
	EXP : OFFSET :\
308
    ) STATEMENT DESTROY_off_ptr_mem #
309
#pragma interface DESTROY_off_ptr_mem
310
 
311
 
312
/* Operations for field negate of union OFFSET */
313
 
314
#pragma token EXP const : unsigned : off_negate_tag #
315
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_negate #
316
#pragma interface off_negate_tag IS_off_negate
317
 
318
#pragma token PROC ( EXP : OFFSET : )\
319
    EXP : PTR ( OFFSET ) : off_negate_arg #
320
#pragma interface off_negate_arg
321
 
322
#pragma token PROC (\
323
	EXP : OFFSET :,\
324
	EXP lvalue : OFFSET :\
325
    ) STATEMENT MAKE_off_negate #
326
#pragma interface MAKE_off_negate
327
 
328
#pragma token PROC (\
329
	EXP lvalue : OFFSET :,\
330
	EXP : OFFSET :\
331
    ) STATEMENT DECONS_off_negate #
332
#pragma interface DECONS_off_negate
333
 
334
#pragma token PROC (\
335
	EXP : DESTROYER :,\
336
	EXP lvalue : OFFSET :,\
337
	EXP : OFFSET :\
338
    ) STATEMENT DESTROY_off_negate #
339
#pragma interface DESTROY_off_negate
340
 
341
 
342
/* Operations for field plus of union OFFSET */
343
 
344
#pragma token EXP const : unsigned : off_plus_tag #
345
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_plus #
346
#pragma interface off_plus_tag IS_off_plus
347
 
348
#pragma token PROC ( EXP : OFFSET : )\
349
    EXP : PTR ( OFFSET ) : off_plus_arg1 #
350
#pragma interface off_plus_arg1
351
 
352
#pragma token PROC ( EXP : OFFSET : )\
353
    EXP : PTR ( OFFSET ) : off_plus_arg2 #
354
#pragma interface off_plus_arg2
355
 
356
#pragma token PROC (\
357
	EXP : OFFSET :,\
358
	EXP : OFFSET :,\
359
	EXP lvalue : OFFSET :\
360
    ) STATEMENT MAKE_off_plus #
361
#pragma interface MAKE_off_plus
362
 
363
#pragma token PROC (\
364
	EXP lvalue : OFFSET :,\
365
	EXP lvalue : OFFSET :,\
366
	EXP : OFFSET :\
367
    ) STATEMENT DECONS_off_plus #
368
#pragma interface DECONS_off_plus
369
 
370
#pragma token PROC (\
371
	EXP : DESTROYER :,\
372
	EXP lvalue : OFFSET :,\
373
	EXP lvalue : OFFSET :,\
374
	EXP : OFFSET :\
375
    ) STATEMENT DESTROY_off_plus #
376
#pragma interface DESTROY_off_plus
377
 
378
 
379
/* Operations for field mult of union OFFSET */
380
 
381
#pragma token EXP const : unsigned : off_mult_tag #
382
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_mult #
383
#pragma interface off_mult_tag IS_off_mult
384
 
385
#pragma token PROC ( EXP : OFFSET : )\
386
    EXP : PTR ( OFFSET ) : off_mult_arg1 #
387
#pragma interface off_mult_arg1
388
 
389
#pragma token PROC ( EXP : OFFSET : )\
390
    EXP : PTR ( EXP ) : off_mult_arg2 #
391
#pragma interface off_mult_arg2
392
 
393
#pragma token PROC (\
394
	EXP : OFFSET :,\
395
	EXP : EXP :,\
396
	EXP lvalue : OFFSET :\
397
    ) STATEMENT MAKE_off_mult #
398
#pragma interface MAKE_off_mult
399
 
400
#pragma token PROC (\
401
	EXP lvalue : OFFSET :,\
402
	EXP lvalue : EXP :,\
403
	EXP : OFFSET :\
404
    ) STATEMENT DECONS_off_mult #
405
#pragma interface DECONS_off_mult
406
 
407
#pragma token PROC (\
408
	EXP : DESTROYER :,\
409
	EXP lvalue : OFFSET :,\
410
	EXP lvalue : EXP :,\
411
	EXP : OFFSET :\
412
    ) STATEMENT DESTROY_off_mult #
413
#pragma interface DESTROY_off_mult
414
 
415
 
416
/* Operations for field ptr_diff of union OFFSET */
417
 
418
#pragma token EXP const : unsigned : off_ptr_diff_tag #
419
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_ptr_diff #
420
#pragma interface off_ptr_diff_tag IS_off_ptr_diff
421
 
422
#pragma token PROC ( EXP : OFFSET : )\
423
    EXP : PTR ( EXP ) : off_ptr_diff_ptr1 #
424
#pragma interface off_ptr_diff_ptr1
425
 
426
#pragma token PROC ( EXP : OFFSET : )\
427
    EXP : PTR ( EXP ) : off_ptr_diff_ptr2 #
428
#pragma interface off_ptr_diff_ptr2
429
 
430
#pragma token PROC (\
431
	EXP : EXP :,\
432
	EXP : EXP :,\
433
	EXP lvalue : OFFSET :\
434
    ) STATEMENT MAKE_off_ptr_diff #
435
#pragma interface MAKE_off_ptr_diff
436
 
437
#pragma token PROC (\
438
	EXP lvalue : EXP :,\
439
	EXP lvalue : EXP :,\
440
	EXP : OFFSET :\
441
    ) STATEMENT DECONS_off_ptr_diff #
442
#pragma interface DECONS_off_ptr_diff
443
 
444
#pragma token PROC (\
445
	EXP : DESTROYER :,\
446
	EXP lvalue : EXP :,\
447
	EXP lvalue : EXP :,\
448
	EXP : OFFSET :\
449
    ) STATEMENT DESTROY_off_ptr_diff #
450
#pragma interface DESTROY_off_ptr_diff
451
 
452
 
453
/* Operations for field token of union OFFSET */
454
 
455
#pragma token EXP const : unsigned : off_token_tag #
456
#pragma token PROC ( EXP : OFFSET : ) EXP : int : IS_off_token #
457
#pragma interface off_token_tag IS_off_token
458
 
459
#pragma token PROC ( EXP : OFFSET : )\
460
    EXP : PTR ( IDENTIFIER ) : off_token_tok #
461
#pragma interface off_token_tok
462
 
463
#pragma token PROC ( EXP : OFFSET : )\
464
    EXP : PTR ( LIST ( TOKEN ) ) : off_token_args #
465
#pragma interface off_token_args
466
 
467
#pragma token PROC (\
468
	EXP : IDENTIFIER :,\
469
	EXP : LIST ( TOKEN ) :,\
470
	EXP lvalue : OFFSET :\
471
    ) STATEMENT MAKE_off_token #
472
#pragma interface MAKE_off_token
473
 
474
#pragma token PROC (\
475
	EXP lvalue : IDENTIFIER :,\
476
	EXP lvalue : LIST ( TOKEN ) :,\
477
	EXP : OFFSET :\
478
    ) STATEMENT DECONS_off_token #
479
#pragma interface DECONS_off_token
480
 
481
#pragma token PROC (\
482
	EXP : DESTROYER :,\
483
	EXP lvalue : IDENTIFIER :,\
484
	EXP lvalue : LIST ( TOKEN ) :,\
485
	EXP : OFFSET :\
486
    ) STATEMENT DESTROY_off_token #
487
#pragma interface DESTROY_off_token
488
 
489
 
490
#endif