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
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 BY make_tdf VERSION 2.0 FROM TDF 4.1 */
32 
 
33 
#ifndef EXTERNS_INCLUDED
34 
#define EXTERNS_INCLUDED
35 
 
36 
 
37 
/* CONSTRUCTS FOR ACCESS */
38 
extern access f_access_apply_token PROTO_S ( ( token, bitstream ) ) ;
39 
extern access f_access_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
40 
extern access f_add_accesses PROTO_S ( ( access, access ) ) ;
41 
extern access f_constant ;
42 
extern access f_long_jump_access ;
43 
extern access f_no_other_read ;
44 
extern access f_no_other_write ;
45 
extern access f_out_par ;
46 
extern access f_preserve ;
47 
extern access f_register ;
48 
extern access f_standard_access ;
49 
extern access f_used_as_volatile ;
50 
extern access f_visible ;
51 
extern access f_dummy_access ;
52 
extern void init_access PROTO_S ( ( void ) ) ;
53 
 
54 
/* CONSTRUCTS FOR ACCESS_OPTION */
55 
extern access_option yes_access_option PROTO_S ( ( access ) ) ;
56 
extern access_option no_access_option ;
57 
extern void init_access_option PROTO_S ( ( void ) ) ;
58 
 
59 
/* CONSTRUCTS FOR AL_TAG */
60 
extern al_tag f_al_tag_apply_token PROTO_S ( ( token, bitstream ) ) ;
61 
extern al_tag f_make_al_tag PROTO_S ( ( tdfint ) ) ;
62 
extern al_tag f_dummy_al_tag ;
63 
extern void init_al_tag PROTO_S ( ( void ) ) ;
64 
 
65 
/* CONSTRUCTS FOR AL_TAGDEF */
66 
extern al_tagdef f_make_al_tagdef PROTO_S ( ( tdfint, alignment ) ) ;
67 
extern al_tagdef f_dummy_al_tagdef ;
68 
extern void init_al_tagdef PROTO_S ( ( void ) ) ;
69 
 
70 
/* CONSTRUCTS FOR AL_TAGDEF_LIST */
71 
extern al_tagdef_list new_al_tagdef_list PROTO_S ( ( int ) ) ;
72 
extern al_tagdef_list add_al_tagdef_list PROTO_S ( ( al_tagdef_list, al_tagdef, int ) ) ;
73 
extern void init_al_tagdef_list PROTO_S ( ( void ) ) ;
74 
 
75 
/* CONSTRUCTS FOR AL_TAGDEF_PROPS */
76 
extern al_tagdef_props f_make_al_tagdefs PROTO_S ( ( tdfint, al_tagdef_list ) ) ;
77 
extern al_tagdef_props f_dummy_al_tagdef_props ;
78 
extern void init_al_tagdef_props PROTO_S ( ( void ) ) ;
79 
 
80 
/* CONSTRUCTS FOR ALIGNMENT */
81 
extern alignment f_alignment_apply_token PROTO_S ( ( token, bitstream ) ) ;
82 
extern alignment f_alignment_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
83 
extern alignment f_alignment PROTO_S ( ( shape ) ) ;
84 
extern alignment f_alloca_alignment ;
85 
extern alignment f_callees_alignment PROTO_S ( ( bool ) ) ;
86 
extern alignment f_callers_alignment PROTO_S ( ( bool ) ) ;
87 
extern alignment f_code_alignment ;
88 
extern alignment f_locals_alignment ;
89 
extern alignment f_obtain_al_tag PROTO_S ( ( al_tag ) ) ;
90 
extern alignment f_parameter_alignment PROTO_S ( ( shape ) ) ;
91 
extern alignment f_unite_alignments PROTO_S ( ( alignment, alignment ) ) ;
92 
extern alignment f_var_param_alignment ;
93 
extern alignment f_dummy_alignment ;
94 
extern void init_alignment PROTO_S ( ( void ) ) ;
95 
 
96 
/* CONSTRUCTS FOR BITFIELD_VARIETY */
97 
extern bitfield_variety f_bfvar_apply_token PROTO_S ( ( token, bitstream ) ) ;
98 
extern bitfield_variety f_bfvar_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
99 
extern bitfield_variety f_bfvar_bits PROTO_S ( ( bool, nat ) ) ;
100 
extern bitfield_variety f_dummy_bitfield_variety ;
101 
extern void init_bitfield_variety PROTO_S ( ( void ) ) ;
102 
 
103 
/* CONSTRUCTS FOR BOOL */
104 
extern bool f_bool_apply_token PROTO_S ( ( token, bitstream ) ) ;
105 
extern bool f_bool_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
106 
extern bool f_false ;
107 
extern bool f_true ;
108 
extern bool f_dummy_bool ;
109 
extern void init_bool PROTO_S ( ( void ) ) ;
110 
 
111 
/* CONSTRUCTS FOR BOOL_OPTION */
112 
extern bool_option yes_bool_option PROTO_S ( ( bool ) ) ;
113 
extern bool_option no_bool_option ;
114 
extern void init_bool_option PROTO_S ( ( void ) ) ;
115 
 
116 
/* CONSTRUCTS FOR CALLEES */
117 
extern callees f_make_callee_list PROTO_S ( ( exp_list ) ) ;
118 
extern callees f_make_dynamic_callees PROTO_S ( ( exp, exp ) ) ;
119 
extern callees f_same_callees ;
120 
extern callees f_dummy_callees ;
121 
extern void init_callees PROTO_S ( ( void ) ) ;
122 
 
123 
/* CONSTRUCTS FOR CAPSULE */
124 
extern void start_make_capsule PROTO_S ( ( tdfident_list, capsule_link_list ) ) ;
125 
extern capsule f_make_capsule PROTO_S ( ( tdfident_list, capsule_link_list, extern_link_list, group_list ) ) ;
126 
extern capsule f_dummy_capsule ;
127 
extern void init_capsule PROTO_S ( ( void ) ) ;
128 
 
129 
/* CONSTRUCTS FOR CAPSULE_LINK */
130 
extern capsule_link f_make_capsule_link PROTO_S ( ( tdfident, tdfint ) ) ;
131 
extern capsule_link f_dummy_capsule_link ;
132 
extern void init_capsule_link PROTO_S ( ( void ) ) ;
133 
 
134 
/* CONSTRUCTS FOR CAPSULE_LINK_LIST */
135 
extern capsule_link_list new_capsule_link_list PROTO_S ( ( int ) ) ;
136 
extern capsule_link_list add_capsule_link_list PROTO_S ( ( capsule_link_list, capsule_link, int ) ) ;
137 
extern void init_capsule_link_list PROTO_S ( ( void ) ) ;
138 
 
139 
/* CONSTRUCTS FOR CASELIM */
140 
extern caselim f_make_caselim PROTO_S ( ( label, signed_nat, signed_nat ) ) ;
141 
extern caselim f_dummy_caselim ;
142 
extern void init_caselim PROTO_S ( ( void ) ) ;
143 
 
144 
/* CONSTRUCTS FOR CASELIM_LIST */
145 
extern caselim_list new_caselim_list PROTO_S ( ( int ) ) ;
146 
extern caselim_list add_caselim_list PROTO_S ( ( caselim_list, caselim, int ) ) ;
147 
extern void init_caselim_list PROTO_S ( ( void ) ) ;
148 
 
149 
/* CONSTRUCTS FOR DG */
150 
extern dg f_dg_apply_token PROTO_S ( ( token, bitstream ) ) ;
151 
extern dg f_make_tag_dg PROTO_S ( ( dg_tag, dg ) ) ;
152 
extern dg f_abortable_part_dg PROTO_S ( ( dg_sourcepos, bool ) ) ;
153 
extern dg f_accept_dg PROTO_S ( ( dg_sourcepos, dg_tag, dg_name_list, bool, dg_tag_option ) ) ;
154 
extern dg f_barrier_dg PROTO_S ( ( dg_sourcepos, dg_tag ) ) ;
155 
extern dg f_branch_dg PROTO_S ( ( dg_sourcepos ) ) ;
156 
extern dg f_call_dg PROTO_S ( ( dg_idname_option, dg_sourcepos, nat_option, dg_tag_option, dg_tag_option ) ) ;
157 
extern dg f_compilation_dg PROTO_S ( ( dg_tag ) ) ;
158 
extern dg f_destructor_dg PROTO_S ( ( dg_sourcepos, exp_option ) ) ;
159 
extern dg f_exception_handler_dg PROTO_S ( ( dg_name_option ) ) ;
160 
extern dg f_exception_scope_dg PROTO_S ( ( dg_tag_list ) ) ;
161 
extern dg f_inline_call_dg PROTO_S ( ( dg_tag, dg_name_list, nat_option ) ) ;
162 
extern dg f_inline_result_dg PROTO_S ( ( dg_tag ) ) ;
163 
extern dg f_inlined_dg PROTO_S ( ( dg, dg_tag ) ) ;
164 
extern dg f_jump_dg PROTO_S ( ( dg_sourcepos ) ) ;
165 
extern dg f_label_dg PROTO_S ( ( dg_idname, dg_sourcepos ) ) ;
166 
extern dg f_lexical_block_dg PROTO_S ( ( dg_idname_option, dg_sourcepos ) ) ;
167 
extern dg f_list_dg PROTO_S ( ( dg_list ) ) ;
168 
extern dg f_long_jump_dg PROTO_S ( ( dg_sourcepos ) ) ;
169 
extern dg f_name_decl_dg PROTO_S ( ( dg_name ) ) ;
170 
extern dg f_params_dg PROTO_S ( ( dg_name_list, exp_option ) ) ;
171 
extern dg f_raise_dg PROTO_S ( ( dg_sourcepos, dg_type_option, exp_option ) ) ;
172 
extern dg f_requeue_dg PROTO_S ( ( dg_sourcepos, dg_tag, bool ) ) ;
173 
extern dg f_rts_call_dg PROTO_S ( ( dg_sourcepos, nat, dg_tag_option, dg_tag_option ) ) ;
174 
extern dg f_select_dg PROTO_S ( ( dg_sourcepos, bool ) ) ;
175 
extern dg f_select_alternative_dg PROTO_S ( ( dg_sourcepos, nat, bool, exp ) ) ;
176 
extern dg f_select_guard_dg PROTO_S ( ( dg_sourcepos, dg_tag ) ) ;
177 
extern dg f_singlestep_dg PROTO_S ( ( dg_sourcepos ) ) ;
178 
extern dg f_source_language_dg PROTO_S ( ( nat ) ) ;
179 
extern dg f_sourcepos_dg PROTO_S ( ( dg_sourcepos ) ) ;
180 
extern dg f_statement_part_dg PROTO_S ( ( dg_tag ) ) ;
181 
extern dg f_test_dg PROTO_S ( ( dg_sourcepos, bool ) ) ;
182 
extern dg f_triggering_alternative_dg PROTO_S ( ( dg_sourcepos, nat, bool ) ) ;
183 
extern dg f_with_dg PROTO_S ( ( dg_type, exp ) ) ;
184 
extern dg f_dummy_dg ;
185 
extern void init_dg PROTO_S ( ( void ) ) ;
186 
 
187 
/* CONSTRUCTS FOR DG_ACCESSIBILITY */
188 
extern dg_accessibility f_dg_local_accessibility ;
189 
extern dg_accessibility f_dg_private_accessibility ;
190 
extern dg_accessibility f_dg_protected_accessibility ;
191 
extern dg_accessibility f_dg_public_accessibility ;
192 
extern dg_accessibility f_dummy_dg_accessibility ;
193 
extern void init_dg_accessibility PROTO_S ( ( void ) ) ;
194 
 
