Subversion Repositories tendra.SVN

Rev

Rev 2 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2 Rev 7
Line 35... Line 35...
35 
#ifndef ITYPE_OPS_H_INCLUDED
 35 
#ifndef ITYPE_OPS_H_INCLUDED
36 
#define ITYPE_OPS_H_INCLUDED
 36 
#define ITYPE_OPS_H_INCLUDED
37 
 
 37 
 
38 
/* Operations for union INT_TYPE */
 38 
/* Operations for union INT_TYPE */
39 
 
 39 
 
40 
#pragma token PROC ( EXP : INT_TYPE : ) EXP : unsigned : TAG_itype #
 40 
#pragma token PROC(EXP : INT_TYPE :) EXP : unsigned : TAG_itype #
41 
#pragma interface TAG_itype
 41 
#pragma interface TAG_itype
42 
 
 42 
 
43 
 
 43 
 
44 
/* Operations for component prom of union INT_TYPE */
 44 
/* Operations for component prom of union INT_TYPE */
45 
 
 45 
 
46 
#pragma token PROC ( EXP : INT_TYPE : )\
 46 
#pragma token PROC(EXP : INT_TYPE :)\
47 
    EXP : PTR ( TYPE ) : itype_prom #
 47 
    EXP : PTR(TYPE) : itype_prom #
48 
#pragma interface itype_prom
 48 
#pragma interface itype_prom
49 
 
 49 
 
50 
/* Operations for component cases of union INT_TYPE */
 50 
/* Operations for component cases of union INT_TYPE */
51 
 
 51 
 
52 
#pragma token PROC ( EXP : INT_TYPE : )\
 52 
#pragma token PROC(EXP : INT_TYPE :)\
53 
    EXP : PTR ( LIST ( TYPE ) ) : itype_cases #
 53 
    EXP : PTR(LIST(TYPE)) : itype_cases #
54 
#pragma interface itype_cases
 54 
#pragma interface itype_cases
55 
 
 55 
 
56 
/* Operations for component unprom of union INT_TYPE */
 56 
/* Operations for component unprom of union INT_TYPE */
57 
 
 57 
 
58 
#pragma token PROC ( EXP : INT_TYPE : )\
 58 
#pragma token PROC(EXP : INT_TYPE :)\
59 
    EXP : PTR ( BUILTIN_TYPE ) : itype_unprom #
 59 
    EXP : PTR(BUILTIN_TYPE) : itype_unprom #
60 
#pragma interface itype_unprom
 60 
#pragma interface itype_unprom
61 
 
 61 
 
62 
/* Operations for component itok of union INT_TYPE */
 62 
/* Operations for component itok of union INT_TYPE */
63 
 
 63 
 
64 
#pragma token PROC ( EXP : INT_TYPE : )\
 64 
#pragma token PROC(EXP : INT_TYPE :)\
65 
    EXP : PTR ( ulong_type ) : itype_itok #
 65 
    EXP : PTR(ulong_type) : itype_itok #
66 
#pragma interface itype_itok
 66 
#pragma interface itype_itok
67 
 
 67 
 
68 
/* Operations for component ntok of union INT_TYPE */
 68 
/* Operations for component ntok of union INT_TYPE */
69 
 
 69 
 
70 
#pragma token PROC ( EXP : INT_TYPE : )\
 70 
#pragma token PROC(EXP : INT_TYPE :)\
71 
    EXP : PTR ( ulong_type ) : itype_ntok #
 71 
    EXP : PTR(ulong_type) : itype_ntok #
72 
#pragma interface itype_ntok
 72 
#pragma interface itype_ntok
73 
 
 73 
 
74 
/* Operations for component diag of union INT_TYPE */
 74 
/* Operations for component diag of union INT_TYPE */
75 
 
 75 
 
76 
#pragma token PROC ( EXP : INT_TYPE : )\
 76 
#pragma token PROC(EXP : INT_TYPE :)\
77 
    EXP : PTR ( ulong_type ) : itype_diag #
 77 
    EXP : PTR(ulong_type) : itype_diag #
78 
#pragma interface itype_diag
 78 
#pragma interface itype_diag
79 
 
 79 
 
80 
/* Operations for field basic of union INT_TYPE */
 80 
/* Operations for field basic of union INT_TYPE */
81 
 
 81 
 
82 
#pragma token EXP const : unsigned : itype_basic_tag #
 82 
