Subversion Repositories tendra.SVN

Rev

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

Rev Author Line No. Line
2 7u83 1 
/*
2 
    		 Crown Copyright (c) 1997
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 tdf (VERSION 1.0)
32 
    BY calculus (VERSION 1.2)
33 
*/
34 
 
35 
#ifndef CONS_OPS_H_INCLUDED
36 
#define CONS_OPS_H_INCLUDED
37 
 
38 
/* Operations for union CONSTRUCT */
39 
 
6 7u83 40 
#pragma token PROC(EXP : CONSTRUCT :) EXP : unsigned : TAG_cons #
2 7u83 41 
#pragma interface TAG_cons
42 
 
43 
 
44 
/* Operations for component name of union CONSTRUCT */
45 
 
6 7u83 46 
#pragma token PROC(EXP : CONSTRUCT :)\
47 
    EXP : PTR(string) : cons_name #
2 7u83 48 
#pragma interface cons_name
49 
 
50 
/* Operations for component encode of union CONSTRUCT */
51 
 
6 7u83 52 
#pragma token PROC(EXP : CONSTRUCT :)\
53 
    EXP : PTR(unsigned) : cons_encode #
2 7u83 54 
#pragma interface cons_encode
55 
 
56 
/* Operations for component res of union CONSTRUCT */
57 
 
6 7u83 58 
#pragma token PROC(EXP : CONSTRUCT :)\
59 
    EXP : PTR(SORT) : cons_res #
2 7u83 60 
#pragma interface cons_res
61 
 
62 
/* Operations for component pars of union CONSTRUCT */
63 
 
6 7u83 64 
#pragma token PROC(EXP : CONSTRUCT :)\
65 
    EXP : PTR(LIST(PARAMETER)) : cons_pars #
2 7u83 66 
#pragma interface cons_pars
67 
 
68 
/* Operations for component kind of union CONSTRUCT */
69 
 
6 7u83 70 
#pragma token PROC(EXP : CONSTRUCT :)\
71 
    EXP : PTR(unsigned) : cons_kind #
2 7u83 72 
#pragma interface cons_kind
73 
 
74 
/* Operations for field basic of union CONSTRUCT */
75 
 
76 
#pragma token EXP const : unsigned : cons_basic_tag #
6 7u83 77 
#pragma token PROC(EXP : CONSTRUCT :) EXP : int : IS_cons_basic #
2 7u83 78 
#pragma interface cons_basic_tag IS_cons_basic
79 
 
6 7u83 80 
#pragma token PROC(\
2 7u83 81 
	EXP : string :,\
82 
	EXP : unsigned :,\
83 
	EXP : SORT :,\
6 7u83 84 
	EXP : LIST(PARAMETER) :,\
2 7u83 85 
	EXP : unsigned :,\
86 
	EXP lvalue : CONSTRUCT :\
87 
    ) STATEMENT MAKE_cons_basic #
88 
#pragma interface MAKE_cons_basic
89 
 
6 7u83 90 
#pragma token PROC(\
2 7u83 91 
	EXP lvalue : string :,\
92 
	EXP lvalue : unsigned :,\
93 
	EXP lvalue : SORT :,\
6 7u83 94 
	EXP lvalue : LIST(PARAMETER) :,\
2 7u83 95 
	EXP lvalue : unsigned :,\
96 
	EXP : CONSTRUCT :\
97 
    ) STATEMENT DECONS_cons_basic #
98 
#pragma interface DECONS_cons_basic
99 
 
6 7u83 100 
#pragma token PROC(\
2 7u83 101 
	EXP : DESTROYER :,\
102 
	EXP lvalue : string :,\
103 
	EXP lvalue : unsigned :,\
104 
	EXP lvalue : SORT :,\
6 7u83 105 
	EXP lvalue : LIST(PARAMETER) :,\
2 7u83 106 
	EXP lvalue : unsigned :,\
107 
	EXP : CONSTRUCT :\
108 
    ) STATEMENT DESTROY_cons_basic #
109 
#pragma interface DESTROY_cons_basic
110 
 
111 
 
112 
#endif