195 
/* CONSTRUCTS FOR DG_ACCESSIBILITY_OPTION */
196 
extern dg_accessibility_option yes_dg_accessibility_option PROTO_S ( ( dg_accessibility ) ) ;
197 
extern dg_accessibility_option no_dg_accessibility_option ;
198 
extern void init_dg_accessibility_option PROTO_S ( ( void ) ) ;
199 
 
200 
/* CONSTRUCTS FOR DG_APPEND */
201 
extern dg_append f_dg_name_append PROTO_S ( ( dg_tag, dg_name ) ) ;
202 
extern dg_append f_dummy_dg_append ;
203 
extern void init_dg_append PROTO_S ( ( void ) ) ;
204 
 
205 
/* CONSTRUCTS FOR DG_APPEND_LIST */
206 
extern dg_append_list new_dg_append_list PROTO_S ( ( int ) ) ;
207 
extern dg_append_list add_dg_append_list PROTO_S ( ( dg_append_list, dg_append, int ) ) ;
208 
extern void init_dg_append_list PROTO_S ( ( void ) ) ;
209 
 
210 
/* CONSTRUCTS FOR DG_BOUND */
211 
extern dg_bound f_dg_dynamic_bound PROTO_S ( ( dg_tag, shape ) ) ;
212 
extern dg_bound f_dg_static_bound PROTO_S ( ( exp ) ) ;
213 
extern dg_bound f_dg_unknown_bound PROTO_S ( ( shape ) ) ;
214 
extern dg_bound f_dummy_dg_bound ;
215 
extern void init_dg_bound PROTO_S ( ( void ) ) ;
216 
 
217 
/* CONSTRUCTS FOR DG_CLASS_BASE */
218 
extern dg_class_base f_make_dg_class_base PROTO_S ( ( dg_tag, dg_sourcepos_option, token_option, dg_accessibility_option, dg_virtuality_option ) ) ;
219 
extern dg_class_base f_dummy_dg_class_base ;
220 
extern void init_dg_class_base PROTO_S ( ( void ) ) ;
221 
 
222 
/* CONSTRUCTS FOR DG_CLASS_BASE_LIST */
223 
extern dg_class_base_list new_dg_class_base_list PROTO_S ( ( int ) ) ;
224 
extern dg_class_base_list add_dg_class_base_list PROTO_S ( ( dg_class_base_list, dg_class_base, int ) ) ;
225 
extern void init_dg_class_base_list PROTO_S ( ( void ) ) ;
226 
 
227 
/* CONSTRUCTS FOR DG_CLASSMEM */
228 
extern dg_classmem f_dg_tag_classmem PROTO_S ( ( dg_tag, dg_classmem ) ) ;
229 
extern dg_classmem f_dg_field_classmem PROTO_S ( ( dg_idname, dg_sourcepos, exp, dg_type, dg_accessibility_option, bool_option, dg_default_option ) ) ;
230 
extern dg_classmem f_dg_function_classmem PROTO_S ( ( dg_name, exp_option ) ) ;
231 
extern dg_classmem f_dg_indirect_classmem PROTO_S ( ( dg_idname, dg_sourcepos, token, dg_type ) ) ;
232 
extern dg_classmem f_dg_name_classmem PROTO_S ( ( dg_name ) ) ;
233 
extern dg_classmem f_dummy_dg_classmem ;
234 
extern void init_dg_classmem PROTO_S ( ( void ) ) ;
235 
 
236 
/* CONSTRUCTS FOR DG_CLASSMEM_LIST */
237 
extern dg_classmem_list new_dg_classmem_list PROTO_S ( ( int ) ) ;
238 
extern dg_classmem_list add_dg_classmem_list PROTO_S ( ( dg_classmem_list, dg_classmem, int ) ) ;
239 
extern void init_dg_classmem_list PROTO_S ( ( void ) ) ;
240 
 
241 
/* CONSTRUCTS FOR DG_COMP_PROPS */
242 
extern dg_comp_props f_make_dg_compunit PROTO_S ( ( tdfint, dg_compilation, dg_append_list ) ) ;
243 
extern dg_comp_props f_dummy_dg_comp_props ;
244 
extern void init_dg_comp_props PROTO_S ( ( void ) ) ;
245 
 
246 
/* CONSTRUCTS FOR DG_COMPILATION */
247 
extern dg_compilation f_dg_tag_compilation PROTO_S ( ( dg_tag, dg_compilation ) ) ;
248 
extern dg_compilation f_make_dg_compilation PROTO_S ( ( dg_filename, string_list, dg_macro_list, dg_filename, nat, nat, nat, string, string_list, dg_namelist ) ) ;
249 
extern dg_compilation f_dummy_dg_compilation ;
250 
extern void init_dg_compilation PROTO_S ( ( void ) ) ;
251 
 
252 
/* CONSTRUCTS FOR DG_CONSTRAINT */
253 
extern dg_constraint f_dg_type_constraint PROTO_S ( ( dg_tag_option, dg_type ) ) ;
254 
extern dg_constraint f_dg_value_constraint PROTO_S ( ( dg_tag_option, exp ) ) ;
255 
extern dg_constraint f_dummy_dg_constraint ;
256 
extern void init_dg_constraint PROTO_S ( ( void ) ) ;
257 
 
258 
/* CONSTRUCTS FOR DG_CONSTRAINT_LIST */
259 
extern dg_constraint_list new_dg_constraint_list PROTO_S ( ( int ) ) ;
260 
extern dg_constraint_list add_dg_constraint_list PROTO_S ( ( dg_constraint_list, dg_constraint, int ) ) ;
261 
extern void init_dg_constraint_list PROTO_S ( ( void ) ) ;
262 
 
263 
/* CONSTRUCTS FOR DG_CONSTRAINT_LIST_OPTION */
264 
extern dg_constraint_list_option yes_dg_constraint_list_option PROTO_S ( ( dg_constraint_list ) ) ;
265 
extern dg_constraint_list_option no_dg_constraint_list_option ;
266 
extern void init_dg_constraint_list_option PROTO_S ( ( void ) ) ;
267 
 
268 
/* CONSTRUCTS FOR DG_DEFAULT */
269 
extern dg_default f_make_dg_default PROTO_S ( ( exp_option, dg_sourcepos_option ) ) ;
270 
extern dg_default f_dummy_dg_default ;
271 
extern void init_dg_default PROTO_S ( ( void ) ) ;
272 
 
273 
/* CONSTRUCTS FOR DG_DEFAULT_OPTION */
274 
extern dg_default_option yes_dg_default_option PROTO_S ( ( dg_default ) ) ;
275 
extern dg_default_option no_dg_default_option ;
276 
extern void init_dg_default_option PROTO_S ( ( void ) ) ;
277 
 
278 
/* CONSTRUCTS FOR DG_DIM */
279 
extern dg_dim f_dg_dim_apply_token PROTO_S ( ( token, bitstream ) ) ;
280 
extern dg_dim f_dg_tag_dim PROTO_S ( ( dg_tag, dg_dim ) ) ;
281 
extern dg_dim f_dg_bounds_dim PROTO_S ( ( dg_bound, dg_bound, dg_type ) ) ;
282 
extern dg_dim f_dg_count_dim PROTO_S ( ( dg_bound, dg_bound, dg_type ) ) ;
283 
extern dg_dim f_dg_type_dim PROTO_S ( ( dg_type, nat_option ) ) ;
284 
extern dg_dim f_dg_unspecified_dim ;
285 
extern dg_dim f_dummy_dg_dim ;
286 
extern void init_dg_dim PROTO_S ( ( void ) ) ;
287 
 
288 
/* CONSTRUCTS FOR DG_DIM_LIST */
289 
extern dg_dim_list new_dg_dim_list PROTO_S ( ( int ) ) ;
290 
extern dg_dim_list add_dg_dim_list PROTO_S ( ( dg_dim_list, dg_dim, int ) ) ;
291 
extern void init_dg_dim_list PROTO_S ( ( void ) ) ;
292 
 
293 
/* CONSTRUCTS FOR DG_DIM_OPTION */
294 
extern dg_dim_option yes_dg_dim_option PROTO_S ( ( dg_dim ) ) ;
295 
extern dg_dim_option no_dg_dim_option ;
296 
extern void init_dg_dim_option PROTO_S ( ( void ) ) ;
297 
 
298 
/* CONSTRUCTS FOR DG_DISCRIM */
299 
extern dg_discrim f_make_dg_discrim PROTO_S ( ( exp, exp ) ) ;
300 
extern dg_discrim f_dummy_dg_discrim ;
301 
extern void init_dg_discrim PROTO_S ( ( void ) ) ;
302 
 
303 
/* CONSTRUCTS FOR DG_DISCRIM_LIST */
304 
extern dg_discrim_list new_dg_discrim_list PROTO_S ( ( int ) ) ;
305 
extern dg_discrim_list add_dg_discrim_list PROTO_S ( ( dg_discrim_list, dg_discrim, int ) ) ;
306 
extern void init_dg_discrim_list PROTO_S ( ( void ) ) ;
307 
 
308 
/* CONSTRUCTS FOR DG_ENUM */
309 
extern dg_enum f_dg_tag_enum PROTO_S ( ( dg_tag, dg_enum ) ) ;
310 
extern dg_enum f_make_dg_enum PROTO_S ( ( exp, dg_idname, dg_sourcepos ) ) ;
311 
extern dg_enum f_dg_char_enum PROTO_S ( ( exp, nat, dg_sourcepos ) ) ;
312 
extern dg_enum f_dummy_dg_enum ;
313 
extern void init_dg_enum PROTO_S ( ( void ) ) ;
314 
 
315 
/* CONSTRUCTS FOR DG_ENUM_LIST */
316 
extern dg_enum_list new_dg_enum_list PROTO_S ( ( int ) ) ;
317 
extern dg_enum_list add_dg_enum_list PROTO_S ( ( dg_enum_list, dg_enum, int ) ) ;
318 
extern void init_dg_enum_list PROTO_S ( ( void ) ) ;
319 
 
320 
/* CONSTRUCTS FOR DG_FILENAME */
321 
extern dg_filename f_dg_filename_apply_token PROTO_S ( ( token, bitstream ) ) ;
322 
extern dg_filename f_make_dg_filename PROTO_S ( ( nat, string, string, string ) ) ;
323 
extern dg_filename f_dummy_dg_filename ;
324 
extern void init_dg_filename PROTO_S ( ( void ) ) ;
325 
 
326 
/* CONSTRUCTS FOR DG_FILENAME_OPTION */
327 
extern dg_filename_option yes_dg_filename_option PROTO_S ( ( dg_filename ) ) ;
328 
extern dg_filename_option no_dg_filename_option ;
329 
extern void init_dg_filename_option PROTO_S ( ( void ) ) ;
330 
 
331 
/* CONSTRUCTS FOR DG_IDNAME */
332 
extern dg_idname f_dg_idname_apply_token PROTO_S ( ( token, bitstream ) ) ;
333 
extern dg_idname f_dg_anonymous_idname PROTO_S ( ( string_option ) ) ;
334 
extern dg_idname f_dg_artificial_idname PROTO_S ( ( string_option ) ) ;
335 
extern dg_idname f_dg_external_idname PROTO_S ( ( string ) ) ;
336 
extern dg_idname f_dg_instance_idname PROTO_S ( ( dg_idname_option, dg_idname, dg_sourcepos, dg_name_list ) ) ;
337 
extern dg_idname f_dg_sourcestring_idname PROTO_S ( ( string ) ) ;
338 
extern dg_idname f_dummy_dg_idname ;
339 
extern void init_dg_idname PROTO_S ( ( void ) ) ;
340 
 