#pragma token EXP const : unsigned : itype_basic_tag #
83 
#pragma token PROC ( EXP : INT_TYPE : ) EXP : int : IS_itype_basic #
 83 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_basic #
84 
#pragma interface itype_basic_tag IS_itype_basic
 84 
#pragma interface itype_basic_tag IS_itype_basic
85 
 
 85 
 
86 
#pragma token PROC ( EXP : INT_TYPE : )\
 86 
#pragma token PROC(EXP : INT_TYPE :)\
87 
    EXP : PTR ( BASE_TYPE ) : itype_basic_rep #
 87 
    EXP : PTR(BASE_TYPE) : itype_basic_rep #
88 
#pragma interface itype_basic_rep
 88 
#pragma interface itype_basic_rep
89 
 
 89 
 
90 
#pragma token PROC ( EXP : INT_TYPE : )\
 90 
#pragma token PROC(EXP : INT_TYPE :)\
91 
    EXP : PTR ( BUILTIN_TYPE ) : itype_basic_no #
 91 
    EXP : PTR(BUILTIN_TYPE) : itype_basic_no #
92 
#pragma interface itype_basic_no
 92 
#pragma interface itype_basic_no
93 
 
 93 
 
94 
#pragma token PROC (\
 94 
#pragma token PROC(\
95 
	EXP : TYPE :,\
 95 
	EXP : TYPE :,\
96 
	EXP : LIST ( TYPE ) :,\
 96 
	EXP : LIST(TYPE) :,\
97 
	EXP : BASE_TYPE :,\
 97 
	EXP : BASE_TYPE :,\
98 
	EXP : BUILTIN_TYPE :,\
 98 
	EXP : BUILTIN_TYPE :,\
99 
	EXP lvalue : INT_TYPE :\
 99 
	EXP lvalue : INT_TYPE :\
100 
    ) STATEMENT MAKE_itype_basic #
 100 
    ) STATEMENT MAKE_itype_basic #
101 
#pragma interface MAKE_itype_basic
 101 
#pragma interface MAKE_itype_basic
102 
 
 102 
 
103 
#pragma token PROC (\
 103 
#pragma token PROC(\
104 
	EXP lvalue : TYPE :,\
 104 
	EXP lvalue : TYPE :,\
105 
	EXP lvalue : LIST ( TYPE ) :,\
 105 
	EXP lvalue : LIST(TYPE) :,\
106 
	EXP lvalue : BUILTIN_TYPE :,\
 106 
	EXP lvalue : BUILTIN_TYPE :,\
107 
	EXP lvalue : ulong_type :,\
 107 
	EXP lvalue : ulong_type :,\
108 
	EXP lvalue : ulong_type :,\
 108 
	EXP lvalue : ulong_type :,\
109 
	EXP lvalue : ulong_type :,\
 109 
	EXP lvalue : ulong_type :,\
110 
	EXP lvalue : BASE_TYPE :,\
 110 
	EXP lvalue : BASE_TYPE :,\
111 
	EXP lvalue : BUILTIN_TYPE :,\
 111 
	EXP lvalue : BUILTIN_TYPE :,\
112 
	EXP : INT_TYPE :\
 112 
	EXP : INT_TYPE :\
113 
    ) STATEMENT DECONS_itype_basic #
 113 
    ) STATEMENT DECONS_itype_basic #
114 
#pragma interface DECONS_itype_basic
 114 
#pragma interface DECONS_itype_basic
115 
 
 115 
 
116 
#pragma token PROC (\
 116 
#pragma token PROC(\
117 
	EXP : DESTROYER :,\
 117 
	EXP : DESTROYER :,\
118 
	EXP lvalue : TYPE :,\
 118 
	EXP lvalue : TYPE :,\
119 
	EXP lvalue : LIST ( TYPE ) :,\
 119 
	EXP lvalue : LIST(TYPE) :,\
120 
	EXP lvalue : BUILTIN_TYPE :,\
 120 
	EXP lvalue : BUILTIN_TYPE :,\
121 
	EXP lvalue : ulong_type :,\
 121 
	EXP lvalue : ulong_type :,\
122 
	EXP lvalue : ulong_type :,\
 122 
	EXP lvalue : ulong_type :,\
123 
	EXP lvalue : ulong_type :,\
 123 
	EXP lvalue : ulong_type :,\
124 
	EXP lvalue : BASE_TYPE :,\
 124 
	EXP lvalue : BASE_TYPE :,\
Line 129... Line 129...
129 
 
 129 
 
130 
 
 130 
 
131 
/* Operations for field bitfield of union INT_TYPE */
 131 
/* Operations for field bitfield of union INT_TYPE */
132 
 
 132 
 
133 
#pragma token EXP const : unsigned : itype_bitfield_tag #
 133 
#pragma token EXP const : unsigned : itype_bitfield_tag #
134 
#pragma token PROC ( EXP : INT_TYPE : ) EXP : int : IS_itype_bitfield #
 134 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_bitfield #
135 
#pragma interface itype_bitfield_tag IS_itype_bitfield
 135 
#pragma interface itype_bitfield_tag IS_itype_bitfield
136 
 
 136 
 
137 
#pragma token PROC ( EXP : INT_TYPE : )\
 137 
#pragma token PROC(EXP : INT_TYPE :)\
138 
    EXP : PTR ( TYPE ) : itype_bitfield_sub #
 138 
    EXP : PTR(TYPE) : itype_bitfield_sub #
139 
#pragma interface itype_bitfield_sub
 139 
#pragma interface itype_bitfield_sub
140 
 
 140 
 
141 
#pragma token PROC ( EXP : INT_TYPE : )\
 141 
#pragma token PROC(EXP : INT_TYPE :)\
142 
    EXP : PTR ( BASE_TYPE ) : itype_bitfield_rep #
 142 
    EXP : PTR(BASE_TYPE) : itype_bitfield_rep #
143 
#pragma interface itype_bitfield_rep
 143 
#pragma interface itype_bitfield_rep
144 
 
 144 
 
145 
#pragma token PROC ( EXP : INT_TYPE : )\
 145 
#pragma token PROC(EXP : INT_TYPE :)\
146 
    EXP : PTR ( NAT ) : itype_bitfield_size #
 146 
    EXP : PTR(NAT) : itype_bitfield_size #
147 
#pragma interface itype_bitfield_size
 147 
#pragma interface itype_bitfield_size
148 
 
 148 
 
149 
#pragma token PROC ( EXP : INT_TYPE : )\
 149 
#pragma token PROC(EXP : INT_TYPE :)\
150 
    EXP : PTR ( DECL_SPEC ) : itype_bitfield_info #
 150 
    EXP : PTR(DECL_SPEC) : itype_bitfield_info #
151 
#pragma interface itype_bitfield_info
 151 
#pragma interface itype_bitfield_info
152 
 
 152 
 
153 
#pragma token PROC (\
 153 
#pragma token PROC(\
154 
	EXP : TYPE :,\
 154 
	EXP : TYPE :,\
155 
	EXP : LIST ( TYPE ) :,\
 155 
	EXP : LIST(TYPE) :,\
156 
	EXP : TYPE :,\
 156 
	EXP : TYPE :,\
157 
	EXP : BASE_TYPE :,\
 157 
	EXP : BASE_TYPE :,\
158 
	EXP : NAT :,\
 158 
	EXP : NAT :,\
159 
	EXP : DECL_SPEC :,\
 159 
	EXP : DECL_SPEC :,\
160 
	EXP lvalue : INT_TYPE :\
 160 
	EXP lvalue : INT_TYPE :\
161 
    ) STATEMENT MAKE_itype_bitfield #
 161 
    ) STATEMENT MAKE_itype_bitfield #
162 
#pragma interface MAKE_itype_bitfield
 162 
#pragma interface MAKE_itype_bitfield
163 
 
 163 
 
164 
#pragma token PROC (\
 164 
#pragma token PROC(\
165 
	EXP lvalue : TYPE :,\
 165 
	EXP lvalue : TYPE :,\
166 
	EXP lvalue : LIST ( TYPE ) :,\
 166 
	EXP lvalue : LIST(TYPE) :,\
167 
	EXP lvalue : BUILTIN_TYPE :,\
 167 
	EXP lvalue : BUILTIN_TYPE :,\
168 
	EXP lvalue : ulong_type :,\
 168 
	EXP lvalue : ulong_type :,\
169 
	EXP lvalue : ulong_type :,\
 169 
	EXP lvalue : ulong_type :,\
170 
	EXP lvalue : ulong_type :,\
 170 
	EXP lvalue : ulong_type :,\