341 
/* CONSTRUCTS FOR DG_IDNAME_LIST */
342 
extern dg_idname_list new_dg_idname_list PROTO_S ( ( int ) ) ;
343 
extern dg_idname_list add_dg_idname_list PROTO_S ( ( dg_idname_list, dg_idname, int ) ) ;
344 
extern void init_dg_idname_list PROTO_S ( ( void ) ) ;
345 
 
346 
/* CONSTRUCTS FOR DG_IDNAME_OPTION */
347 
extern dg_idname_option yes_dg_idname_option PROTO_S ( ( dg_idname ) ) ;
348 
extern dg_idname_option no_dg_idname_option ;
349 
extern void init_dg_idname_option PROTO_S ( ( void ) ) ;
350 
 
351 
/* CONSTRUCTS FOR DG_LIST */
352 
extern dg_list new_dg_list PROTO_S ( ( int ) ) ;
353 
extern dg_list add_dg_list PROTO_S ( ( dg_list, dg, int ) ) ;
354 
extern void init_dg_list PROTO_S ( ( void ) ) ;
355 
 
356 
/* CONSTRUCTS FOR DG_MACRO */
357 
extern dg_macro f_dg_function_macro PROTO_S ( ( dg_sourcepos, dg_idname, dg_idname_list, string ) ) ;
358 
extern dg_macro f_dg_include_macro PROTO_S ( ( dg_sourcepos, dg_filename, dg_macro_list ) ) ;
359 
extern dg_macro f_dg_object_macro PROTO_S ( ( dg_sourcepos, dg_idname, string ) ) ;
360 
extern dg_macro f_dg_undef_macro PROTO_S ( ( dg_sourcepos, dg_idname ) ) ;
361 
extern dg_macro f_dummy_dg_macro ;
362 
extern void init_dg_macro PROTO_S ( ( void ) ) ;
363 
 
364 
/* CONSTRUCTS FOR DG_MACRO_LIST */
365 
extern dg_macro_list new_dg_macro_list PROTO_S ( ( int ) ) ;
366 
extern dg_macro_list add_dg_macro_list PROTO_S ( ( dg_macro_list, dg_macro, int ) ) ;
367 
extern void init_dg_macro_list PROTO_S ( ( void ) ) ;
368 
 
369 
/* CONSTRUCTS FOR DG_NAME */
370 
extern dg_name f_dg_name_apply_token PROTO_S ( ( token, bitstream ) ) ;
371 
extern dg_name f_dg_tag_name PROTO_S ( ( dg_tag, dg_name ) ) ;
372 
extern dg_name f_dg_constant_name PROTO_S ( ( dg_name ) ) ;
373 
extern dg_name f_dg_entry_family_name PROTO_S ( ( dg_name, dg_dim ) ) ;
374 
extern dg_name f_dg_entry_name PROTO_S ( ( dg_idname, dg_sourcepos, dg_type, dg_accessibility_option, dg_dim_option ) ) ;
375 
extern dg_name f_dg_inlined_name PROTO_S ( ( dg_name, dg_tag ) ) ;
376 
extern dg_name f_dg_is_spec_name PROTO_S ( ( dg_name, bool_option ) ) ;
377 
extern dg_name f_dg_module_name PROTO_S ( ( dg_idname, dg_sourcepos, dg_namelist, exp_option, dg_tag_option ) ) ;
378 
extern dg_name f_dg_namespace_name PROTO_S ( ( dg_idname, dg_sourcepos, dg_namelist ) ) ;
379 
extern dg_name f_dg_object_name PROTO_S ( ( dg_idname, dg_sourcepos, dg_type, exp_option, dg_accessibility_option ) ) ;
380 
extern dg_name f_dg_proc_name PROTO_S ( ( dg_idname, dg_sourcepos, dg_type, exp_option, dg_accessibility_option, dg_virtuality_option, bool, dg_type_list_option, dg_tag_option ) ) ;
381 
extern dg_name f_dg_program_name PROTO_S ( ( dg_idname, dg_sourcepos, exp ) ) ;
382 
extern dg_name f_dg_rep_clause_name PROTO_S ( ( dg_name, exp ) ) ;
383 
extern dg_name f_dg_spec_ref_name PROTO_S ( ( dg_tag, dg_name ) ) ;
384 
extern dg_name f_dg_subunit_name PROTO_S ( ( dg_tag, dg_name, nat, dg_accessibility_option ) ) ;
385 
extern dg_name f_dg_type_name PROTO_S ( ( dg_idname_option, dg_sourcepos, dg_accessibility_option, dg_type_option, bool, bool_option, dg_constraint_list_option ) ) ;
386 
extern dg_name f_dg_visibility_name PROTO_S ( ( dg_tag, nat, dg_idname_option, dg_sourcepos_option, dg_accessibility_option, dg_type_option ) ) ;
387 
extern dg_name f_dummy_dg_name ;
388 
extern void init_dg_name PROTO_S ( ( void ) ) ;
389 
 
390 
/* CONSTRUCTS FOR DG_NAME_LIST */
391 
extern dg_name_list new_dg_name_list PROTO_S ( ( int ) ) ;
392 
extern dg_name_list add_dg_name_list PROTO_S ( ( dg_name_list, dg_name, int ) ) ;
393 
extern void init_dg_name_list PROTO_S ( ( void ) ) ;
394 
 
395 
/* CONSTRUCTS FOR DG_NAME_OPTION */
396 
extern dg_name_option yes_dg_name_option PROTO_S ( ( dg_name ) ) ;
397 
extern dg_name_option no_dg_name_option ;
398 
extern void init_dg_name_option PROTO_S ( ( void ) ) ;
399 
 
400 
/* CONSTRUCTS FOR DG_NAMELIST */
401 
extern dg_namelist f_dg_tag_namelist PROTO_S ( ( dg_tag, dg_namelist ) ) ;
402 
extern dg_namelist f_make_dg_namelist PROTO_S ( ( dg_name_list ) ) ;
403 
extern dg_namelist f_dummy_dg_namelist ;
404 
extern void init_dg_namelist PROTO_S ( ( void ) ) ;
405 
 
406 
/* CONSTRUCTS FOR DG_PARAM */
407 
extern dg_param f_dg_object_param PROTO_S ( ( dg_idname_option, dg_sourcepos_option, dg_param_mode_option, dg_type, dg_default_option ) ) ;
408 
extern dg_param f_dg_type_param PROTO_S ( ( dg_idname_option, dg_sourcepos_option, dg_param_list ) ) ;
409 
extern dg_param f_dummy_dg_param ;
410 
extern void init_dg_param PROTO_S ( ( void ) ) ;
411 
 
412 
/* CONSTRUCTS FOR DG_PARAM_LIST */
413 
extern dg_param_list new_dg_param_list PROTO_S ( ( int ) ) ;
414 
extern dg_param_list add_dg_param_list PROTO_S ( ( dg_param_list, dg_param, int ) ) ;
415 
extern void init_dg_param_list PROTO_S ( ( void ) ) ;
416 
 
417 
/* CONSTRUCTS FOR DG_PARAM_MODE */
418 
extern dg_param_mode f_dg_in_mode ;
419 
extern dg_param_mode f_dg_inout_mode ;
420 
extern dg_param_mode f_dg_out_mode ;
421 
extern dg_param_mode f_dummy_dg_param_mode ;
422 
extern void init_dg_param_mode PROTO_S ( ( void ) ) ;
423 
 
424 
/* CONSTRUCTS FOR DG_PARAM_MODE_OPTION */
425 
extern dg_param_mode_option yes_dg_param_mode_option PROTO_S ( ( dg_param_mode ) ) ;
426 
extern dg_param_mode_option no_dg_param_mode_option ;
427 
extern void init_dg_param_mode_option PROTO_S ( ( void ) ) ;
428 
 
429 
/* CONSTRUCTS FOR DG_QUALIFIER */
430 
extern dg_qualifier f_dg_aliased_qualifier ;
431 
extern dg_qualifier f_dg_class_wide_qualifier ;
432 
extern dg_qualifier f_dg_const_qualifier ;
433 
extern dg_qualifier f_dg_limited_qualifier ;
434 
extern dg_qualifier f_dg_volatile_qualifier ;
435 
extern dg_qualifier f_dummy_dg_qualifier ;
436 
extern void init_dg_qualifier PROTO_S ( ( void ) ) ;
437 
 
438 
/* CONSTRUCTS FOR DG_SOURCEPOS */
439 
extern dg_sourcepos f_dg_file_sourcepos PROTO_S ( ( dg_filename ) ) ;
440 
extern dg_sourcepos f_dg_global_sourcepos ;
441 
extern dg_sourcepos f_dg_mark_sourcepos PROTO_S ( ( dg_filename, nat, nat ) ) ;
442 
extern dg_sourcepos f_dg_null_sourcepos ;
443 
extern dg_sourcepos f_dg_span_sourcepos PROTO_S ( ( dg_filename, nat, nat, dg_filename_option, nat, nat ) ) ;
444 
extern dg_sourcepos f_dummy_dg_sourcepos ;
445 
extern void init_dg_sourcepos PROTO_S ( ( void ) ) ;
446 
 
447 
/* CONSTRUCTS FOR DG_SOURCEPOS_OPTION */
448 
extern dg_sourcepos_option yes_dg_sourcepos_option PROTO_S ( ( dg_sourcepos ) ) ;
449 
extern dg_sourcepos_option no_dg_sourcepos_option ;
450 
extern void init_dg_sourcepos_option PROTO_S ( ( void ) ) ;
451 
 
452 
/* CONSTRUCTS FOR DG_TAG */
453 
extern dg_tag f_make_dg_tag PROTO_S ( ( tdfint ) ) ;
454 
extern dg_tag f_dummy_dg_tag ;
455 
extern void init_dg_tag PROTO_S ( ( void ) ) ;
456 
 
457 
/* CONSTRUCTS FOR DG_TAG_LIST */
458 
extern dg_tag_list new_dg_tag_list PROTO_S ( ( int ) ) ;
459 
extern dg_tag_list add_dg_tag_list PROTO_S ( ( dg_tag_list, dg_tag, int ) ) ;
460 
extern void init_dg_tag_list PROTO_S ( ( void ) ) ;
461 
 
462 
/* CONSTRUCTS FOR DG_TAG_OPTION */
463 
extern dg_tag_option yes_dg_tag_option PROTO_S ( ( dg_tag ) ) ;
464 
extern dg_tag_option no_dg_tag_option ;
465 
extern void init_dg_tag_option PROTO_S ( ( void ) ) ;
466 
 
467 
/* CONSTRUCTS FOR DG_TYPE */
468 
extern dg_type f_dg_type_apply_token PROTO_S ( ( token, bitstream ) ) ;
469 
extern dg_type f_dg_tag_type PROTO_S ( ( dg_tag, dg_type ) ) ;
470 
extern dg_type f_dg_address_type PROTO_S ( ( dg_idname, shape ) ) ;
471 
extern dg_type f_dg_array_type PROTO_S ( ( dg_type, exp, bool_option, dg_dim_list ) ) ;
472 
extern dg_type f_dg_bitfield_type PROTO_S ( ( dg_type, bitfield_variety, shape ) ) ;
473 
extern dg_type f_dg_boolean_type PROTO_S ( ( dg_idname, variety ) ) ;
474 
extern dg_type f_dg_char_type PROTO_S ( ( dg_idname, variety ) ) ;
475 
extern dg_type f_dg_class_type PROTO_S ( ( dg_class_base_list, dg_classmem_list, dg_varpart_option, dg_tag_list, shape_option, dg_tag_option, dg_tag_option, dg_idname_option, dg_sourcepos_option, bool, dg_tag_option, dg_tag_option, bool, bool_option ) ) ;
476 
extern dg_type f_dg_complex_float_type PROTO_S ( ( dg_idname, floating_variety ) ) ;
477 
extern dg_type f_dg_enum_type PROTO_S ( ( dg_enum_list, dg_idname_option, dg_sourcepos_option, shape, bool ) ) ;
478 
extern dg_type f_dg_file_type PROTO_S ( ( dg_type, shape ) ) ;
479 
extern dg_type f_dg_fixed_point_type PROTO_S ( ( dg_type, exp, exp_option, exp_option ) ) ;
480 
extern dg_type f_dg_float_type PROTO_S ( ( dg_idname, floating_variety ) ) ;
481 
extern dg_type f_dg_floating_digits_type PROTO_S ( ( dg_type, exp ) ) ;
482 
extern dg_type f_dg_inlined_type PROTO_S ( ( dg_type, dg_tag ) ) ;
483 
extern dg_type f_dg_integer_type PROTO_S ( ( dg_idname, variety ) ) ;
484 
extern dg_type f_dg_is_spec_type PROTO_S ( ( dg_type ) ) ;
485 
extern dg_type f_dg_modular_type PROTO_S ( ( dg_type, exp ) ) ;
486 
extern dg_type f_dg_named_type PROTO_S ( ( dg_tag ) ) ;
487 
extern dg_type f_dg_packed_type PROTO_S ( ( dg_type, shape ) ) ;
488 
extern dg_type f_dg_pointer_type PROTO_S ( ( dg_type, bool_option ) ) ;
489 
extern dg_type f_dg_proc_type PROTO_S ( ( dg_param_list, dg_type, bool_option, nat_option, nat_option, procprops_option ) ) ;
490 
extern dg_type f_dg_ptr_memdata_type PROTO_S ( ( dg_tag, dg_type, shape, dg_tag_option ) ) ;
491 
extern dg_type f_dg_ptr_memfn_type PROTO_S ( ( dg_tag, dg_type, shape, dg_tag_option ) ) ;
492 
extern dg_type f_dg_qualified_type PROTO_S ( ( dg_qualifier, dg_type ) ) ;
493 
extern dg_type f_dg_reference_type PROTO_S ( ( dg_type ) ) ;
494 
extern dg_type f_dg_set_type PROTO_S ( ( dg_type, shape ) ) ;
495 
extern dg_type f_dg_spec_ref_type PROTO_S ( ( dg_tag, dg_type ) ) ;
496 
extern dg_type f_dg_string_type PROTO_S ( ( dg_tag, exp, exp ) ) ;
497 
extern dg_type f_dg_struct_type PROTO_S ( ( dg_classmem_list, shape_option, dg_idname_option, dg_sourcepos_option, dg_varpart_option, bool, bool ) ) ;
498 
extern dg_type f_dg_subrange_type PROTO_S ( ( dg_type, dg_bound, dg_bound ) ) ;
499 
extern dg_type f_dg_synchronous_type PROTO_S ( ( dg_idname, dg_sourcepos, dg_name_list, dg_tag, dg_classmem_list, dg_varpart_option, shape_option, bool, dg_tag_option ) ) ;
500 
extern dg_type f_dg_task_type PROTO_S ( ( dg_idname, dg_sourcepos, dg_name_list, dg_tag, dg_tag, dg_classmem_list, dg_varpart_option, shape_option, bool, dg_tag_option ) ) ;
501 
extern dg_type f_dg_unknown_type PROTO_S ( ( shape ) ) ;
502 
extern dg_type f_dg_void_type ;
503 
extern dg_type f_dummy_dg_type ;
504 
extern void init_dg_type PROTO_S ( ( void ) ) ;
505 
 
506 
/* CONSTRUCTS FOR DG_TYPE_LIST */
507 
extern dg_type_list new_dg_type_list PROTO_S ( ( int ) ) ;
508 
extern dg_type_list add_dg_type_list PROTO_S ( ( dg_type_list, dg_type, int ) ) ;
509 
extern void init_dg_type_list PROTO_S ( ( void ) ) ;
510 
 
511 
/* CONSTRUCTS FOR DG_TYPE_LIST_OPTION */
512 
extern dg_type_list_option yes_dg_type_list_option PROTO_S ( ( dg_type_list ) ) ;
513 
extern dg_type_list_option no_dg_type_list_option ;
514 
extern void init_dg_type_list_option PROTO_S ( ( void ) ) ;
515 
 
516 
/* CONSTRUCTS FOR DG_TYPE_OPTION */
517 
extern dg_type_option yes_dg_type_option PROTO_S ( ( dg_type ) ) ;
518 
extern dg_type_option no_dg_type_option ;
519 
extern void init_dg_type_option PROTO_S ( ( void ) ) ;
520 
 
521 
/* CONSTRUCTS FOR DG_VARIANT */
522 
extern dg_variant f_make_dg_variant PROTO_S ( ( dg_discrim_list, dg_classmem_list ) ) ;
523 
extern dg_variant f_dummy_dg_variant ;
524 
extern void init_dg_variant PROTO_S ( ( void ) ) ;
525 
 
526 
/* CONSTRUCTS FOR DG_VARIANT_LIST */
527 
extern dg_variant_list new_dg_variant_list PROTO_S ( ( int ) ) ;
528 
extern dg_variant_list add_dg_variant_list PROTO_S ( ( dg_variant_list, dg_variant, int ) ) ;
529 
extern void init_dg_variant_list PROTO_S ( ( void ) ) ;
530 
 
531 
/* CONSTRUCTS FOR DG_VARPART */
532 
extern dg_varpart f_dg_discrim_varpart PROTO_S ( ( dg_classmem, dg_variant_list ) ) ;
533 
extern dg_varpart f_dg_sibl_discrim_varpart PROTO_S ( ( dg_tag, dg_variant_list ) ) ;
534 
extern dg_varpart f_dg_undiscrim_varpart PROTO_S ( ( dg_type, dg_variant_list ) ) ;
535 
extern dg_varpart f_dummy_dg_varpart ;
536 
extern void init_dg_varpart PROTO_S ( ( void ) ) ;
537 
 
538 
/* CONSTRUCTS FOR DG_VARPART_OPTION */
539 
extern dg_varpart_option yes_dg_varpart_option PROTO_S ( ( dg_varpart ) ) ;
540 
extern dg_varpart_option no_dg_varpart_option ;
541 
extern void init_dg_varpart_option PROTO_S ( ( void ) ) ;
542 
 
543 
/* CONSTRUCTS FOR DG_VIRTUALITY */
544 
extern dg_virtuality f_dg_abstract_virtuality ;
545 
extern dg_virtuality f_dg_virtual_virtuality ;
546 
extern dg_virtuality f_dummy_dg_virtuality ;
547 
extern void init_dg_virtuality PROTO_S ( ( void ) ) ;
548 
 
549 
/* CONSTRUCTS FOR DG_VIRTUALITY_OPTION */
550 
extern dg_virtuality_option yes_dg_virtuality_option PROTO_S ( ( dg_virtuality ) ) ;
551 
extern dg_virtuality_option no_dg_virtuality_option ;
552 
extern void init_dg_virtuality_option PROTO_S ( ( void ) ) ;
553 
 
554 
/* CONSTRUCTS FOR DIAG_DESCRIPTOR */
555 
extern diag_descriptor f_diag_desc_id PROTO_S ( ( tdfstring, sourcemark, exp, diag_type ) ) ;
556 
extern diag_descriptor f_diag_desc_struct PROTO_S ( ( tdfstring, sourcemark, diag_type ) ) ;
557 
extern diag_descriptor f_diag_desc_typedef PROTO_S ( ( tdfstring, sourcemark, diag_type ) ) ;
558 
extern diag_descriptor f_dummy_diag_descriptor ;
559 
extern void init_diag_descriptor PROTO_S ( ( void ) ) ;
560 
 
561 
/* CONSTRUCTS FOR DIAG_DESCRIPTOR_LIST */
562 
extern diag_descriptor_list new_diag_descriptor_list PROTO_S ( ( int ) ) ;
563 
extern diag_descriptor_list add_diag_descriptor_list PROTO_S ( ( diag_descriptor_list, diag_descriptor, int ) ) ;
564 
extern void init_diag_descriptor_list PROTO_S ( ( void ) ) ;
565 
 
566 
/* CONSTRUCTS FOR DIAG_FIELD */
567 
extern diag_field f_make_diag_field PROTO_S ( ( tdfstring, exp, diag_type ) ) ;
568 
extern diag_field f_dummy_diag_field ;
569 
extern void init_diag_field PROTO_S ( ( void ) ) ;
570 
 
571 
/* CONSTRUCTS FOR DIAG_FIELD_LIST */
572 
extern diag_field_list new_diag_field_list PROTO_S ( ( int ) ) ;
573 
extern diag_field_list add_diag_field_list PROTO_S ( ( diag_field_list, diag_field, int ) ) ;
574 
extern void init_diag_field_list PROTO_S ( ( void ) ) ;
575 
 
576 
/* CONSTRUCTS FOR DIAG_TAG */
577 
extern diag_tag f_make_diag_tag PROTO_S ( ( tdfint ) ) ;
578 
extern diag_tag f_dummy_diag_tag ;
579 
extern void init_diag_tag PROTO_S ( ( void ) ) ;
580 
 
581 
/* CONSTRUCTS FOR DIAG_TAGDEF */
582 
extern diag_tagdef f_make_diag_tagdef PROTO_S ( ( tdfint, diag_type ) ) ;
583 
extern diag_tagdef f_dummy_diag_tagdef ;
584 
extern void init_diag_tagdef PROTO_S ( ( void ) ) ;
585 
 
586 
/* CONSTRUCTS FOR DIAG_TAGDEF_LIST */
587 
extern diag_tagdef_list new_diag_tagdef_list PROTO_S ( ( int ) ) ;
588 
extern diag_tagdef_list add_diag_tagdef_list PROTO_S ( ( diag_tagdef_list, diag_tagdef, int ) ) ;
589 
extern void init_diag_tagdef_list PROTO_S ( ( void ) ) ;
590 
 
591 
/* CONSTRUCTS FOR DIAG_TQ */
592 
extern diag_tq f_add_diag_const PROTO_S ( ( diag_tq ) ) ;
593 
extern diag_tq f_add_diag_volatile PROTO_S ( ( diag_tq ) ) ;
594 
extern diag_tq f_diag_tq_null ;
595 
extern diag_tq f_dummy_diag_tq ;
596 
extern void init_diag_tq PROTO_S ( ( void ) ) ;
597 
 