171 
	EXP lvalue : TYPE :,\
 171 
	EXP lvalue : TYPE :,\
Line 174... Line 174...
174 
	EXP lvalue : DECL_SPEC :,\
 174 
	EXP lvalue : DECL_SPEC :,\
175 
	EXP : INT_TYPE :\
 175 
	EXP : INT_TYPE :\
176 
    ) STATEMENT DECONS_itype_bitfield #
 176 
    ) STATEMENT DECONS_itype_bitfield #
177 
#pragma interface DECONS_itype_bitfield
 177 
#pragma interface DECONS_itype_bitfield
178 
 
 178 
 
179 
#pragma token PROC (\
 179 
#pragma token PROC(\
180 
	EXP : DESTROYER :,\
 180 
	EXP : DESTROYER :,\
181 
	EXP lvalue : TYPE :,\
 181 
	EXP lvalue : TYPE :,\
182 
	EXP lvalue : LIST ( TYPE ) :,\
 182 
	EXP lvalue : LIST(TYPE) :,\
183 
	EXP lvalue : BUILTIN_TYPE :,\
 183 
	EXP lvalue : BUILTIN_TYPE :,\
184 
	EXP lvalue : ulong_type :,\
 184 
	EXP lvalue : ulong_type :,\
185 
	EXP lvalue : ulong_type :,\
 185 
	EXP lvalue : ulong_type :,\
186 
	EXP lvalue : ulong_type :,\
 186 
	EXP lvalue : ulong_type :,\
187 
	EXP lvalue : TYPE :,\
 187 
	EXP lvalue : TYPE :,\
Line 194... Line 194...
194 
 
 194 
 
195 
 
 195 
 
196 
/* Operations for field promote of union INT_TYPE */
 196 
/* Operations for field promote of union INT_TYPE */
197 
 
 197 
 
198 
#pragma token EXP const : unsigned : itype_promote_tag #
 198 
#pragma token EXP const : unsigned : itype_promote_tag #
199 
#pragma token PROC ( EXP : INT_TYPE : ) EXP : int : IS_itype_promote #
 199 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_promote #
200 
#pragma interface itype_promote_tag IS_itype_promote
 200 
#pragma interface itype_promote_tag IS_itype_promote
201 
 
 201 
 
202 
#pragma token PROC ( EXP : INT_TYPE : )\
 202 
#pragma token PROC(EXP : INT_TYPE :)\
203 
    EXP : PTR ( INT_TYPE ) : itype_promote_arg #
 203 
    EXP : PTR(INT_TYPE) : itype_promote_arg #
204 
#pragma interface itype_promote_arg
 204 
#pragma interface itype_promote_arg
205 
 
 205 
 
206 
#pragma token PROC (\
 206 
#pragma token PROC(\
207 
	EXP : TYPE :,\
 207 
	EXP : TYPE :,\
208 
	EXP : LIST ( TYPE ) :,\
 208 
	EXP : LIST(TYPE) :,\
209 
	EXP : INT_TYPE :,\
 209 
	EXP : INT_TYPE :,\
210 
	EXP lvalue : INT_TYPE :\
 210 
	EXP lvalue : INT_TYPE :\
211 
    ) STATEMENT MAKE_itype_promote #
 211 
    ) STATEMENT MAKE_itype_promote #
212 
#pragma interface MAKE_itype_promote
 212 
#pragma interface MAKE_itype_promote
213 
 
 213 
 
214 
#pragma token PROC (\
 214 
#pragma token PROC(\
215 
	EXP lvalue : TYPE :,\
 215 
	EXP lvalue : TYPE :,\
216 
	EXP lvalue : LIST ( TYPE ) :,\
 216 
	EXP lvalue : LIST(TYPE) :,\
217 
	EXP lvalue : BUILTIN_TYPE :,\
 217 
	EXP lvalue : BUILTIN_TYPE :,\
218 
	EXP lvalue : ulong_type :,\
 218 
	EXP lvalue : ulong_type :,\
219 
	EXP lvalue : ulong_type :,\
 219 
	EXP lvalue : ulong_type :,\
220 
	EXP lvalue : ulong_type :,\
 220 
	EXP lvalue : ulong_type :,\
221 
	EXP lvalue : INT_TYPE :,\
 221 
	EXP lvalue : INT_TYPE :,\