598 
/* CONSTRUCTS FOR DIAG_TYPE */
599 
extern diag_type f_diag_type_apply_token PROTO_S ( ( token, bitstream ) ) ;
600 
extern diag_type f_diag_array PROTO_S ( ( diag_type, exp, exp, exp, diag_type ) ) ;
601 
extern diag_type f_diag_bitfield PROTO_S ( ( diag_type, nat ) ) ;
602 
extern diag_type f_diag_enum PROTO_S ( ( diag_type, tdfstring, enum_values_list ) ) ;
603 
extern diag_type f_diag_floating_variety PROTO_S ( ( floating_variety ) ) ;
604 
extern diag_type f_diag_loc PROTO_S ( ( diag_type, diag_tq ) ) ;
605 
extern diag_type f_diag_proc PROTO_S ( ( diag_type_list, bool, diag_type ) ) ;
606 
extern diag_type f_diag_ptr PROTO_S ( ( diag_type, diag_tq ) ) ;
607 
extern diag_type f_diag_struct PROTO_S ( ( shape, tdfstring, diag_field_list ) ) ;
608 
extern diag_type f_diag_type_null ;
609 
extern diag_type f_diag_union PROTO_S ( ( shape, tdfstring, diag_field_list ) ) ;
610 
extern diag_type f_diag_variety PROTO_S ( ( variety ) ) ;
611 
extern diag_type f_use_diag_tag PROTO_S ( ( diag_tag ) ) ;
612 
extern diag_type f_dummy_diag_type ;
613 
extern void init_diag_type PROTO_S ( ( void ) ) ;
614 
 
615 
/* CONSTRUCTS FOR DIAG_TYPE_LIST */
616 
extern diag_type_list new_diag_type_list PROTO_S ( ( int ) ) ;
617 
extern diag_type_list add_diag_type_list PROTO_S ( ( diag_type_list, diag_type, int ) ) ;
618 
extern void init_diag_type_list PROTO_S ( ( void ) ) ;
619 
 
620 
/* CONSTRUCTS FOR DIAG_TYPE_UNIT */
621 
extern diag_type_unit f_build_diagtype_unit PROTO_S ( ( tdfint, diag_tagdef_list ) ) ;
622 
extern diag_type_unit f_dummy_diag_type_unit ;
623 
extern void init_diag_type_unit PROTO_S ( ( void ) ) ;
624 
 
625 
/* CONSTRUCTS FOR DIAG_UNIT */
626 
extern diag_unit f_build_diag_unit PROTO_S ( ( tdfint, diag_descriptor_list ) ) ;
627 
extern diag_unit f_dummy_diag_unit ;
628 
extern void init_diag_unit PROTO_S ( ( void ) ) ;
629 
 
630 
/* CONSTRUCTS FOR ENUM_VALUES */
631 
extern enum_values f_make_enum_values PROTO_S ( ( exp, tdfstring ) ) ;
632 
extern enum_values f_dummy_enum_values ;
633 
extern void init_enum_values PROTO_S ( ( void ) ) ;
634 
 
635 
/* CONSTRUCTS FOR ENUM_VALUES_LIST */
636 
extern enum_values_list new_enum_values_list PROTO_S ( ( int ) ) ;
637 
extern enum_values_list add_enum_values_list PROTO_S ( ( enum_values_list, enum_values, int ) ) ;
638 
extern void init_enum_values_list PROTO_S ( ( void ) ) ;
639 
 
640 
/* CONSTRUCTS FOR ERROR_CODE */
641 
extern error_code f_nil_access ;
642 
extern error_code f_overflow ;
643 
extern error_code f_stack_overflow ;
644 
extern error_code f_dummy_error_code ;
645 
extern void init_error_code PROTO_S ( ( void ) ) ;
646 
 
647 
/* CONSTRUCTS FOR ERROR_CODE_LIST */
648 
extern error_code_list new_error_code_list PROTO_S ( ( int ) ) ;
649 
extern error_code_list add_error_code_list PROTO_S ( ( error_code_list, error_code, int ) ) ;
650 
extern void init_error_code_list PROTO_S ( ( void ) ) ;
651 
 
652 
/* CONSTRUCTS FOR ERROR_TREATMENT */
653 
extern error_treatment f_errt_apply_token PROTO_S ( ( token, bitstream ) ) ;
654 
extern error_treatment f_errt_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
655 
extern error_treatment f_continue ;
656 
extern error_treatment f_error_jump PROTO_S ( ( label ) ) ;
657 
extern error_treatment f_trap PROTO_S ( ( error_code_list ) ) ;
658 
extern error_treatment f_wrap ;
659 
extern error_treatment f_impossible ;
660 
extern error_treatment f_dummy_error_treatment ;
661 
extern void init_error_treatment PROTO_S ( ( void ) ) ;
662 
 
663 
/* CONSTRUCTS FOR EXP */
664 
extern exp f_exp_apply_token PROTO_S ( ( token, bitstream ) ) ;
665 
extern exp f_exp_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
666 
extern exp f_abs PROTO_S ( ( error_treatment, exp ) ) ;
667 
extern exp f_add_to_ptr PROTO_S ( ( exp, exp ) ) ;
668 
extern exp f_and PROTO_S ( ( exp, exp ) ) ;
669 
extern exp f_apply_proc PROTO_S ( ( shape, exp, exp_list, exp_option ) ) ;
670 
extern void start_apply_general_proc PROTO_S ( ( shape, procprops_option, exp, otagexp_list, callees ) ) ;
671 
extern exp f_apply_general_proc PROTO_S ( ( shape, procprops_option, exp, otagexp_list, callees, exp ) ) ;
672 
extern exp f_assign PROTO_S ( ( exp, exp ) ) ;
673 
extern exp f_assign_with_mode PROTO_S ( ( transfer_mode, exp, exp ) ) ;
674 
extern exp f_bitfield_assign PROTO_S ( ( exp, exp, exp ) ) ;
675 
extern exp f_bitfield_assign_with_mode PROTO_S ( ( transfer_mode, exp, exp, exp ) ) ;
676 
extern exp f_bitfield_contents PROTO_S ( ( bitfield_variety, exp, exp ) ) ;
677 
extern exp f_bitfield_contents_with_mode PROTO_S ( ( transfer_mode, bitfield_variety, exp, exp ) ) ;
678 
extern exp f_case PROTO_S ( ( bool, exp, caselim_list ) ) ;
679 
extern exp f_change_bitfield_to_int PROTO_S ( ( variety, exp ) ) ;
680 
extern exp f_change_floating_variety PROTO_S ( ( error_treatment, floating_variety, exp ) ) ;
681 
extern exp f_change_variety PROTO_S ( ( error_treatment, variety, exp ) ) ;
682 
extern exp f_change_int_to_bitfield PROTO_S ( ( bitfield_variety, exp ) ) ;
683 
extern exp f_complex_conjugate PROTO_S ( ( exp ) ) ;
684 
extern exp f_component PROTO_S ( ( shape, exp, exp ) ) ;
685 
extern exp f_concat_nof PROTO_S ( ( exp, exp ) ) ;
686 
extern void start_conditional PROTO_S ( ( label ) ) ;
687 
extern exp f_conditional PROTO_S ( ( label, exp, exp ) ) ;
688 
extern exp f_contents PROTO_S ( ( shape, exp ) ) ;
689 
extern exp f_contents_with_mode PROTO_S ( ( transfer_mode, shape, exp ) ) ;
690 
extern exp f_current_env PROTO_S ( ( void ) ) ;
691 
extern exp f_div0 PROTO_S ( ( error_treatment, error_treatment, exp, exp ) ) ;
692 
extern exp f_div1 PROTO_S ( ( error_treatment, error_treatment, exp, exp ) ) ;
693 
extern exp f_div2 PROTO_S ( ( error_treatment, error_treatment, exp, exp ) ) ;
694 
extern exp f_env_offset PROTO_S ( ( alignment, alignment, tag ) ) ;
695 
extern exp f_env_size PROTO_S ( ( tag ) ) ;
696 
extern exp f_fail_installer PROTO_S ( ( string ) ) ;
697 
extern exp f_float_int PROTO_S ( ( error_treatment, floating_variety, exp ) ) ;
698 
extern exp f_floating_abs PROTO_S ( ( error_treatment, exp ) ) ;
699 
extern exp f_floating_div PROTO_S ( ( error_treatment, exp, exp ) ) ;
700 
extern exp f_floating_minus PROTO_S ( ( error_treatment, exp, exp ) ) ;
701 
extern exp f_floating_maximum PROTO_S ( ( error_treatment, exp, exp ) ) ;
702 
extern exp f_floating_minimum PROTO_S ( ( error_treatment, exp, exp ) ) ;
703 
extern exp f_floating_mult PROTO_S ( ( error_treatment, exp_list ) ) ;
704 
extern exp f_floating_negate PROTO_S ( ( error_treatment, exp ) ) ;
705 
extern exp f_floating_plus PROTO_S ( ( error_treatment, exp_list ) ) ;
706 
extern exp f_floating_power PROTO_S ( ( error_treatment, exp, exp ) ) ;
707 
extern exp f_floating_test PROTO_S ( ( nat_option, error_treatment, ntest, label, exp, exp ) ) ;
708 
extern exp f_goto PROTO_S ( ( label ) ) ;
709 
extern exp f_goto_local_lv PROTO_S ( ( exp ) ) ;
710 
extern void start_identify PROTO_S ( ( access_option, tag, exp ) ) ;
711 
extern exp f_identify PROTO_S ( ( access_option, tag, exp, exp ) ) ;
712 
extern exp f_ignorable PROTO_S ( ( exp ) ) ;
713 
extern exp f_imaginary_part PROTO_S ( ( exp ) ) ;
714 
extern void start_initial_value PROTO_S ( ( void ) ) ;
715 
extern exp f_initial_value PROTO_S ( ( exp ) ) ;
716 
extern exp f_integer_test PROTO_S ( ( nat_option, ntest, label, exp, exp ) ) ;
717 
extern void start_labelled PROTO_S ( ( label_list ) ) ;
718 
extern exp f_labelled PROTO_S ( ( label_list, exp, exp_list ) ) ;
719 
extern exp f_last_local PROTO_S ( ( exp ) ) ;
720 
extern exp f_local_alloc PROTO_S ( ( exp ) ) ;
721 
extern exp f_local_alloc_check PROTO_S ( ( exp ) ) ;
722 
extern exp f_local_free PROTO_S ( ( exp, exp ) ) ;
723 
extern exp f_local_free_all PROTO_S ( ( void ) ) ;
724 
extern exp f_long_jump PROTO_S ( ( exp, exp ) ) ;
725 
extern exp f_make_complex PROTO_S ( ( floating_variety, exp, exp ) ) ;
726 
extern exp f_make_compound PROTO_S ( ( exp, exp_list ) ) ;
727 
extern exp f_make_floating PROTO_S ( ( floating_variety, rounding_mode, bool, string, nat, signed_nat ) ) ;
728 
extern void start_make_general_proc PROTO_S ( ( shape, procprops_option, tagshacc_list, tagshacc_list ) ) ;
729 
extern exp f_make_general_proc PROTO_S ( ( shape, procprops_option, tagshacc_list, tagshacc_list, exp ) ) ;
730 
extern exp f_make_int PROTO_S ( ( variety, signed_nat ) ) ;
731 
extern exp f_make_local_lv PROTO_S ( ( label ) ) ;
732 
extern exp f_make_nof PROTO_S ( ( exp_list ) ) ;
733 
extern exp f_make_nof_int PROTO_S ( ( variety, string ) ) ;
734 
extern exp f_make_null_local_lv PROTO_S ( ( void ) ) ;
735 
extern exp f_make_null_proc PROTO_S ( ( void ) ) ;
736 
extern exp f_make_null_ptr PROTO_S ( ( alignment ) ) ;
737 
extern void start_make_proc PROTO_S ( ( shape, tagshacc_list, tagacc_option ) ) ;
738 
extern exp f_make_proc PROTO_S ( ( shape, tagshacc_list, tagacc_option, exp ) ) ;
739 
extern exp f_make_stack_limit PROTO_S ( ( exp, exp, exp ) ) ;
740 
extern exp f_make_top PROTO_S ( ( void ) ) ;
741 
extern exp f_make_value PROTO_S ( ( shape ) ) ;
742 
extern exp f_maximum PROTO_S ( ( exp, exp ) ) ;
743 
extern exp f_minimum PROTO_S ( ( exp, exp ) ) ;
744 
extern exp f_minus PROTO_S ( ( error_treatment, exp, exp ) ) ;
745 
extern exp f_move_some PROTO_S ( ( transfer_mode, exp, exp, exp ) ) ;
746 
extern exp f_mult PROTO_S ( ( error_treatment, exp, exp ) ) ;
747 
extern exp f_n_copies PROTO_S ( ( nat, exp ) ) ;
748 
extern exp f_negate PROTO_S ( ( error_treatment, exp ) ) ;
749 
extern exp f_not PROTO_S ( ( exp ) ) ;
750 
extern exp f_obtain_tag PROTO_S ( ( tag ) ) ;
751 
extern exp f_offset_add PROTO_S ( ( exp, exp ) ) ;
752 
extern exp f_offset_div PROTO_S ( ( variety, exp, exp ) ) ;
753 
extern exp f_offset_div_by_int PROTO_S ( ( exp, exp ) ) ;
754 
extern exp f_offset_max PROTO_S ( ( exp, exp ) ) ;
755 
extern exp f_offset_mult PROTO_S ( ( exp, exp ) ) ;
756 
extern exp f_offset_negate PROTO_S ( ( exp ) ) ;
757 
extern exp f_offset_pad PROTO_S ( ( alignment, exp ) ) ;
758 
extern exp f_offset_subtract PROTO_S ( ( exp, exp ) ) ;
759 
extern exp f_offset_test PROTO_S ( ( nat_option, ntest, label, exp, exp ) ) ;
760 
extern exp f_offset_zero PROTO_S ( ( alignment ) ) ;
761 
extern exp f_or PROTO_S ( ( exp, exp ) ) ;
762 
extern exp f_plus PROTO_S ( ( error_treatment, exp, exp ) ) ;
763 
extern exp f_pointer_test PROTO_S ( ( nat_option, ntest, label, exp, exp ) ) ;
764 
extern exp f_power PROTO_S ( ( error_treatment, exp, exp ) ) ;
765 
extern exp f_proc_test PROTO_S ( ( nat_option, ntest, label, exp, exp ) ) ;
766 
extern exp f_profile PROTO_S ( ( nat ) ) ;
767 
extern exp f_real_part PROTO_S ( ( exp ) ) ;
768 
extern exp f_rem0 PROTO_S ( ( error_treatment, error_treatment, exp, exp ) ) ;
769 
extern exp f_rem1 PROTO_S ( ( error_treatment, error_treatment, exp, exp ) ) ;
770 
extern exp f_rem2 PROTO_S ( ( error_treatment, error_treatment, exp, exp ) ) ;
771 
extern void start_repeat PROTO_S ( ( label ) ) ;
772 
extern exp f_repeat PROTO_S ( ( label, exp, exp ) ) ;
773 
extern exp f_return PROTO_S ( ( exp ) ) ;
774 
extern exp f_return_to_label PROTO_S ( ( exp ) ) ;
775 
extern exp f_round_with_mode PROTO_S ( ( error_treatment, rounding_mode, variety, exp ) ) ;
776 
extern exp f_rotate_left PROTO_S ( ( exp, exp ) ) ;
777 
extern exp f_rotate_right PROTO_S ( ( exp, exp ) ) ;
778 
extern exp f_sequence PROTO_S ( ( exp_list, exp ) ) ;
779 
extern exp f_set_stack_limit PROTO_S ( ( exp ) ) ;
780 
extern exp f_shape_offset PROTO_S ( ( shape ) ) ;
781 
extern exp f_shift_left PROTO_S ( ( error_treatment, exp, exp ) ) ;
782 
extern exp f_shift_right PROTO_S ( ( exp, exp ) ) ;
783 
extern exp f_subtract_ptrs PROTO_S ( ( exp, exp ) ) ;
784 
extern exp f_tail_call PROTO_S ( ( procprops_option, exp, callees ) ) ;
785 
extern exp f_untidy_return PROTO_S ( ( exp ) ) ;
786 
extern void start_variable PROTO_S ( ( access_option, tag, exp ) ) ;
787 
extern exp f_variable PROTO_S ( ( access_option, tag, exp, exp ) ) ;
788 
extern exp f_xor PROTO_S ( ( exp, exp ) ) ;
789 
extern exp f_dummy_exp ;
790 
extern void init_exp PROTO_S ( ( void ) ) ;
791 
 
792 
/* CONSTRUCTS FOR EXP_LIST */
793 
extern exp_list new_exp_list PROTO_S ( ( int ) ) ;
794 
extern exp_list add_exp_list PROTO_S ( ( exp_list, exp, int ) ) ;
795 
extern void init_exp_list PROTO_S ( ( void ) ) ;
796 
 
797 
/* CONSTRUCTS FOR EXP_OPTION */
798 
extern exp_option yes_exp_option PROTO_S ( ( exp ) ) ;
799 
extern exp_option no_exp_option ;
800 
extern void init_exp_option PROTO_S ( ( void ) ) ;
801 
 
802 
/* CONSTRUCTS FOR EXTERN_LINK */
803 
extern extern_link f_make_extern_link PROTO_S ( ( linkextern_list ) ) ;
804 
extern extern_link f_dummy_extern_link ;
805 
extern void init_extern_link PROTO_S ( ( void ) ) ;
806 
 
807 
/* CONSTRUCTS FOR EXTERN_LINK_LIST */
808 
extern extern_link_list new_extern_link_list PROTO_S ( ( int ) ) ;
809 
extern extern_link_list add_extern_link_list PROTO_S ( ( extern_link_list, extern_link, int ) ) ;
810 
extern void init_extern_link_list PROTO_S ( ( void ) ) ;
811 
 
812 
/* CONSTRUCTS FOR EXTERNAL */
813 
extern external f_string_extern PROTO_S ( ( tdfident ) ) ;
814 
extern external f_unique_extern PROTO_S ( ( unique ) ) ;
815 
extern external f_chain_extern PROTO_S ( ( tdfident, tdfint ) ) ;
816 
extern external f_dummy_external ;
817 
extern void init_external PROTO_S ( ( void ) ) ;
818 
 
819 
/* CONSTRUCTS FOR FILENAME */
820 
extern filename f_filename_apply_token PROTO_S ( ( token, bitstream ) ) ;
821 
extern filename f_make_filename PROTO_S ( ( nat, tdfstring, tdfstring ) ) ;
822 
extern filename f_dummy_filename ;
823 
extern void init_filename PROTO_S ( ( void ) ) ;
824 
 
825 
/* CONSTRUCTS FOR FLOATING_VARIETY */
826 
extern floating_variety f_flvar_apply_token PROTO_S ( ( token, bitstream ) ) ;
827 
extern floating_variety f_flvar_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
828 
extern floating_variety f_flvar_parms PROTO_S ( ( nat, nat, nat, nat ) ) ;
829 
extern floating_variety f_complex_parms PROTO_S ( ( nat, nat, nat, nat ) ) ;
830 
extern floating_variety f_float_of_complex PROTO_S ( ( shape ) ) ;
831 
extern floating_variety f_complex_of_float PROTO_S ( ( shape ) ) ;
832 
extern floating_variety f_dummy_floating_variety ;
833 
extern void init_floating_variety PROTO_S ( ( void ) ) ;
834 
 
835 
/* CONSTRUCTS FOR GROUP */
836 
extern group f_make_group PROTO_S ( ( unit_list ) ) ;
837 
extern group f_dummy_group ;
838 
extern void init_group PROTO_S ( ( void ) ) ;
839 
 
840 
/* CONSTRUCTS FOR GROUP_LIST */
841 
extern group_list new_group_list PROTO_S ( ( int ) ) ;
842 
extern group_list add_group_list PROTO_S ( ( group_list, group, int ) ) ;
843 
extern void init_group_list PROTO_S ( ( void ) ) ;
844 
 
845 
/* CONSTRUCTS FOR LABEL */
846 
extern label f_label_apply_token PROTO_S ( ( token, bitstream ) ) ;
847 
extern label f_make_label PROTO_S ( ( tdfint ) ) ;
848 
extern label f_dummy_label ;
849 
extern void init_label PROTO_S ( ( void ) ) ;
850 
 
851 
/* CONSTRUCTS FOR LABEL_LIST */
852 
extern label_list new_label_list PROTO_S ( ( int ) ) ;
853 
extern label_list add_label_list PROTO_S ( ( label_list, label, int ) ) ;
854 
extern void init_label_list PROTO_S ( ( void ) ) ;
855 
 
856 
/* CONSTRUCTS FOR LINK */
857 
extern link f_make_link PROTO_S ( ( tdfint, tdfint ) ) ;
858 
extern link f_dummy_link ;
859 
extern void init_link PROTO_S ( ( void ) ) ;
860 
 
861 
/* CONSTRUCTS FOR LINK_LIST */
862 
extern link_list new_link_list PROTO_S ( ( int ) ) ;
863 
extern link_list add_link_list PROTO_S ( ( link_list, link, int ) ) ;
864 
extern void init_link_list PROTO_S ( ( void ) ) ;
865 
 
866 
/* CONSTRUCTS FOR LINKEXTERN */
867 
extern linkextern f_make_linkextern PROTO_S ( ( tdfint, external ) ) ;
868 
extern linkextern f_dummy_linkextern ;
869 
extern void init_linkextern PROTO_S ( ( void ) ) ;
870 
 
871 
/* CONSTRUCTS FOR LINKEXTERN_LIST */
872 
extern linkextern_list new_linkextern_list PROTO_S ( ( int ) ) ;
873 
extern linkextern_list add_linkextern_list PROTO_S ( ( linkextern_list, linkextern, int ) ) ;
874 
extern void init_linkextern_list PROTO_S ( ( void ) ) ;
875 
 
876 
/* CONSTRUCTS FOR LINKINFO */
877 
extern linkinfo f_static_name_def PROTO_S ( ( exp, tdfstring ) ) ;
878 
extern linkinfo f_make_comment PROTO_S ( ( tdfstring ) ) ;
879 
extern linkinfo f_make_weak_defn PROTO_S ( ( exp, exp ) ) ;
880 
extern linkinfo f_make_weak_symbol PROTO_S ( ( tdfstring, exp ) ) ;
881 
extern linkinfo f_dummy_linkinfo ;
882 
extern void init_linkinfo PROTO_S ( ( void ) ) ;
883 
 
884 
/* CONSTRUCTS FOR LINKINFO_LIST */
885 
extern linkinfo_list new_linkinfo_list PROTO_S ( ( int ) ) ;
886 
extern linkinfo_list add_linkinfo_list PROTO_S ( ( linkinfo_list, linkinfo, int ) ) ;
887 
extern void init_linkinfo_list PROTO_S ( ( void ) ) ;
888 
 
889 
/* CONSTRUCTS FOR LINKINFO_PROPS */
890 
extern linkinfo_props f_make_linkinfos PROTO_S ( ( tdfint, linkinfo_list ) ) ;
891 
extern linkinfo_props f_dummy_linkinfo_props ;
892 
extern void init_linkinfo_props PROTO_S ( ( void ) ) ;
893 
 