222 
	EXP : INT_TYPE :\
 222 
	EXP : INT_TYPE :\
223 
    ) STATEMENT DECONS_itype_promote #
 223 
    ) STATEMENT DECONS_itype_promote #
224 
#pragma interface DECONS_itype_promote
 224 
#pragma interface DECONS_itype_promote
225 
 
 225 
 
226 
#pragma token PROC (\
 226 
#pragma token PROC(\
227 
	EXP : DESTROYER :,\
 227 
	EXP : DESTROYER :,\
228 
	EXP lvalue : TYPE :,\
 228 
	EXP lvalue : TYPE :,\
229 
	EXP lvalue : LIST ( TYPE ) :,\
 229 
	EXP lvalue : LIST(TYPE) :,\
230 
	EXP lvalue : BUILTIN_TYPE :,\
 230 
	EXP lvalue : BUILTIN_TYPE :,\
231 
	EXP lvalue : ulong_type :,\
 231 
	EXP lvalue : ulong_type :,\
232 
	EXP lvalue : ulong_type :,\
 232 
	EXP lvalue : ulong_type :,\
233 
	EXP lvalue : ulong_type :,\
 233 
	EXP lvalue : ulong_type :,\
234 
	EXP lvalue : INT_TYPE :,\
 234 
	EXP lvalue : INT_TYPE :,\
Line 238... Line 238...
238 
 
 238 
 
239 
 
 239 
 
240 
/* Operations for field arith of union INT_TYPE */
 240 
/* Operations for field arith of union INT_TYPE */
241 
 
 241 
 
242 
#pragma token EXP const : unsigned : itype_arith_tag #
 242 
#pragma token EXP const : unsigned : itype_arith_tag #
243 
#pragma token PROC ( EXP : INT_TYPE : ) EXP : int : IS_itype_arith #
 243 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_arith #
244 
#pragma interface itype_arith_tag IS_itype_arith
 244 
#pragma interface itype_arith_tag IS_itype_arith
245 
 
 245 
 
246 
#pragma token PROC ( EXP : INT_TYPE : )\
 246 
#pragma token PROC(EXP : INT_TYPE :)\
247 
    EXP : PTR ( INT_TYPE ) : itype_arith_arg1 #
 247 
    EXP : PTR(INT_TYPE) : itype_arith_arg1 #
248 
#pragma interface itype_arith_arg1
 248 
#pragma interface itype_arith_arg1
249 
 
 249 
 
250 
#pragma token PROC ( EXP : INT_TYPE : )\
 250 
#pragma token PROC(EXP : INT_TYPE :)\
251 
    EXP : PTR ( INT_TYPE ) : itype_arith_arg2 #
 251 
    EXP : PTR(INT_TYPE) : itype_arith_arg2 #
252 
#pragma interface itype_arith_arg2
 252 
#pragma interface itype_arith_arg2
253 
 
 253 
 
254 
#pragma token PROC (\
 254 
#pragma token PROC(\
255 
	EXP : TYPE :,\
 255 
	EXP : TYPE :,\
256 
	EXP : LIST ( TYPE ) :,\
 256 
	EXP : LIST(TYPE) :,\
257 
	EXP : INT_TYPE :,\
 257 
	EXP : INT_TYPE :,\
258 
	EXP : INT_TYPE :,\
 258 
	EXP : INT_TYPE :,\
259 
	EXP lvalue : INT_TYPE :\
 259 
	EXP lvalue : INT_TYPE :\
260 
    ) STATEMENT MAKE_itype_arith #
 260 
    ) STATEMENT MAKE_itype_arith #
261 
#pragma interface MAKE_itype_arith
 261 
#pragma interface MAKE_itype_arith
262 
 
 262 
 
263 
#pragma token PROC (\
 263 
#pragma token PROC(\
264 
	EXP lvalue : TYPE :,\
 264 
	EXP lvalue : TYPE :,\
265 
	EXP lvalue : LIST ( TYPE ) :,\
 265 
	EXP lvalue : LIST(TYPE) :,\
266 
	EXP lvalue : BUILTIN_TYPE :,\
 266 
	EXP lvalue : BUILTIN_TYPE :,\
267 
	EXP lvalue : ulong_type :,\
 267 
	EXP lvalue : ulong_type :,\
268 
	EXP lvalue : ulong_type :,\
 268 
	EXP lvalue : ulong_type :,\