894 
/* CONSTRUCTS FOR LINKS */
895 
extern links f_make_links PROTO_S ( ( link_list ) ) ;
896 
extern links f_dummy_links ;
897 
extern void init_links PROTO_S ( ( void ) ) ;
898 
 
899 
/* CONSTRUCTS FOR LINKS_LIST */
900 
extern links_list new_links_list PROTO_S ( ( int ) ) ;
901 
extern links_list add_links_list PROTO_S ( ( links_list, links, int ) ) ;
902 
extern void init_links_list PROTO_S ( ( void ) ) ;
903 
 
904 
/* CONSTRUCTS FOR NAT */
905 
extern nat f_nat_apply_token PROTO_S ( ( token, bitstream ) ) ;
906 
extern nat f_nat_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
907 
extern nat f_computed_nat PROTO_S ( ( exp ) ) ;
908 
extern nat f_error_val PROTO_S ( ( error_code ) ) ;
909 
extern nat f_make_nat PROTO_S ( ( tdfint ) ) ;
910 
extern nat f_dummy_nat ;
911 
extern void init_nat PROTO_S ( ( void ) ) ;
912 
 
913 
/* CONSTRUCTS FOR NAT_OPTION */
914 
extern nat_option yes_nat_option PROTO_S ( ( nat ) ) ;
915 
extern nat_option no_nat_option ;
916 
extern void init_nat_option PROTO_S ( ( void ) ) ;
917 
 
918 
/* CONSTRUCTS FOR NTEST */
919 
extern ntest f_ntest_apply_token PROTO_S ( ( token, bitstream ) ) ;
920 
extern ntest f_ntest_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
921 
extern ntest f_equal ;
922 
extern ntest f_greater_than ;
923 
extern ntest f_greater_than_or_equal ;
924 
extern ntest f_less_than ;
925 
extern ntest f_less_than_or_equal ;
926 
extern ntest f_not_equal ;
927 
extern ntest f_not_greater_than ;
928 
extern ntest f_not_greater_than_or_equal ;
929 
extern ntest f_not_less_than ;
930 
extern ntest f_not_less_than_or_equal ;
931 
extern ntest f_less_than_or_greater_than ;
932 
extern ntest f_not_less_than_and_not_greater_than ;
933 
extern ntest f_comparable ;
934 
extern ntest f_not_comparable ;
935 
extern ntest f_dummy_ntest ;
936 
extern void init_ntest PROTO_S ( ( void ) ) ;
937 
 
938 
/* CONSTRUCTS FOR OTAGEXP */
939 
extern otagexp f_make_otagexp PROTO_S ( ( tag_option, exp ) ) ;
940 
extern otagexp f_dummy_otagexp ;
941 
extern void init_otagexp PROTO_S ( ( void ) ) ;
942 
 
943 
/* CONSTRUCTS FOR OTAGEXP_LIST */
944 
extern otagexp_list new_otagexp_list PROTO_S ( ( int ) ) ;
945 
extern otagexp_list add_otagexp_list PROTO_S ( ( otagexp_list, otagexp, int ) ) ;
946 
extern void init_otagexp_list PROTO_S ( ( void ) ) ;
947 
 
948 
/* CONSTRUCTS FOR PROCPROPS */
949 
extern procprops f_procprops_apply_token PROTO_S ( ( token, bitstream ) ) ;
950 
extern procprops f_procprops_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
951 
extern procprops f_add_procprops PROTO_S ( ( procprops, procprops ) ) ;
952 
extern procprops f_check_stack ;
953 
extern procprops f_inline ;
954 
extern procprops f_no_long_jump_dest ;
955 
extern procprops f_untidy ;
956 
extern procprops f_var_callees ;
957 
extern procprops f_var_callers ;
958 
extern procprops f_dummy_procprops ;
959 
extern void init_procprops PROTO_S ( ( void ) ) ;
960 
 
961 
/* CONSTRUCTS FOR PROCPROPS_OPTION */
962 
extern procprops_option yes_procprops_option PROTO_S ( ( procprops ) ) ;
963 
extern procprops_option no_procprops_option ;
964 
extern void init_procprops_option PROTO_S ( ( void ) ) ;
965 
 
966 
/* CONSTRUCTS FOR ROUNDING_MODE */
967 
extern rounding_mode f_rounding_mode_apply_token PROTO_S ( ( token, bitstream ) ) ;
968 
extern rounding_mode f_rounding_mode_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
969 
extern rounding_mode f_round_as_state ;
970 
extern rounding_mode f_to_nearest ;
971 
extern rounding_mode f_toward_larger ;
972 
extern rounding_mode f_toward_smaller ;
973 
extern rounding_mode f_toward_zero ;
974 
extern rounding_mode f_dummy_rounding_mode ;
975 
extern void init_rounding_mode PROTO_S ( ( void ) ) ;
976 
 
977 
/* CONSTRUCTS FOR SHAPE */
978 
extern shape f_shape_apply_token PROTO_S ( ( token, bitstream ) ) ;
979 
extern shape f_shape_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
980 
extern shape f_bitfield PROTO_S ( ( bitfield_variety ) ) ;
981 
extern shape f_bottom ;
982 
extern shape f_compound PROTO_S ( ( exp ) ) ;
983 
extern shape f_floating PROTO_S ( ( floating_variety ) ) ;
984 
extern shape f_integer PROTO_S ( ( variety ) ) ;
985 
extern shape f_nof PROTO_S ( ( nat, shape ) ) ;
986 
extern shape f_offset PROTO_S ( ( alignment, alignment ) ) ;
987 
extern shape f_pointer PROTO_S ( ( alignment ) ) ;
988 
extern shape f_proc ;
989 
extern shape f_top ;
990 
extern shape f_dummy_shape ;
991 
extern void init_shape PROTO_S ( ( void ) ) ;
992 
 
993 
/* CONSTRUCTS FOR SHAPE_OPTION */
994 
extern shape_option yes_shape_option PROTO_S ( ( shape ) ) ;
995 
extern shape_option no_shape_option ;
996 
extern void init_shape_option PROTO_S ( ( void ) ) ;
997 
 
998 
/* CONSTRUCTS FOR SIGNED_NAT */
999 
extern signed_nat f_signed_nat_apply_token PROTO_S ( ( token, bitstream ) ) ;
1000 
extern signed_nat f_signed_nat_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
1001 
extern signed_nat f_computed_signed_nat PROTO_S ( ( exp ) ) ;
1002 
extern signed_nat f_make_signed_nat PROTO_S ( ( tdfbool, tdfint ) ) ;
1003 
extern signed_nat f_snat_from_nat PROTO_S ( ( bool, nat ) ) ;
1004 
extern signed_nat f_dummy_signed_nat ;
1005 
extern void init_signed_nat PROTO_S ( ( void ) ) ;
1006 
 
1007 
/* CONSTRUCTS FOR SORTNAME */
1008 
extern sortname f_access ;
1009 
extern sortname f_al_tag ;
1010 
extern sortname f_alignment_sort ;
1011 
extern sortname f_bitfield_variety ;
1012 
extern sortname f_bool ;
1013 
extern sortname f_error_treatment ;
1014 
extern sortname f_exp ;
1015 
extern sortname f_floating_variety ;
1016 
extern sortname f_foreign_sort PROTO_S ( ( string ) ) ;
1017 
extern sortname f_label ;
1018 
extern sortname f_nat ;
1019 
extern sortname f_ntest ;
1020 
extern sortname f_procprops ;
1021 
extern sortname f_rounding_mode ;
1022 
extern sortname f_shape ;
1023 
extern sortname f_signed_nat ;
1024 
extern sortname f_string ;
1025 
extern sortname f_tag ;
1026 
extern sortname f_transfer_mode ;
1027 
extern sortname f_token PROTO_S ( ( sortname, sortname_list ) ) ;
1028 
extern sortname f_variety ;
1029 
extern sortname f_dummy_sortname ;
1030 
extern void init_sortname PROTO_S ( ( void ) ) ;
1031 
 
1032 
/* CONSTRUCTS FOR SORTNAME_LIST */
1033 
extern sortname_list new_sortname_list PROTO_S ( ( int ) ) ;
1034 
extern sortname_list add_sortname_list PROTO_S ( ( sortname_list, sortname, int ) ) ;
1035 
extern void init_sortname_list PROTO_S ( ( void ) ) ;
1036 
 
1037 
/* CONSTRUCTS FOR SOURCEMARK */
1038 
extern sourcemark f_make_sourcemark PROTO_S ( ( filename, nat, nat ) ) ;
1039 
extern sourcemark f_dummy_sourcemark ;
1040 
extern void init_sourcemark PROTO_S ( ( void ) ) ;
1041 
 
1042 
/* CONSTRUCTS FOR STRING */
1043 
extern string f_string_apply_token PROTO_S ( ( token, bitstream ) ) ;
1044 
extern string f_string_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
1045 
extern string f_concat_string PROTO_S ( ( string, string ) ) ;
1046 
extern string f_make_string PROTO_S ( ( tdfstring ) ) ;
1047 
extern string f_dummy_string ;
1048 
extern void init_string PROTO_S ( ( void ) ) ;
1049 
 
1050 
/* CONSTRUCTS FOR STRING_LIST */
1051 
extern string_list new_string_list PROTO_S ( ( int ) ) ;
1052 
extern string_list add_string_list PROTO_S ( ( string_list, string, int ) ) ;
1053 
extern void init_string_list PROTO_S ( ( void ) ) ;
1054 
 
1055 
/* CONSTRUCTS FOR STRING_OPTION */
1056 
extern string_option yes_string_option PROTO_S ( ( string ) ) ;
1057 
extern string_option no_string_option ;
1058 
extern void init_string_option PROTO_S ( ( void ) ) ;
1059 
 
1060 
/* CONSTRUCTS FOR TAG */
1061 
extern tag f_tag_apply_token PROTO_S ( ( token, bitstream ) ) ;
1062 
extern tag f_make_tag PROTO_S ( ( tdfint ) ) ;
1063 
extern tag f_dummy_tag ;
1064 
extern void init_tag PROTO_S ( ( void ) ) ;
1065 
 
1066 
/* CONSTRUCTS FOR TAG_OPTION */
1067 
extern tag_option yes_tag_option PROTO_S ( ( tag ) ) ;
1068 
extern tag_option no_tag_option ;
1069 
extern void init_tag_option PROTO_S ( ( void ) ) ;
1070 
 
1071 
/* CONSTRUCTS FOR TAGACC */
1072 
extern tagacc f_make_tagacc PROTO_S ( ( tag, access_option ) ) ;
1073 
extern tagacc f_dummy_tagacc ;
1074 
extern void init_tagacc PROTO_S ( ( void ) ) ;
1075 
 
1076 
/* CONSTRUCTS FOR TAGACC_OPTION */
1077 
extern tagacc_option yes_tagacc_option PROTO_S ( ( tagacc ) ) ;
1078 
extern tagacc_option no_tagacc_option ;
1079 
extern void init_tagacc_option PROTO_S ( ( void ) ) ;
1080 
 
1081 
/* CONSTRUCTS FOR TAGDEC */
1082 
extern tagdec f_make_id_tagdec PROTO_S ( ( tdfint, access_option, string_option, shape ) ) ;
1083 
extern tagdec f_make_var_tagdec PROTO_S ( ( tdfint, access_option, string_option, shape ) ) ;
1084 
extern tagdec f_common_tagdec PROTO_S ( ( tdfint, access_option, string_option, shape ) ) ;
1085 
extern tagdec f_dummy_tagdec ;
1086 
extern void init_tagdec PROTO_S ( ( void ) ) ;
1087 
 
1088 
/* CONSTRUCTS FOR TAGDEC_LIST */
1089 
extern tagdec_list new_tagdec_list PROTO_S ( ( int ) ) ;
1090 
extern tagdec_list add_tagdec_list PROTO_S ( ( tagdec_list, tagdec, int ) ) ;
1091 
extern void init_tagdec_list PROTO_S ( ( void ) ) ;
1092 
 
1093 
/* CONSTRUCTS FOR TAGDEC_PROPS */
1094 
extern tagdec_props f_make_tagdecs PROTO_S ( ( tdfint, tagdec_list ) ) ;
1095 
extern tagdec_props f_dummy_tagdec_props ;
1096 
extern void init_tagdec_props PROTO_S ( ( void ) ) ;
1097 
 
1098 
/* CONSTRUCTS FOR TAGDEF */
1099 
extern void start_make_id_tagdef PROTO_S ( ( tdfint ) ) ;
1100 
extern tagdef f_make_id_tagdef PROTO_S ( ( tdfint, string_option, exp ) ) ;
1101 
extern void start_make_var_tagdef PROTO_S ( ( tdfint ) ) ;
1102 
extern tagdef f_make_var_tagdef PROTO_S ( ( tdfint, access_option, string_option, exp ) ) ;
1103 
extern void start_common_tagdef PROTO_S ( ( tdfint ) ) ;
1104 
extern tagdef f_common_tagdef PROTO_S ( ( tdfint, access_option, string_option, exp ) ) ;
1105 
extern tagdef f_dummy_tagdef ;
1106 
extern void init_tagdef PROTO_S ( ( void ) ) ;
1107 
 
1108 
/* CONSTRUCTS FOR TAGDEF_LIST */
1109 
extern tagdef_list new_tagdef_list PROTO_S ( ( int ) ) ;
1110 
extern tagdef_list add_tagdef_list PROTO_S ( ( tagdef_list, tagdef, int ) ) ;
1111 
extern void init_tagdef_list PROTO_S ( ( void ) ) ;
1112 
 
1113 
/* CONSTRUCTS FOR TAGDEF_PROPS */
1114 
extern tagdef_props f_make_tagdefs PROTO_S ( ( tdfint, tagdef_list ) ) ;
1115 
extern tagdef_props f_dummy_tagdef_props ;
1116 
extern void init_tagdef_props PROTO_S ( ( void ) ) ;
1117 
 
1118 
/* CONSTRUCTS FOR TAGSHACC */
1119 
extern tagshacc f_make_tagshacc PROTO_S ( ( shape, access_option, tag ) ) ;
1120 
extern tagshacc f_dummy_tagshacc ;
1121 
extern void init_tagshacc PROTO_S ( ( void ) ) ;
1122 
 
1123 
/* CONSTRUCTS FOR TAGSHACC_LIST */
1124 
extern tagshacc_list new_tagshacc_list PROTO_S ( ( int ) ) ;
1125 
extern tagshacc_list add_tagshacc_list PROTO_S ( ( tagshacc_list, tagshacc, int ) ) ;
1126 
extern void init_tagshacc_list PROTO_S ( ( void ) ) ;
1127 
 
1128 
/* CONSTRUCTS FOR TDFIDENT_LIST */
1129 
extern tdfident_list new_tdfident_list PROTO_S ( ( int ) ) ;
1130 
extern tdfident_list add_tdfident_list PROTO_S ( ( tdfident_list, tdfident, int ) ) ;
1131 
extern void init_tdfident_list PROTO_S ( ( void ) ) ;
1132 
 
1133 
/* CONSTRUCTS FOR TDFINT_LIST */
1134 
extern tdfint_list new_tdfint_list PROTO_S ( ( int ) ) ;
1135 
extern tdfint_list add_tdfint_list PROTO_S ( ( tdfint_list, tdfint, int ) ) ;
1136 
extern void init_tdfint_list PROTO_S ( ( void ) ) ;
1137 
 
1138 
/* CONSTRUCTS FOR TOKDEC */
1139 
extern tokdec f_make_tokdec PROTO_S ( ( tdfint, string_option, sortname ) ) ;
1140 
extern tokdec f_dummy_tokdec ;
1141 
extern void init_tokdec PROTO_S ( ( void ) ) ;
1142 
 
1143 
/* CONSTRUCTS FOR TOKDEC_LIST */
1144 
extern tokdec_list new_tokdec_list PROTO_S ( ( int ) ) ;
1145 
extern tokdec_list add_tokdec_list PROTO_S ( ( tokdec_list, tokdec, int ) ) ;
1146 
extern void init_tokdec_list PROTO_S ( ( void ) ) ;
1147 
 
1148 
/* CONSTRUCTS FOR TOKDEC_PROPS */
1149 
extern tokdec_props f_make_tokdecs PROTO_S ( ( tokdec_list ) ) ;
1150 
extern tokdec_props f_dummy_tokdec_props ;
1151 
extern void init_tokdec_props PROTO_S ( ( void ) ) ;
1152 
 
1153 
/* CONSTRUCTS FOR TOKDEF */
1154 
extern tokdef f_make_tokdef PROTO_S ( ( tdfint, string_option, bitstream ) ) ;
1155 
extern tokdef f_dummy_tokdef ;
1156 
extern void init_tokdef PROTO_S ( ( void ) ) ;
1157 
 
1158 
/* CONSTRUCTS FOR TOKDEF_LIST */
1159 
extern tokdef_list new_tokdef_list PROTO_S ( ( int ) ) ;
1160 
extern tokdef_list add_tokdef_list PROTO_S ( ( tokdef_list, tokdef, int ) ) ;
1161 
extern void init_tokdef_list PROTO_S ( ( void ) ) ;
1162 
 
1163 
/* CONSTRUCTS FOR TOKDEF_PROPS */
1164 
extern tokdef_props f_make_tokdefs PROTO_S ( ( tdfint, tokdef_list ) ) ;
1165 
extern tokdef_props f_dummy_tokdef_props ;
1166 
extern void init_tokdef_props PROTO_S ( ( void ) ) ;
1167 
 
1168 
/* CONSTRUCTS FOR TOKEN */
1169 
extern token f_token_apply_token PROTO_S ( ( token, bitstream ) ) ;
1170 
extern token f_make_tok PROTO_S ( ( tdfint ) ) ;
1171 
extern token f_use_tokdef PROTO_S ( ( bitstream ) ) ;
1172 
extern token f_dummy_token ;
1173 
extern void init_token PROTO_S ( ( void ) ) ;
1174 
 
1175 
/* CONSTRUCTS FOR TOKEN_DEFN */
1176 
extern token_defn f_token_definition PROTO_S ( ( sortname, tokformals_list ) ) ;
1177 
extern token_defn f_dummy_token_defn ;
1178 
extern void init_token_defn PROTO_S ( ( void ) ) ;
1179 
 
1180 
/* CONSTRUCTS FOR TOKEN_OPTION */
1181 
extern token_option yes_token_option PROTO_S ( ( token ) ) ;
1182 
extern token_option no_token_option ;
1183 
extern void init_token_option PROTO_S ( ( void ) ) ;
1184 
 
1185 
/* CONSTRUCTS FOR TOKFORMALS */
1186 
extern tokformals f_make_tokformals PROTO_S ( ( sortname, tdfint ) ) ;
1187 
extern tokformals f_dummy_tokformals ;
1188 
extern void init_tokformals PROTO_S ( ( void ) ) ;
1189 
 
1190 
/* CONSTRUCTS FOR TOKFORMALS_LIST */
1191 
extern tokformals_list new_tokformals_list PROTO_S ( ( int ) ) ;
1192 
extern tokformals_list add_tokformals_list PROTO_S ( ( tokformals_list, tokformals, int ) ) ;
1193 
extern void init_tokformals_list PROTO_S ( ( void ) ) ;
1194 
 
1195 
/* CONSTRUCTS FOR TRANSFER_MODE */
1196 
extern transfer_mode f_transfer_mode_apply_token PROTO_S ( ( token, bitstream ) ) ;
1197 
extern transfer_mode f_transfer_mode_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
1198 
extern transfer_mode f_add_modes PROTO_S ( ( transfer_mode, transfer_mode ) ) ;
1199 
extern transfer_mode f_overlap ;
1200 
extern transfer_mode f_standard_transfer_mode ;
1201 
extern transfer_mode f_trap_on_nil ;
1202 
extern transfer_mode f_volatile ;
1203 
extern transfer_mode f_complete ;
1204 
extern transfer_mode f_dummy_transfer_mode ;
1205 
extern void init_transfer_mode PROTO_S ( ( void ) ) ;
1206 
 
1207 
/* CONSTRUCTS FOR UNIQUE */
1208 
extern unique f_make_unique PROTO_S ( ( tdfident_list ) ) ;
1209 
extern unique f_dummy_unique ;
1210 
extern void init_unique PROTO_S ( ( void ) ) ;
1211 
 
1212 
/* CONSTRUCTS FOR UNIT */
1213 
extern void start_make_unit PROTO_S ( ( tdfint_list ) ) ;
1214 
extern unit f_make_unit PROTO_S ( ( tdfint_list, links_list, bytestream ) ) ;
1215 
extern unit f_dummy_unit ;
1216 
extern void init_unit PROTO_S ( ( void ) ) ;
1217 
 
1218 
/* CONSTRUCTS FOR UNIT_LIST */
1219 
extern unit_list new_unit_list PROTO_S ( ( int ) ) ;
1220 
extern unit_list add_unit_list PROTO_S ( ( unit_list, unit, int ) ) ;
1221 
extern void init_unit_list PROTO_S ( ( void ) ) ;
1222 
 
1223 
/* CONSTRUCTS FOR VARIETY */
1224 
extern variety f_var_apply_token PROTO_S ( ( token, bitstream ) ) ;
1225 
extern variety f_var_cond PROTO_S ( ( exp, bitstream, bitstream ) ) ;
1226 
extern variety f_var_limits PROTO_S ( ( signed_nat, signed_nat ) ) ;
1227 
extern variety f_var_width PROTO_S ( ( bool, nat ) ) ;
1228 
extern variety f_dummy_variety ;
1229 
extern void init_variety PROTO_S ( ( void ) ) ;
1230 
 
1231 
/* CONSTRUCTS FOR VERSION */
1232 
extern version f_make_version PROTO_S ( ( tdfint, tdfint ) ) ;
1233 
extern version f_user_info PROTO_S ( ( string ) ) ;
1234 
extern version f_dummy_version ;
1235 
extern void init_version PROTO_S ( ( void ) ) ;
1236 
 
1237 
/* CONSTRUCTS FOR VERSION_LIST */
1238 
extern version_list new_version_list PROTO_S ( ( int ) ) ;
1239 
extern version_list add_version_list PROTO_S ( ( version_list, version, int ) ) ;
1240 
extern void init_version_list PROTO_S ( ( void ) ) ;
1241 
 
1242 
/* CONSTRUCTS FOR VERSION_PROPS */
1243 
extern version_props f_make_versions PROTO_S ( ( version_list ) ) ;
1244 
extern version_props f_dummy_version_props ;
1245 
extern void init_version_props PROTO_S ( ( void ) ) ;
1246 
 
1247 
 
1248 
#endif