269 
	EXP lvalue : ulong_type :,\
 269 
	EXP lvalue : ulong_type :,\
270 
	EXP lvalue : INT_TYPE :,\
 270 
	EXP lvalue : INT_TYPE :,\
271 
	EXP lvalue : INT_TYPE :,\
 271 
	EXP lvalue : INT_TYPE :,\
272 
	EXP : INT_TYPE :\
 272 
	EXP : INT_TYPE :\
273 
    ) STATEMENT DECONS_itype_arith #
 273 
    ) STATEMENT DECONS_itype_arith #
274 
#pragma interface DECONS_itype_arith
 274 
#pragma interface DECONS_itype_arith
275 
 
 275 
 
276 
#pragma token PROC (\
 276 
#pragma token PROC(\
277 
	EXP : DESTROYER :,\
 277 
	EXP : DESTROYER :,\
278 
	EXP lvalue : TYPE :,\
 278 
	EXP lvalue : TYPE :,\
279 
	EXP lvalue : LIST ( TYPE ) :,\
 279 
	EXP lvalue : LIST(TYPE) :,\
280 
	EXP lvalue : BUILTIN_TYPE :,\
 280 
	EXP lvalue : BUILTIN_TYPE :,\
281 
	EXP lvalue : ulong_type :,\
 281 
	EXP lvalue : ulong_type :,\
282 
	EXP lvalue : ulong_type :,\
 282 
	EXP lvalue : ulong_type :,\
283 
	EXP lvalue : ulong_type :,\
 283 
	EXP lvalue : ulong_type :,\
284 
	EXP lvalue : INT_TYPE :,\
 284 
	EXP lvalue : INT_TYPE :,\
Line 289... Line 289...
289 
 
 289 
 
290 
 
 290 
 
291 
/* Operations for field literal of union INT_TYPE */
 291 
/* Operations for field literal of union INT_TYPE */
292 
 
 292 
 
293 
#pragma token EXP const : unsigned : itype_literal_tag #
 293 
#pragma token EXP const : unsigned : itype_literal_tag #
294 
#pragma token PROC ( EXP : INT_TYPE : ) EXP : int : IS_itype_literal #
 294 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_literal #
295 
#pragma interface itype_literal_tag IS_itype_literal
 295 
#pragma interface itype_literal_tag IS_itype_literal
296 
 
 296 
 
297 
#pragma token PROC ( EXP : INT_TYPE : )\
 297 
#pragma token PROC(EXP : INT_TYPE :)\
298 
    EXP : PTR ( NAT ) : itype_literal_nat #
 298 
    EXP : PTR(NAT) : itype_literal_nat #
299 
#pragma interface itype_literal_nat
 299 
#pragma interface itype_literal_nat
300 
 
 300 
 
301 
#pragma token PROC ( EXP : INT_TYPE : )\
 301 
#pragma token PROC(EXP : INT_TYPE :)\
302 
    EXP : PTR ( int ) : itype_literal_spec #
 302 
    EXP : PTR(int) : itype_literal_spec #
303 
#pragma interface itype_literal_spec
 303 
#pragma interface itype_literal_spec
304 
 
 304 
 
305 
#pragma token PROC ( EXP : INT_TYPE : )\
 305 
#pragma token PROC(EXP : INT_TYPE :)\
306 
    EXP : PTR ( int ) : itype_literal_form #
 306 
    EXP : PTR(int) : itype_literal_form #
307 
#pragma interface itype_literal_form
 307 
#pragma interface itype_literal_form
308 
 
 308 
 
309 
#pragma token PROC ( EXP : INT_TYPE : )\
 309 
#pragma token PROC(EXP : INT_TYPE :)\
310 
    EXP : PTR ( int ) : itype_literal_suff #
 310 
    EXP : PTR(int) : itype_literal_suff #
311 
#pragma interface itype_literal_suff
 311 
#pragma interface itype_literal_suff
312 
 
 312 
 
313 
#pragma token PROC ( EXP : INT_TYPE : )\
 313 
#pragma token PROC(EXP : INT_TYPE :)\
314 
    EXP : PTR ( IDENTIFIER ) : itype_literal_tok #
 314 
    EXP : PTR(IDENTIFIER) : itype_literal_tok #
315 
#pragma interface itype_literal_tok
 315 
#pragma interface itype_literal_tok
316 
 
 316 
 
317 
#pragma token PROC (\
 317 
#pragma token PROC(\
318 
	EXP : TYPE :,\
 318 
	EXP : TYPE :,\
319 
	EXP : LIST ( TYPE ) :,\
 319 
	EXP : LIST(TYPE) :,\
320 
	EXP : NAT :,\
 320 
	EXP : NAT :,\
321 
	EXP : int :,\
 321 
	EXP : int :,\
322 
	EXP : int :,\
 322 
	EXP : int :,\
323 
	EXP : int :,\
 323 
	EXP : int :,\
324 
	EXP : IDENTIFIER :,\
 324 
	EXP : IDENTIFIER :,\
325 
	EXP lvalue : INT_TYPE :\
 325 
	EXP lvalue : INT_TYPE :\
326 
    ) STATEMENT MAKE_itype_literal #
 326 
    ) STATEMENT MAKE_itype_literal #
327 
#pragma interface MAKE_itype_literal
 327 
#pragma interface MAKE_itype_literal
328 
 
 328 
 
329 
#pragma token PROC (\
 329 
#pragma token PROC(\
330 
	EXP lvalue : TYPE :,\
 330 
	EXP lvalue : TYPE :,\
331 
	EXP lvalue : LIST ( TYPE ) :,\
 331 
	EXP lvalue : LIST(TYPE) :,\
332 
	EXP lvalue : BUILTIN_TYPE :,\
 332 
	EXP lvalue : BUILTIN_TYPE :,\
333 
	EXP lvalue : ulong_type :,\
 333 
	EXP lvalue : ulong_type :,\
334 
	EXP lvalue : ulong_type :,\
 334 
	EXP lvalue : ulong_type :,\
335 
	EXP lvalue : ulong_type :,\
 335 
	EXP lvalue : ulong_type :,\
336 
	EXP lvalue : NAT :,\
 336 
	EXP lvalue : NAT :,\
Line 340... Line 340...
340 
	EXP lvalue : IDENTIFIER :,\
 340 
	EXP lvalue : IDENTIFIER :,\
341 
	EXP : INT_TYPE :\
 341 
	EXP : INT_TYPE :\
342 
    ) STATEMENT DECONS_itype_literal #
 342 
    ) STATEMENT DECONS_itype_literal #
343 
#pragma interface DECONS_itype_literal
 343 
#pragma interface DECONS_itype_literal
344 
 
 344 
 
345 
#pragma token PROC (\
 345 
#pragma token PROC(\
346 
	EXP : DESTROYER :,\
 346 
	EXP : DESTROYER :,\
347 
	EXP lvalue : TYPE :,\
 347 
	EXP lvalue : TYPE :,\
348 
	EXP lvalue : LIST ( TYPE ) :,\
 348 
	EXP lvalue : LIST(TYPE) :,\
349 
	EXP lvalue : BUILTIN_TYPE :,\
 349 
	EXP lvalue : BUILTIN_TYPE :,\
350 
	EXP lvalue : ulong_type :,\
 350 
	EXP lvalue : ulong_type :,\
351 
	EXP lvalue : ulong_type :,\
 351 
	EXP lvalue : ulong_type :,\
352 
	EXP lvalue : ulong_type :,\
 352 
	EXP lvalue : ulong_type :,\
353 
	EXP lvalue : NAT :,\
 353 
	EXP lvalue : NAT :,\
Line 361... Line 361...
361 
 
 361 
 
362 
 
 362 
 
363 
/* Operations for field token of union INT_TYPE */
 363 
/* Operations for field token of union INT_TYPE */
364 
 
 364 
 
365 
#pragma token EXP const : unsigned : itype_token_tag #
 365 
#pragma token EXP const : unsigned : itype_token_tag #
366 
#pragma token PROC ( EXP : INT_TYPE : ) EXP : int : IS_itype_token #
 366 
#pragma token PROC(EXP : INT_TYPE :) EXP : int : IS_itype_token #
367 
#pragma interface itype_token_tag IS_itype_token
 367 
#pragma interface itype_token_tag IS_itype_token
368 
 
 368 
 
369 
#pragma token PROC ( EXP : INT_TYPE : )\
 369 
#pragma token PROC(EXP : INT_TYPE :)\
370 
    EXP : PTR ( IDENTIFIER ) : itype_token_tok #
 370 
    EXP : PTR(IDENTIFIER) : itype_token_tok #
371 
#pragma interface itype_token_tok
 371 
#pragma interface itype_token_tok
372 
 
 372 
 
373 
#pragma token PROC ( EXP : INT_TYPE : )\
 373 
#pragma token PROC(EXP : INT_TYPE :)\
374 
    EXP : PTR ( LIST ( TOKEN ) ) : itype_token_args #
 374 
    EXP : PTR(LIST(TOKEN)) : itype_token_args #
375 
#pragma interface itype_token_args
 375 
#pragma interface itype_token_args
376 
 
 376 
 
377 
#pragma token PROC (\
 377 
#pragma token PROC(\
378 
	EXP : TYPE :,\
 378 
	EXP : TYPE :,\
379 
	EXP : LIST ( TYPE ) :,\
 379 
	EXP : LIST(TYPE) :,\
380 
	EXP : IDENTIFIER :,\
 380 
	EXP : IDENTIFIER :,\
381 
	EXP : LIST ( TOKEN ) :,\
 381 
	EXP : LIST(TOKEN) :,\
382 
	EXP lvalue : INT_TYPE :\
 382 
	EXP lvalue : INT_TYPE :\
383 
    ) STATEMENT MAKE_itype_token #
 383 
    ) STATEMENT MAKE_itype_token #
384 
#pragma interface MAKE_itype_token
 384 
#pragma interface MAKE_itype_token
385 
 
 385 
 
386 
#pragma token PROC (\
 386 
#pragma token PROC(\
387 
	EXP lvalue : TYPE :,\
 387 
	EXP lvalue : TYPE :,\
388 
	EXP lvalue : LIST ( TYPE ) :,\
 388 
	EXP lvalue : LIST(TYPE) :,\
389 
	EXP lvalue : BUILTIN_TYPE :,\
 389 
	EXP lvalue : BUILTIN_TYPE :,\
390 
	EXP lvalue : ulong_type :,\
 390 
	EXP lvalue : ulong_type :,\
391 
	EXP lvalue : ulong_type :,\
 391 
	EXP lvalue : ulong_type :,\
392 
	EXP lvalue : ulong_type :,\
 392 
	EXP lvalue : ulong_type :,\
393 
	EXP lvalue : IDENTIFIER :,\
 393 
	EXP lvalue : IDENTIFIER :,\
394 
	EXP lvalue : LIST ( TOKEN ) :,\
 394 
	EXP lvalue : LIST(TOKEN) :,\
395 
	EXP : INT_TYPE :\
 395 
	EXP : INT_TYPE :\
396 
    ) STATEMENT DECONS_itype_token #
 396 
    ) STATEMENT DECONS_itype_token #
397 
#pragma interface DECONS_itype_token
 397 
#pragma interface DECONS_itype_token
398 
 
 398 
 
399 
#pragma token PROC (\
 399 
#pragma token PROC(\
400 
	EXP : DESTROYER :,\
 400 
	EXP : DESTROYER :,\
401 
	EXP lvalue : TYPE :,\
 401 
	EXP lvalue : TYPE :,\
402 
	EXP lvalue : LIST ( TYPE ) :,\
 402 
	EXP lvalue : LIST(TYPE) :,\
403 
	EXP lvalue : BUILTIN_TYPE :,\
 403 
	EXP lvalue : BUILTIN_TYPE :,\
404 
	EXP lvalue : ulong_type :,\
 404 
	EXP lvalue : ulong_type :,\
405 
	EXP lvalue : ulong_type :,\
 405 
	EXP lvalue : ulong_type :,\
406 
	EXP lvalue : ulong_type :,\
 406 
	EXP lvalue : ulong_type :,\
407 
	EXP lvalue : IDENTIFIER :,\
 407 
	EXP lvalue : IDENTIFIER :,\
408 
	EXP lvalue : LIST ( TOKEN ) :,\
 408 
	EXP lvalue : LIST(TOKEN) :,\
409 
	EXP : INT_TYPE :\
 409 
	EXP : INT_TYPE :\
410 
    ) STATEMENT DESTROY_itype_token #
 410 
    ) STATEMENT DESTROY_itype_token #
411 
#pragma interface DESTROY_itype_token
 411 
#pragma interface DESTROY_itype_token
412 
 
 412 
 
413 
 
 413