PIPS
ri.c
Go to the documentation of this file.
1 /*
2  * THIS FILE HAS BEEN AUTOMATICALLY GENERATED BY NEWGEN.
3  *
4  * PLEASE DO NOT MODIFY IT.
5  */
6 
7 typedef void * Pvecteur;
8 typedef void * Psysteme;
9 
10 #include <stdio.h>
11 #include <stdlib.h>
12 #include <string.h>
13 #include "genC.h"
14 #include "ri.h"
15 
16 
17 
18 /* APPLICATION
19  */
21  return (application) gen_copy_tree((gen_chunk*) p);
22 }
24  gen_free((gen_chunk*) p);
25 }
28 }
31  return gen_consistent_p((gen_chunk*) p);
32 }
34  return gen_defined_p((gen_chunk*) p);
35 }
38 }
42  message_assert("defined references to domain application",
44  memcpy(r, v, sizeof(struct _newgen_struct_application_));
45 }
47  // should clear up contents...
48  free(p);
49 }
51  gen_write(f, (gen_chunk*) p);
52 }
54  return (application) gen_read(f);
55 }
58 }
59 
60 /* AREA
61  */
63  return (area) gen_copy_tree((gen_chunk*) p);
64 }
65 void free_area(area p) {
66  gen_free((gen_chunk*) p);
67 }
69  return (area) gen_check((gen_chunk*) p, area_domain);
70 }
72  check_area(p);
73  return gen_consistent_p((gen_chunk*) p);
74 }
76  return gen_defined_p((gen_chunk*) p);
77 }
79  return gen_typed_cons(AREA_NEWGEN_DOMAIN, p, l);
80 }
82  check_area(r);
83  check_area(v);
84  message_assert("defined references to domain area",
86  memcpy(r, v, sizeof(struct _newgen_struct_area_));
87 }
89  // should clear up contents...
90  free(p);
91 }
92 void write_area(FILE* f, area p) {
93  gen_write(f, (gen_chunk*) p);
94 }
95 area read_area(FILE* f) {
96  return (area) gen_read(f);
97 }
99  return (area) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, area_domain, a1, a2);
100 }
101 
102 /* BASIC
103  */
105  return (basic) gen_copy_tree((gen_chunk*) p);
106 }
107 void free_basic(basic p) {
108  gen_free((gen_chunk*) p);
109 }
111  return (basic) gen_check((gen_chunk*) p, basic_domain);
112 }
114  check_basic(p);
115  return gen_consistent_p((gen_chunk*) p);
116 }
118  return gen_defined_p((gen_chunk*) p);
119 }
121  return gen_typed_cons(BASIC_NEWGEN_DOMAIN, p, l);
122 }
124  check_basic(r);
125  check_basic(v);
126  message_assert("defined references to domain basic",
128  memcpy(r, v, sizeof(struct _newgen_struct_basic_));
129 }
131  // should clear up contents...
132  free(p);
133 }
134 void write_basic(FILE* f, basic p) {
135  gen_write(f, (gen_chunk*) p);
136 }
138  return (basic) gen_read(f);
139 }
141  switch (tag) {
142  case is_basic_int: return "int";
143  case is_basic_float: return "float";
144  case is_basic_logical: return "logical";
145  case is_basic_overloaded: return "overloaded";
146  case is_basic_complex: return "complex";
147  case is_basic_string: return "string";
148  case is_basic_bit: return "bit";
149  case is_basic_pointer: return "pointer";
150  case is_basic_derived: return "derived";
151  case is_basic_typedef: return "typedef";
152  default: return string_undefined;
153  }
154 }
155 basic make_basic(enum basic_utype tag, void * val) {
156  return (basic) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, basic_domain, tag, val);
157 }
159  return make_basic(is_basic_int, (void*)(intptr_t) _field_);
160 }
162  return make_basic(is_basic_float, (void*)(intptr_t) _field_);
163 }
165  return make_basic(is_basic_logical, (void*)(intptr_t) _field_);
166 }
169 }
171  return make_basic(is_basic_complex, (void*)(intptr_t) _field_);
172 }
174  return make_basic(is_basic_string, (void*)(intptr_t) _field_);
175 }
177  return make_basic(is_basic_bit, (void*)(intptr_t) _field_);
178 }
180  return make_basic(is_basic_pointer, (void*)(intptr_t) _field_);
181 }
183  return make_basic(is_basic_derived, (void*)(intptr_t) _field_);
184 }
186  return make_basic(is_basic_typedef, (void*)(intptr_t) _field_);
187 }
188 
189 /* CALLEES
190  */
192  return (callees) gen_copy_tree((gen_chunk*) p);
193 }
195  gen_free((gen_chunk*) p);
196 }
198  return (callees) gen_check((gen_chunk*) p, callees_domain);
199 }
201  check_callees(p);
202  return gen_consistent_p((gen_chunk*) p);
203 }
205  return gen_defined_p((gen_chunk*) p);
206 }
209 }
211  check_callees(r);
212  check_callees(v);
213  message_assert("defined references to domain callees",
215  memcpy(r, v, sizeof(struct _newgen_struct_callees_));
216 }
218  // should clear up contents...
219  free(p);
220 }
221 void write_callees(FILE* f, callees p) {
222  gen_write(f, (gen_chunk*) p);
223 }
225  return (callees) gen_read(f);
226 }
228  return (callees) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, callees_domain, a);
229 }
230 
231 /* CALL
232  */
234  return (call) gen_copy_tree((gen_chunk*) p);
235 }
236 void free_call(call p) {
237  gen_free((gen_chunk*) p);
238 }
240  return (call) gen_check((gen_chunk*) p, call_domain);
241 }
243  check_call(p);
244  return gen_consistent_p((gen_chunk*) p);
245 }
247  return gen_defined_p((gen_chunk*) p);
248 }
250  return gen_typed_cons(CALL_NEWGEN_DOMAIN, p, l);
251 }
253  check_call(r);
254  check_call(v);
255  message_assert("defined references to domain call",
256  call_defined_p(r) && call_defined_p(v));
257  memcpy(r, v, sizeof(struct _newgen_struct_call_));
258 }
260  // should clear up contents...
261  free(p);
262 }
263 void write_call(FILE* f, call p) {
264  gen_write(f, (gen_chunk*) p);
265 }
266 call read_call(FILE* f) {
267  return (call) gen_read(f);
268 }
270  return (call) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, call_domain, a1, a2);
271 }
272 
273 /* CAST
274  */
276  return (cast) gen_copy_tree((gen_chunk*) p);
277 }
278 void free_cast(cast p) {
279  gen_free((gen_chunk*) p);
280 }
282  return (cast) gen_check((gen_chunk*) p, cast_domain);
283 }
285  check_cast(p);
286  return gen_consistent_p((gen_chunk*) p);
287 }
289  return gen_defined_p((gen_chunk*) p);
290 }
292  return gen_typed_cons(CAST_NEWGEN_DOMAIN, p, l);
293 }
295  check_cast(r);
296  check_cast(v);
297  message_assert("defined references to domain cast",
298  cast_defined_p(r) && cast_defined_p(v));
299  memcpy(r, v, sizeof(struct _newgen_struct_cast_));
300 }
302  // should clear up contents...
303  free(p);
304 }
305 void write_cast(FILE* f, cast p) {
306  gen_write(f, (gen_chunk*) p);
307 }
308 cast read_cast(FILE* f) {
309  return (cast) gen_read(f);
310 }
312  return (cast) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, cast_domain, a1, a2);
313 }
314 
315 /* CODE
316  */
318  return (code) gen_copy_tree((gen_chunk*) p);
319 }
320 void free_code(code p) {
321  gen_free((gen_chunk*) p);
322 }
324  return (code) gen_check((gen_chunk*) p, code_domain);
325 }
327  check_code(p);
328  return gen_consistent_p((gen_chunk*) p);
329 }
331  return gen_defined_p((gen_chunk*) p);
332 }
334  return gen_typed_cons(CODE_NEWGEN_DOMAIN, p, l);
335 }
337  check_code(r);
338  check_code(v);
339  message_assert("defined references to domain code",
340  code_defined_p(r) && code_defined_p(v));
341  memcpy(r, v, sizeof(struct _newgen_struct_code_));
342 }
344  // should clear up contents...
345  free(p);
346 }
347 void write_code(FILE* f, code p) {
348  gen_write(f, (gen_chunk*) p);
349 }
350 code read_code(FILE* f) {
351  return (code) gen_read(f);
352 }
353 code make_code(list a1, string a2, sequence a3, list a4, language a5) {
354  return (code) gen_alloc(6*sizeof(gen_chunk), GEN_CHECK_ALLOC, code_domain, a1, a2, a3, a4, a5);
355 }
356 
357 /* CONSTANT
358  */
360  return (constant) gen_copy_tree((gen_chunk*) p);
361 }
363  gen_free((gen_chunk*) p);
364 }
367 }
369  check_constant(p);
370  return gen_consistent_p((gen_chunk*) p);
371 }
373  return gen_defined_p((gen_chunk*) p);
374 }
377 }
379  check_constant(r);
380  check_constant(v);
381  message_assert("defined references to domain constant",
383  memcpy(r, v, sizeof(struct _newgen_struct_constant_));
384 }
386  // should clear up contents...
387  free(p);
388 }
389 void write_constant(FILE* f, constant p) {
390  gen_write(f, (gen_chunk*) p);
391 }
393  return (constant) gen_read(f);
394 }
396  switch (tag) {
397  case is_constant_int: return "int";
398  case is_constant_float: return "float";
399  case is_constant_logical: return "logical";
400  case is_constant_litteral: return "litteral";
401  case is_constant_call: return "call";
402  case is_constant_unknown: return "unknown";
403  default: return string_undefined;
404  }
405 }
407  return (constant) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, constant_domain, tag, val);
408 }
410  return make_constant(is_constant_int, (void*)(intptr_t) _field_);
411 }
413  return make_constant(is_constant_float, (void*)(intptr_t) _field_);
414 }
416  return make_constant(is_constant_logical, (void*)(intptr_t) _field_);
417 }
420 }
422  return make_constant(is_constant_call, (void*)(intptr_t) _field_);
423 }
426 }
427 
428 /* CONTROLMAP
429  */
431  return (controlmap) gen_copy_tree((gen_chunk*) p);
432 }
434  gen_free((gen_chunk*) p);
435 }
438 }
440  check_controlmap(p);
441  return gen_consistent_p((gen_chunk*) p);
442 }
444  return gen_defined_p((gen_chunk*) p);
445 }
448 }
450  check_controlmap(r);
451  check_controlmap(v);
452  message_assert("defined references to domain controlmap",
454  memcpy(r, v, sizeof(struct _newgen_struct_controlmap_));
455 }
457  // should clear up contents...
458  free(p);
459 }
460 void write_controlmap(FILE* f, controlmap p) {
461  gen_write(f, (gen_chunk*) p);
462 }
464  return (controlmap) gen_read(f);
465 }
468 }
470  return (control) (intptr_t)HASH_GET(p, p, controlmap_hash_table(f), k);
471 }
474 }
477 }
479  return (control)(intptr_t) HASH_DELETE(p, p, controlmap_hash_table(f), k);
480 }
482  return (intptr_t)HASH_BOUND_P(p, p, controlmap_hash_table(f), k);
483 }
484 
485 /* CONTROL
486  */
488  return (control) gen_copy_tree((gen_chunk*) p);
489 }
491  gen_free((gen_chunk*) p);
492 }
494  return (control) gen_check((gen_chunk*) p, control_domain);
495 }
497  check_control(p);
498  return gen_consistent_p((gen_chunk*) p);
499 }
501  return gen_defined_p((gen_chunk*) p);
502 }
505 }
507  check_control(r);
508  check_control(v);
509  message_assert("defined references to domain control",
511  memcpy(r, v, sizeof(struct _newgen_struct_control_));
512 }
514  // should clear up contents...
515  free(p);
516 }
517 void write_control(FILE* f, control p) {
518  gen_write(f, (gen_chunk*) p);
519 }
521  return (control) gen_read(f);
522 }
524  return (control) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, control_domain, a1, a2, a3);
525 }
526 
527 /* DIMENSION
528  */
530  return (dimension) gen_copy_tree((gen_chunk*) p);
531 }
533  gen_free((gen_chunk*) p);
534 }
537 }
539  check_dimension(p);
540  return gen_consistent_p((gen_chunk*) p);
541 }
543  return gen_defined_p((gen_chunk*) p);
544 }
547 }
549  check_dimension(r);
550  check_dimension(v);
551  message_assert("defined references to domain dimension",
553  memcpy(r, v, sizeof(struct _newgen_struct_dimension_));
554 }
556  // should clear up contents...
557  free(p);
558 }
559 void write_dimension(FILE* f, dimension p) {
560  gen_write(f, (gen_chunk*) p);
561 }
563  return (dimension) gen_read(f);
564 }
566  return (dimension) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, dimension_domain, a1, a2, a3);
567 }
568 
569 /* DUMMY
570  */
572  return (dummy) gen_copy_tree((gen_chunk*) p);
573 }
574 void free_dummy(dummy p) {
575  gen_free((gen_chunk*) p);
576 }
578  return (dummy) gen_check((gen_chunk*) p, dummy_domain);
579 }
581  check_dummy(p);
582  return gen_consistent_p((gen_chunk*) p);
583 }
585  return gen_defined_p((gen_chunk*) p);
586 }
588  return gen_typed_cons(DUMMY_NEWGEN_DOMAIN, p, l);
589 }
591  check_dummy(r);
592  check_dummy(v);
593  message_assert("defined references to domain dummy",
595  memcpy(r, v, sizeof(struct _newgen_struct_dummy_));
596 }
598  // should clear up contents...
599  free(p);
600 }
601 void write_dummy(FILE* f, dummy p) {
602  gen_write(f, (gen_chunk*) p);
603 }
605  return (dummy) gen_read(f);
606 }
608  switch (tag) {
609  case is_dummy_unknown: return "unknown";
610  case is_dummy_identifier: return "identifier";
611  default: return string_undefined;
612  }
613 }
614 dummy make_dummy(enum dummy_utype tag, void * val) {
615  return (dummy) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, dummy_domain, tag, val);
616 }
618  return make_dummy(is_dummy_unknown, UU);
619 }
621  return make_dummy(is_dummy_identifier, (void*)(intptr_t) _field_);
622 }
623 
624 /* ENTITY_INT
625  */
627  return (entity_int) gen_copy_tree((gen_chunk*) p);
628 }
630  gen_free((gen_chunk*) p);
631 }
634 }
636  check_entity_int(p);
637  return gen_consistent_p((gen_chunk*) p);
638 }
640  return gen_defined_p((gen_chunk*) p);
641 }
644 }
646  check_entity_int(r);
647  check_entity_int(v);
648  message_assert("defined references to domain entity_int",
650  memcpy(r, v, sizeof(struct _newgen_struct_entity_int_));
651 }
653  // should clear up contents...
654  free(p);
655 }
656 void write_entity_int(FILE* f, entity_int p) {
657  gen_write(f, (gen_chunk*) p);
658 }
660  return (entity_int) gen_read(f);
661 }
664 }
666  return (intptr_t) (intptr_t)HASH_GET(p, i, entity_int_hash_table(f), k);
667 }
670 }
673 }
675  return (intptr_t)(intptr_t) HASH_DELETE(p, i, entity_int_hash_table(f), k);
676 }
678  return (intptr_t)HASH_BOUND_P(p, i, entity_int_hash_table(f), k);
679 }
680 
681 /* ENTITY_TO_ENTITY
682  */
685 }
687  gen_free((gen_chunk*) p);
688 }
691 }
694  return gen_consistent_p((gen_chunk*) p);
695 }
697  return gen_defined_p((gen_chunk*) p);
698 }
701 }
705  message_assert("defined references to domain entity_to_entity",
707  memcpy(r, v, sizeof(struct _newgen_struct_entity_to_entity_));
708 }
710  // should clear up contents...
711  free(p);
712 }
714  gen_write(f, (gen_chunk*) p);
715 }
717  return (entity_to_entity) gen_read(f);
718 }
721 }
724 }
727 }
730 }
733 }
736 }
737 
738 /* EVALUATION
739  */
741  return (evaluation) gen_copy_tree((gen_chunk*) p);
742 }
744  gen_free((gen_chunk*) p);
745 }
748 }
750  check_evaluation(p);
751  return gen_consistent_p((gen_chunk*) p);
752 }
754  return gen_defined_p((gen_chunk*) p);
755 }
758 }
760  check_evaluation(r);
761  check_evaluation(v);
762  message_assert("defined references to domain evaluation",
764  memcpy(r, v, sizeof(struct _newgen_struct_evaluation_));
765 }
767  // should clear up contents...
768  free(p);
769 }
770 void write_evaluation(FILE* f, evaluation p) {
771  gen_write(f, (gen_chunk*) p);
772 }
774  return (evaluation) gen_read(f);
775 }
777  switch (tag) {
778  case is_evaluation_before: return "before";
779  case is_evaluation_after: return "after";
780  default: return string_undefined;
781  }
782 }
785 }
788 }
791 }
792 
793 /* EXECUTION
794  */
796  return (execution) gen_copy_tree((gen_chunk*) p);
797 }
799  gen_free((gen_chunk*) p);
800 }
803 }
805  check_execution(p);
806  return gen_consistent_p((gen_chunk*) p);
807 }
809  return gen_defined_p((gen_chunk*) p);
810 }
813 }
815  check_execution(r);
816  check_execution(v);
817  message_assert("defined references to domain execution",
819  memcpy(r, v, sizeof(struct _newgen_struct_execution_));
820 }
822  // should clear up contents...
823  free(p);
824 }
825 void write_execution(FILE* f, execution p) {
826  gen_write(f, (gen_chunk*) p);
827 }
829  return (execution) gen_read(f);
830 }
832  switch (tag) {
833  case is_execution_sequential: return "sequential";
834  case is_execution_parallel: return "parallel";
835  default: return string_undefined;
836  }
837 }
839  return (execution) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, execution_domain, tag, val);
840 }
843 }
846 }
847 
848 /* EXPRESSION
849  */
851  return (expression) gen_copy_tree((gen_chunk*) p);
852 }
854  gen_free((gen_chunk*) p);
855 }
858 }
860  check_expression(p);
861  return gen_consistent_p((gen_chunk*) p);
862 }
864  return gen_defined_p((gen_chunk*) p);
865 }
868 }
870  check_expression(r);
871  check_expression(v);
872  message_assert("defined references to domain expression",
874  memcpy(r, v, sizeof(struct _newgen_struct_expression_));
875 }
877  // should clear up contents...
878  free(p);
879 }
880 void write_expression(FILE* f, expression p) {
881  gen_write(f, (gen_chunk*) p);
882 }
884  return (expression) gen_read(f);
885 }
887  return (expression) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, expression_domain, a1, a2);
888 }
889 
890 /* EXTENSION
891  */
893  return (extension) gen_copy_tree((gen_chunk*) p);
894 }
896  gen_free((gen_chunk*) p);
897 }
900 }
902  check_extension(p);
903  return gen_consistent_p((gen_chunk*) p);
904 }
906  return gen_defined_p((gen_chunk*) p);
907 }
910 }
912  check_extension(r);
913  check_extension(v);
914  message_assert("defined references to domain extension",
916  memcpy(r, v, sizeof(struct _newgen_struct_extension_));
917 }
919  // should clear up contents...
920  free(p);
921 }
922 void write_extension(FILE* f, extension p) {
923  gen_write(f, (gen_chunk*) p);
924 }
926  return (extension) gen_read(f);
927 }
929  switch (tag) {
930  case is_extension_pragma: return "pragma";
931  case is_extension_unknown: return "unknown";
932  default: return string_undefined;
933  }
934 }
936  return (extension) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, extension_domain, tag, val);
937 }
939  return make_extension(is_extension_pragma, (void*)(intptr_t) _field_);
940 }
943 }
944 
945 /* EXTENSIONS
946  */
948  return (extensions) gen_copy_tree((gen_chunk*) p);
949 }
951  gen_free((gen_chunk*) p);
952 }
955 }
957  check_extensions(p);
958  return gen_consistent_p((gen_chunk*) p);
959 }
961  return gen_defined_p((gen_chunk*) p);
962 }
965 }
967  check_extensions(r);
968  check_extensions(v);
969  message_assert("defined references to domain extensions",
971  memcpy(r, v, sizeof(struct _newgen_struct_extensions_));
972 }
974  // should clear up contents...
975  free(p);
976 }
977 void write_extensions(FILE* f, extensions p) {
978  gen_write(f, (gen_chunk*) p);
979 }
981  return (extensions) gen_read(f);
982 }
985 }
986 
987 /* FORLOOP
988  */
990  return (forloop) gen_copy_tree((gen_chunk*) p);
991 }
993  gen_free((gen_chunk*) p);
994 }
996  return (forloop) gen_check((gen_chunk*) p, forloop_domain);
997 }
999  check_forloop(p);
1000  return gen_consistent_p((gen_chunk*) p);
1001 }
1003  return gen_defined_p((gen_chunk*) p);
1004 }
1006  return gen_typed_cons(FORLOOP_NEWGEN_DOMAIN, p, l);
1007 }
1009  check_forloop(r);
1010  check_forloop(v);
1011  message_assert("defined references to domain forloop",
1013  memcpy(r, v, sizeof(struct _newgen_struct_forloop_));
1014 }
1016  // should clear up contents...
1017  free(p);
1018 }
1019 void write_forloop(FILE* f, forloop p) {
1020  gen_write(f, (gen_chunk*) p);
1021 }
1023  return (forloop) gen_read(f);
1024 }
1026  return (forloop) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, forloop_domain, a1, a2, a3, a4);
1027 }
1028 
1029 /* FORMAL
1030  */
1032  return (formal) gen_copy_tree((gen_chunk*) p);
1033 }
1035  gen_free((gen_chunk*) p);
1036 }
1038  return (formal) gen_check((gen_chunk*) p, formal_domain);
1039 }
1041  check_formal(p);
1042  return gen_consistent_p((gen_chunk*) p);
1043 }
1045  return gen_defined_p((gen_chunk*) p);
1046 }
1048  return gen_typed_cons(FORMAL_NEWGEN_DOMAIN, p, l);
1049 }
1051  check_formal(r);
1052  check_formal(v);
1053  message_assert("defined references to domain formal",
1055  memcpy(r, v, sizeof(struct _newgen_struct_formal_));
1056 }
1058  // should clear up contents...
1059  free(p);
1060 }
1061 void write_formal(FILE* f, formal p) {
1062  gen_write(f, (gen_chunk*) p);
1063 }
1065  return (formal) gen_read(f);
1066 }
1068  return (formal) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, formal_domain, a1, a2);
1069 }
1070 
1071 /* FUNCTIONAL
1072  */
1074  return (functional) gen_copy_tree((gen_chunk*) p);
1075 }
1077  gen_free((gen_chunk*) p);
1078 }
1081 }
1083  check_functional(p);
1084  return gen_consistent_p((gen_chunk*) p);
1085 }
1087  return gen_defined_p((gen_chunk*) p);
1088 }
1091 }
1093  check_functional(r);
1094  check_functional(v);
1095  message_assert("defined references to domain functional",
1097  memcpy(r, v, sizeof(struct _newgen_struct_functional_));
1098 }
1100  // should clear up contents...
1101  free(p);
1102 }
1104  gen_write(f, (gen_chunk*) p);
1105 }
1107  return (functional) gen_read(f);
1108 }
1110  return (functional) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, functional_domain, a1, a2);
1111 }
1112 
1113 /* INSTRUCTION
1114  */
1116  return (instruction) gen_copy_tree((gen_chunk*) p);
1117 }
1119  gen_free((gen_chunk*) p);
1120 }
1123 }
1125  check_instruction(p);
1126  return gen_consistent_p((gen_chunk*) p);
1127 }
1129  return gen_defined_p((gen_chunk*) p);
1130 }
1133 }
1135  check_instruction(r);
1136  check_instruction(v);
1137  message_assert("defined references to domain instruction",
1139  memcpy(r, v, sizeof(struct _newgen_struct_instruction_));
1140 }
1142  // should clear up contents...
1143  free(p);
1144 }
1146  gen_write(f, (gen_chunk*) p);
1147 }
1149  return (instruction) gen_read(f);
1150 }
1152  switch (tag) {
1153  case is_instruction_sequence: return "sequence";
1154  case is_instruction_test: return "test";
1155  case is_instruction_loop: return "loop";
1156  case is_instruction_whileloop: return "whileloop";
1157  case is_instruction_goto: return "goto";
1158  case is_instruction_call: return "call";
1159  case is_instruction_unstructured: return "unstructured";
1160  case is_instruction_multitest: return "multitest";
1161  case is_instruction_forloop: return "forloop";
1162  case is_instruction_expression: return "expression";
1163  default: return string_undefined;
1164  }
1165 }
1168 }
1170  return make_instruction(is_instruction_sequence, (void*)(intptr_t) _field_);
1171 }
1173  return make_instruction(is_instruction_test, (void*)(intptr_t) _field_);
1174 }
1176  return make_instruction(is_instruction_loop, (void*)(intptr_t) _field_);
1177 }
1179  return make_instruction(is_instruction_whileloop, (void*)(intptr_t) _field_);
1180 }
1182  return make_instruction(is_instruction_goto, (void*)(intptr_t) _field_);
1183 }
1185  return make_instruction(is_instruction_call, (void*)(intptr_t) _field_);
1186 }
1188  return make_instruction(is_instruction_unstructured, (void*)(intptr_t) _field_);
1189 }
1191  return make_instruction(is_instruction_multitest, (void*)(intptr_t) _field_);
1192 }
1194  return make_instruction(is_instruction_forloop, (void*)(intptr_t) _field_);
1195 }
1197  return make_instruction(is_instruction_expression, (void*)(intptr_t) _field_);
1198 }
1199 
1200 /* LANGUAGE
1201  */
1203  return (language) gen_copy_tree((gen_chunk*) p);
1204 }
1206  gen_free((gen_chunk*) p);
1207 }
1209  return (language) gen_check((gen_chunk*) p, language_domain);
1210 }
1212  check_language(p);
1213  return gen_consistent_p((gen_chunk*) p);
1214 }
1216  return gen_defined_p((gen_chunk*) p);
1217 }
1219  return gen_typed_cons(LANGUAGE_NEWGEN_DOMAIN, p, l);
1220 }
1222  check_language(r);
1223  check_language(v);
1224  message_assert("defined references to domain language",
1226  memcpy(r, v, sizeof(struct _newgen_struct_language_));
1227 }
1229  // should clear up contents...
1230  free(p);
1231 }
1232 void write_language(FILE* f, language p) {
1233  gen_write(f, (gen_chunk*) p);
1234 }
1236  return (language) gen_read(f);
1237 }
1239  switch (tag) {
1240  case is_language_fortran: return "fortran";
1241  case is_language_c: return "c";
1242  case is_language_fortran95: return "fortran95";
1243  case is_language_unknown: return "unknown";
1244  default: return string_undefined;
1245  }
1246 }
1248  return (language) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, language_domain, tag, val);
1249 }
1252 }
1254  return make_language(is_language_c, UU);
1255 }
1258 }
1261 }
1262 
1263 /* LOOP
1264  */
1266  return (loop) gen_copy_tree((gen_chunk*) p);
1267 }
1268 void free_loop(loop p) {
1269  gen_free((gen_chunk*) p);
1270 }
1272  return (loop) gen_check((gen_chunk*) p, loop_domain);
1273 }
1275  check_loop(p);
1276  return gen_consistent_p((gen_chunk*) p);
1277 }
1279  return gen_defined_p((gen_chunk*) p);
1280 }
1282  return gen_typed_cons(LOOP_NEWGEN_DOMAIN, p, l);
1283 }
1285  check_loop(r);
1286  check_loop(v);
1287  message_assert("defined references to domain loop",
1288  loop_defined_p(r) && loop_defined_p(v));
1289  memcpy(r, v, sizeof(struct _newgen_struct_loop_));
1290 }
1292  // should clear up contents...
1293  free(p);
1294 }
1295 void write_loop(FILE* f, loop p) {
1296  gen_write(f, (gen_chunk*) p);
1297 }
1298 loop read_loop(FILE* f) {
1299  return (loop) gen_read(f);
1300 }
1302  return (loop) gen_alloc(7*sizeof(gen_chunk), GEN_CHECK_ALLOC, loop_domain, a1, a2, a3, a4, a5, a6);
1303 }
1304 
1305 /* MODE
1306  */
1308  return (mode) gen_copy_tree((gen_chunk*) p);
1309 }
1310 void free_mode(mode p) {
1311  gen_free((gen_chunk*) p);
1312 }
1314  return (mode) gen_check((gen_chunk*) p, mode_domain);
1315 }
1317  check_mode(p);
1318  return gen_consistent_p((gen_chunk*) p);
1319 }
1321  return gen_defined_p((gen_chunk*) p);
1322 }
1324  return gen_typed_cons(MODE_NEWGEN_DOMAIN, p, l);
1325 }
1327  check_mode(r);
1328  check_mode(v);
1329  message_assert("defined references to domain mode",
1330  mode_defined_p(r) && mode_defined_p(v));
1331  memcpy(r, v, sizeof(struct _newgen_struct_mode_));
1332 }
1334  // should clear up contents...
1335  free(p);
1336 }
1337 void write_mode(FILE* f, mode p) {
1338  gen_write(f, (gen_chunk*) p);
1339 }
1340 mode read_mode(FILE* f) {
1341  return (mode) gen_read(f);
1342 }
1344  switch (tag) {
1345  case is_mode_value: return "value";
1346  case is_mode_reference: return "reference";
1347  default: return string_undefined;
1348  }
1349 }
1350 mode make_mode(enum mode_utype tag, void * val) {
1351  return (mode) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, mode_domain, tag, val);
1352 }
1354  return make_mode(is_mode_value, UU);
1355 }
1357  return make_mode(is_mode_reference, UU);
1358 }
1359 
1360 /* MULTITEST
1361  */
1363  return (multitest) gen_copy_tree((gen_chunk*) p);
1364 }
1366  gen_free((gen_chunk*) p);
1367 }
1370 }
1372  check_multitest(p);
1373  return gen_consistent_p((gen_chunk*) p);
1374 }
1376  return gen_defined_p((gen_chunk*) p);
1377 }
1380 }
1382  check_multitest(r);
1383  check_multitest(v);
1384  message_assert("defined references to domain multitest",
1386  memcpy(r, v, sizeof(struct _newgen_struct_multitest_));
1387 }
1389  // should clear up contents...
1390  free(p);
1391 }
1392 void write_multitest(FILE* f, multitest p) {
1393  gen_write(f, (gen_chunk*) p);
1394 }
1396  return (multitest) gen_read(f);
1397 }
1399  return (multitest) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, multitest_domain, a1, a2);
1400 }
1401 
1402 /* NORMALIZED
1403  */
1405  return (normalized) gen_copy_tree((gen_chunk*) p);
1406 }
1408  gen_free((gen_chunk*) p);
1409 }
1412 }
1414  check_normalized(p);
1415  return gen_consistent_p((gen_chunk*) p);
1416 }
1418  return gen_defined_p((gen_chunk*) p);
1419 }
1422 }
1424  check_normalized(r);
1425  check_normalized(v);
1426  message_assert("defined references to domain normalized",
1428  memcpy(r, v, sizeof(struct _newgen_struct_normalized_));
1429 }
1431  // should clear up contents...
1432  free(p);
1433 }
1435  gen_write(f, (gen_chunk*) p);
1436 }
1438  return (normalized) gen_read(f);
1439 }
1441  switch (tag) {
1442  case is_normalized_linear: return "linear";
1443  case is_normalized_complex: return "complex";
1444  default: return string_undefined;
1445  }
1446 }
1448  return (normalized) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, normalized_domain, tag, val);
1449 }
1451  return make_normalized(is_normalized_linear, (void*)(intptr_t) _field_);
1452 }
1455 }
1456 
1457 /* PARAMETER
1458  */
1460  return (parameter) gen_copy_tree((gen_chunk*) p);
1461 }
1463  gen_free((gen_chunk*) p);
1464 }
1467 }
1469  check_parameter(p);
1470  return gen_consistent_p((gen_chunk*) p);
1471 }
1473  return gen_defined_p((gen_chunk*) p);
1474 }
1477 }
1479  check_parameter(r);
1480  check_parameter(v);
1481  message_assert("defined references to domain parameter",
1483  memcpy(r, v, sizeof(struct _newgen_struct_parameter_));
1484 }
1486  // should clear up contents...
1487  free(p);
1488 }
1489 void write_parameter(FILE* f, parameter p) {
1490  gen_write(f, (gen_chunk*) p);
1491 }
1493  return (parameter) gen_read(f);
1494 }
1496  return (parameter) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, parameter_domain, a1, a2, a3);
1497 }
1498 
1499 /* PERSISTANT_STATEMENT_TO_CLUSTER
1500  */
1503 }
1505  gen_free((gen_chunk*) p);
1506 }
1509 }
1512  return gen_consistent_p((gen_chunk*) p);
1513 }
1515  return gen_defined_p((gen_chunk*) p);
1516 }
1519 }
1523  message_assert("defined references to domain persistant_statement_to_cluster",
1525  memcpy(r, v, sizeof(struct _newgen_struct_persistant_statement_to_cluster_));
1526 }
1528  // should clear up contents...
1529  free(p);
1530 }
1532  gen_write(f, (gen_chunk*) p);
1533 }
1536 }
1539 }
1542 }
1545 }
1548 }
1551 }
1554 }
1555 
1556 /* PERSISTANT_STATEMENT_TO_CONTROL
1557  */
1560 }
1562  gen_free((gen_chunk*) p);
1563 }
1566 }
1569  return gen_consistent_p((gen_chunk*) p);
1570 }
1572  return gen_defined_p((gen_chunk*) p);
1573 }
1576 }
1580  message_assert("defined references to domain persistant_statement_to_control",
1582  memcpy(r, v, sizeof(struct _newgen_struct_persistant_statement_to_control_));
1583 }
1585  // should clear up contents...
1586  free(p);
1587 }
1589  gen_write(f, (gen_chunk*) p);
1590 }
1593 }
1596 }
1599 }
1602 }
1605 }
1608 }
1611 }
1612 
1613 /* PERSISTANT_STATEMENT_TO_INT
1614  */
1617 }
1619  gen_free((gen_chunk*) p);
1620 }
1623 }
1626  return gen_consistent_p((gen_chunk*) p);
1627 }
1629  return gen_defined_p((gen_chunk*) p);
1630 }
1633 }
1637  message_assert("defined references to domain persistant_statement_to_int",
1639  memcpy(r, v, sizeof(struct _newgen_struct_persistant_statement_to_int_));
1640 }
1642  // should clear up contents...
1643  free(p);
1644 }
1646  gen_write(f, (gen_chunk*) p);
1647 }
1650 }
1653 }
1656 }
1659 }
1662 }
1665 }
1668 }
1669 
1670 /* PERSISTANT_STATEMENT_TO_STATEMENT
1671  */
1674 }
1676  gen_free((gen_chunk*) p);
1677 }
1680 }
1683  return gen_consistent_p((gen_chunk*) p);
1684 }
1686  return gen_defined_p((gen_chunk*) p);
1687 }
1690 }
1694  message_assert("defined references to domain persistant_statement_to_statement",
1696  memcpy(r, v, sizeof(struct _newgen_struct_persistant_statement_to_statement_));
1697 }
1699  // should clear up contents...
1700  free(p);
1701 }
1703  gen_write(f, (gen_chunk*) p);
1704 }
1707 }
1710 }
1713 }
1716 }
1719 }
1722 }
1725 }
1726 
1727 /* PRAGMA
1728  */
1730  return (pragma) gen_copy_tree((gen_chunk*) p);
1731 }
1733  gen_free((gen_chunk*) p);
1734 }
1736  return (pragma) gen_check((gen_chunk*) p, pragma_domain);
1737 }
1739  check_pragma(p);
1740  return gen_consistent_p((gen_chunk*) p);
1741 }
1743  return gen_defined_p((gen_chunk*) p);
1744 }
1746  return gen_typed_cons(PRAGMA_NEWGEN_DOMAIN, p, l);
1747 }
1749  check_pragma(r);
1750  check_pragma(v);
1751  message_assert("defined references to domain pragma",
1753  memcpy(r, v, sizeof(struct _newgen_struct_pragma_));
1754 }
1756  // should clear up contents...
1757  free(p);
1758 }
1759 void write_pragma(FILE* f, pragma p) {
1760  gen_write(f, (gen_chunk*) p);
1761 }
1763  return (pragma) gen_read(f);
1764 }
1766  switch (tag) {
1767  case is_pragma_string: return "string";
1768  case is_pragma_expression: return "expression";
1769  default: return string_undefined;
1770  }
1771 }
1772 pragma make_pragma(enum pragma_utype tag, void * val) {
1773  return (pragma) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, pragma_domain, tag, val);
1774 }
1775 pragma make_pragma_string(string _field_) {
1776  return make_pragma(is_pragma_string, (void*)(intptr_t) _field_);
1777 }
1779  return make_pragma(is_pragma_expression, (void*)(intptr_t) _field_);
1780 }
1781 
1782 /* PREDICATE
1783  */
1785  return (predicate) gen_copy_tree((gen_chunk*) p);
1786 }
1788  gen_free((gen_chunk*) p);
1789 }
1792 }
1794  check_predicate(p);
1795  return gen_consistent_p((gen_chunk*) p);
1796 }
1798  return gen_defined_p((gen_chunk*) p);
1799 }
1802 }
1804  check_predicate(r);
1805  check_predicate(v);
1806  message_assert("defined references to domain predicate",
1808  memcpy(r, v, sizeof(struct _newgen_struct_predicate_));
1809 }
1811  // should clear up contents...
1812  free(p);
1813 }
1814 void write_predicate(FILE* f, predicate p) {
1815  gen_write(f, (gen_chunk*) p);
1816 }
1818  return (predicate) gen_read(f);
1819 }
1821  return (predicate) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, predicate_domain, a1);
1822 }
1823 
1824 /* PREFERENCE
1825  */
1827  return (preference) gen_copy_tree((gen_chunk*) p);
1828 }
1830  gen_free((gen_chunk*) p);
1831 }
1834 }
1836  check_preference(p);
1837  return gen_consistent_p((gen_chunk*) p);
1838 }
1840  return gen_defined_p((gen_chunk*) p);
1841 }
1844 }
1846  check_preference(r);
1847  check_preference(v);
1848  message_assert("defined references to domain preference",
1850  memcpy(r, v, sizeof(struct _newgen_struct_preference_));
1851 }
1853  // should clear up contents...
1854  free(p);
1855 }
1857  gen_write(f, (gen_chunk*) p);
1858 }
1860  return (preference) gen_read(f);
1861 }
1864 }
1865 
1866 /* QUALIFIER
1867  */
1869  return (qualifier) gen_copy_tree((gen_chunk*) p);
1870 }
1872  gen_free((gen_chunk*) p);
1873 }
1876 }
1878  check_qualifier(p);
1879  return gen_consistent_p((gen_chunk*) p);
1880 }
1882  return gen_defined_p((gen_chunk*) p);
1883 }
1886 }
1888  check_qualifier(r);
1889  check_qualifier(v);
1890  message_assert("defined references to domain qualifier",
1892  memcpy(r, v, sizeof(struct _newgen_struct_qualifier_));
1893 }
1895  // should clear up contents...
1896  free(p);
1897 }
1898 void write_qualifier(FILE* f, qualifier p) {
1899  gen_write(f, (gen_chunk*) p);
1900 }
1902  return (qualifier) gen_read(f);
1903 }
1905  switch (tag) {
1906  case is_qualifier_const: return "const";
1907  case is_qualifier_restrict: return "restrict";
1908  case is_qualifier_volatile: return "volatile";
1909  case is_qualifier_register: return "register";
1910  case is_qualifier_auto: return "auto";
1911  case is_qualifier_thread: return "thread";
1912  case is_qualifier_asm: return "asm";
1913  case is_qualifier_static_dimension: return "static_dimension";
1914  case is_qualifier_local: return "local";
1915  case is_qualifier_global: return "global";
1916  case is_qualifier_constant: return "constant";
1917  case is_qualifier_private: return "private";
1918  default: return string_undefined;
1919  }
1920 }
1922  return (qualifier) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, qualifier_domain, tag, val);
1923 }
1926 }
1929 }
1932 }
1935 }
1938 }
1941 }
1943  return make_qualifier(is_qualifier_asm, (void*)(intptr_t) _field_);
1944 }
1947 }
1950 }
1953 }
1956 }
1959 }
1960 
1961 /* RAM
1962  */
1964  return (ram) gen_copy_tree((gen_chunk*) p);
1965 }
1966 void free_ram(ram p) {
1967  gen_free((gen_chunk*) p);
1968 }
1970  return (ram) gen_check((gen_chunk*) p, ram_domain);
1971 }
1973  check_ram(p);
1974  return gen_consistent_p((gen_chunk*) p);
1975 }
1977  return gen_defined_p((gen_chunk*) p);
1978 }
1980  return gen_typed_cons(RAM_NEWGEN_DOMAIN, p, l);
1981 }
1983  check_ram(r);
1984  check_ram(v);
1985  message_assert("defined references to domain ram",
1986  ram_defined_p(r) && ram_defined_p(v));
1987  memcpy(r, v, sizeof(struct _newgen_struct_ram_));
1988 }
1990  // should clear up contents...
1991  free(p);
1992 }
1993 void write_ram(FILE* f, ram p) {
1994  gen_write(f, (gen_chunk*) p);
1995 }
1996 ram read_ram(FILE* f) {
1997  return (ram) gen_read(f);
1998 }
2000  return (ram) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, ram_domain, a1, a2, a3, a4);
2001 }
2002 
2003 /* RANGE
2004  */
2006  return (range) gen_copy_tree((gen_chunk*) p);
2007 }
2009  gen_free((gen_chunk*) p);
2010 }
2012  return (range) gen_check((gen_chunk*) p, range_domain);
2013 }
2015  check_range(p);
2016  return gen_consistent_p((gen_chunk*) p);
2017 }
2019  return gen_defined_p((gen_chunk*) p);
2020 }
2022  return gen_typed_cons(RANGE_NEWGEN_DOMAIN, p, l);
2023 }
2025  check_range(r);
2026  check_range(v);
2027  message_assert("defined references to domain range",
2028  range_defined_p(r) && range_defined_p(v));
2029  memcpy(r, v, sizeof(struct _newgen_struct_range_));
2030 }
2032  // should clear up contents...
2033  free(p);
2034 }
2035 void write_range(FILE* f, range p) {
2036  gen_write(f, (gen_chunk*) p);
2037 }
2039  return (range) gen_read(f);
2040 }
2042  return (range) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, range_domain, a1, a2, a3);
2043 }
2044 
2045 /* REFERENCE
2046  */
2048  return (reference) gen_copy_tree((gen_chunk*) p);
2049 }
2051  gen_free((gen_chunk*) p);
2052 }
2055 }
2057  check_reference(p);
2058  return gen_consistent_p((gen_chunk*) p);
2059 }
2061  return gen_defined_p((gen_chunk*) p);
2062 }
2065 }
2067  check_reference(r);
2068  check_reference(v);
2069  message_assert("defined references to domain reference",
2071  memcpy(r, v, sizeof(struct _newgen_struct_reference_));
2072 }
2074  // should clear up contents...
2075  free(p);
2076 }
2077 void write_reference(FILE* f, reference p) {
2078  gen_write(f, (gen_chunk*) p);
2079 }
2081  return (reference) gen_read(f);
2082 }
2084  return (reference) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, reference_domain, a1, a2);
2085 }
2086 
2087 /* SEQUENCE
2088  */
2090  return (sequence) gen_copy_tree((gen_chunk*) p);
2091 }
2093  gen_free((gen_chunk*) p);
2094 }
2096  return (sequence) gen_check((gen_chunk*) p, sequence_domain);
2097 }
2099  check_sequence(p);
2100  return gen_consistent_p((gen_chunk*) p);
2101 }
2103  return gen_defined_p((gen_chunk*) p);
2104 }
2106  return gen_typed_cons(SEQUENCE_NEWGEN_DOMAIN, p, l);
2107 }
2109  check_sequence(r);
2110  check_sequence(v);
2111  message_assert("defined references to domain sequence",
2113  memcpy(r, v, sizeof(struct _newgen_struct_sequence_));
2114 }
2116  // should clear up contents...
2117  free(p);
2118 }
2119 void write_sequence(FILE* f, sequence p) {
2120  gen_write(f, (gen_chunk*) p);
2121 }
2123  return (sequence) gen_read(f);
2124 }
2126  return (sequence) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, sequence_domain, a);
2127 }
2128 
2129 /* SIZEOFEXPRESSION
2130  */
2132  return (sizeofexpression) gen_copy_tree((gen_chunk*) p);
2133 }
2135  gen_free((gen_chunk*) p);
2136 }
2139 }
2142  return gen_consistent_p((gen_chunk*) p);
2143 }
2145  return gen_defined_p((gen_chunk*) p);
2146 }
2149 }
2153  message_assert("defined references to domain sizeofexpression",
2155  memcpy(r, v, sizeof(struct _newgen_struct_sizeofexpression_));
2156 }
2158  // should clear up contents...
2159  free(p);
2160 }
2162  gen_write(f, (gen_chunk*) p);
2163 }
2165  return (sizeofexpression) gen_read(f);
2166 }
2168  switch (tag) {
2169  case is_sizeofexpression_type: return "type";
2170  case is_sizeofexpression_expression: return "expression";
2171  default: return string_undefined;
2172  }
2173 }
2176 }
2178  return make_sizeofexpression(is_sizeofexpression_type, (void*)(intptr_t) _field_);
2179 }
2182 }
2183 
2184 /* STATEMENT
2185  */
2187  return (statement) gen_copy_tree((gen_chunk*) p);
2188 }
2190  gen_free((gen_chunk*) p);
2191 }
2194 }
2196  check_statement(p);
2197  return gen_consistent_p((gen_chunk*) p);
2198 }
2200  return gen_defined_p((gen_chunk*) p);
2201 }
2204 }
2206  check_statement(r);
2207  check_statement(v);
2208  message_assert("defined references to domain statement",
2210  memcpy(r, v, sizeof(struct _newgen_struct_statement_));
2211 }
2213  // should clear up contents...
2214  free(p);
2215 }
2216 void write_statement(FILE* f, statement p) {
2217  gen_write(f, (gen_chunk*) p);
2218 }
2220  return (statement) gen_read(f);
2221 }
2222 statement make_statement(entity a1, intptr_t a2, intptr_t a3, string a4, instruction a5, list a6, string a7, extensions a8, synchronization a9) {
2223  return (statement) gen_alloc(10*sizeof(gen_chunk), GEN_CHECK_ALLOC, statement_domain, a1, a2, a3, a4, a5, a6, a7, a8, a9);
2224 }
2225 
2226 /* STORAGE
2227  */
2229  return (storage) gen_copy_tree((gen_chunk*) p);
2230 }
2232  gen_free((gen_chunk*) p);
2233 }
2235  return (storage) gen_check((gen_chunk*) p, storage_domain);
2236 }
2238  check_storage(p);
2239  return gen_consistent_p((gen_chunk*) p);
2240 }
2242  return gen_defined_p((gen_chunk*) p);
2243 }
2245  return gen_typed_cons(STORAGE_NEWGEN_DOMAIN, p, l);
2246 }
2248  check_storage(r);
2249  check_storage(v);
2250  message_assert("defined references to domain storage",
2252  memcpy(r, v, sizeof(struct _newgen_struct_storage_));
2253 }
2255  // should clear up contents...
2256  free(p);
2257 }
2258 void write_storage(FILE* f, storage p) {
2259  gen_write(f, (gen_chunk*) p);
2260 }
2262  return (storage) gen_read(f);
2263 }
2265  switch (tag) {
2266  case is_storage_return: return "return";
2267  case is_storage_ram: return "ram";
2268  case is_storage_formal: return "formal";
2269  case is_storage_rom: return "rom";
2270  default: return string_undefined;
2271  }
2272 }
2274  return (storage) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, storage_domain, tag, val);
2275 }
2277  return make_storage(is_storage_return, (void*)(intptr_t) _field_);
2278 }
2280  return make_storage(is_storage_ram, (void*)(intptr_t) _field_);
2281 }
2283  return make_storage(is_storage_formal, (void*)(intptr_t) _field_);
2284 }
2286  return make_storage(is_storage_rom, UU);
2287 }
2288 
2289 /* SUBSCRIPT
2290  */
2292  return (subscript) gen_copy_tree((gen_chunk*) p);
2293 }
2295  gen_free((gen_chunk*) p);
2296 }
2299 }
2301  check_subscript(p);
2302  return gen_consistent_p((gen_chunk*) p);
2303 }
2305  return gen_defined_p((gen_chunk*) p);
2306 }
2309 }
2311  check_subscript(r);
2312  check_subscript(v);
2313  message_assert("defined references to domain subscript",
2315  memcpy(r, v, sizeof(struct _newgen_struct_subscript_));
2316 }
2318  // should clear up contents...
2319  free(p);
2320 }
2321 void write_subscript(FILE* f, subscript p) {
2322  gen_write(f, (gen_chunk*) p);
2323 }
2325  return (subscript) gen_read(f);
2326 }
2328  return (subscript) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, subscript_domain, a1, a2);
2329 }
2330 
2331 /* SYMBOLIC
2332  */
2334  return (symbolic) gen_copy_tree((gen_chunk*) p);
2335 }
2337  gen_free((gen_chunk*) p);
2338 }
2340  return (symbolic) gen_check((gen_chunk*) p, symbolic_domain);
2341 }
2343  check_symbolic(p);
2344  return gen_consistent_p((gen_chunk*) p);
2345 }
2347  return gen_defined_p((gen_chunk*) p);
2348 }
2350  return gen_typed_cons(SYMBOLIC_NEWGEN_DOMAIN, p, l);
2351 }
2353  check_symbolic(r);
2354  check_symbolic(v);
2355  message_assert("defined references to domain symbolic",
2357  memcpy(r, v, sizeof(struct _newgen_struct_symbolic_));
2358 }
2360  // should clear up contents...
2361  free(p);
2362 }
2363 void write_symbolic(FILE* f, symbolic p) {
2364  gen_write(f, (gen_chunk*) p);
2365 }
2367  return (symbolic) gen_read(f);
2368 }
2370  return (symbolic) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, symbolic_domain, a1, a2);
2371 }
2372 
2373 /* SYNCHRONIZATION
2374  */
2376  return (synchronization) gen_copy_tree((gen_chunk*) p);
2377 }
2379  gen_free((gen_chunk*) p);
2380 }
2383 }
2386  return gen_consistent_p((gen_chunk*) p);
2387 }
2389  return gen_defined_p((gen_chunk*) p);
2390 }
2393 }
2397  message_assert("defined references to domain synchronization",
2399  memcpy(r, v, sizeof(struct _newgen_struct_synchronization_));
2400 }
2402  // should clear up contents...
2403  free(p);
2404 }
2406  gen_write(f, (gen_chunk*) p);
2407 }
2409  return (synchronization) gen_read(f);
2410 }
2412  switch (tag) {
2413  case is_synchronization_none: return "none";
2414  case is_synchronization_spawn: return "spawn";
2415  case is_synchronization_barrier: return "barrier";
2416  case is_synchronization_single: return "single";
2417  case is_synchronization_critical: return "critical";
2418  default: return string_undefined;
2419  }
2420 }
2423 }
2426 }
2428  return make_synchronization(is_synchronization_spawn, (void*)(intptr_t) _field_);
2429 }
2432 }
2434  return make_synchronization(is_synchronization_single, (void*)(intptr_t) _field_);
2435 }
2437  return make_synchronization(is_synchronization_critical, (void*)(intptr_t) _field_);
2438 }
2439 
2440 /* SYNTAX
2441  */
2443  return (syntax) gen_copy_tree((gen_chunk*) p);
2444 }
2446  gen_free((gen_chunk*) p);
2447 }
2449  return (syntax) gen_check((gen_chunk*) p, syntax_domain);
2450 }
2452  check_syntax(p);
2453  return gen_consistent_p((gen_chunk*) p);
2454 }
2456  return gen_defined_p((gen_chunk*) p);
2457 }
2459  return gen_typed_cons(SYNTAX_NEWGEN_DOMAIN, p, l);
2460 }
2462  check_syntax(r);
2463  check_syntax(v);
2464  message_assert("defined references to domain syntax",
2466  memcpy(r, v, sizeof(struct _newgen_struct_syntax_));
2467 }
2469  // should clear up contents...
2470  free(p);
2471 }
2472 void write_syntax(FILE* f, syntax p) {
2473  gen_write(f, (gen_chunk*) p);
2474 }
2476  return (syntax) gen_read(f);
2477 }
2479  switch (tag) {
2480  case is_syntax_reference: return "reference";
2481  case is_syntax_range: return "range";
2482  case is_syntax_call: return "call";
2483  case is_syntax_cast: return "cast";
2484  case is_syntax_sizeofexpression: return "sizeofexpression";
2485  case is_syntax_subscript: return "subscript";
2486  case is_syntax_application: return "application";
2487  case is_syntax_va_arg: return "va_arg";
2488  default: return string_undefined;
2489  }
2490 }
2491 syntax make_syntax(enum syntax_utype tag, void * val) {
2492  return (syntax) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, syntax_domain, tag, val);
2493 }
2495  return make_syntax(is_syntax_reference, (void*)(intptr_t) _field_);
2496 }
2498  return make_syntax(is_syntax_range, (void*)(intptr_t) _field_);
2499 }
2501  return make_syntax(is_syntax_call, (void*)(intptr_t) _field_);
2502 }
2504  return make_syntax(is_syntax_cast, (void*)(intptr_t) _field_);
2505 }
2507  return make_syntax(is_syntax_sizeofexpression, (void*)(intptr_t) _field_);
2508 }
2510  return make_syntax(is_syntax_subscript, (void*)(intptr_t) _field_);
2511 }
2513  return make_syntax(is_syntax_application, (void*)(intptr_t) _field_);
2514 }
2516  return make_syntax(is_syntax_va_arg, (void*)(intptr_t) _field_);
2517 }
2518 
2519 /* ENTITY
2520  */
2522  return (entity) gen_copy_tree((gen_chunk*) p);
2523 }
2525  gen_free((gen_chunk*) p);
2526 }
2528  return (entity) gen_check((gen_chunk*) p, entity_domain);
2529 }
2531  check_entity(p);
2532  return gen_consistent_p((gen_chunk*) p);
2533 }
2535  return gen_defined_p((gen_chunk*) p);
2536 }
2538  return gen_typed_cons(ENTITY_NEWGEN_DOMAIN, p, l);
2539 }
2541  check_entity(r);
2542  check_entity(v);
2543  message_assert("defined references to domain entity",
2545  memcpy(r, v, sizeof(struct _newgen_struct_entity_));
2546 }
2548  // should clear up contents...
2549  free(p);
2550 }
2553 }
2556 }
2558  int domain = gen_read_tabulated(f, 0);
2559  if (domain!=entity_domain) {
2560  fprintf(stderr, "[newgen internal error]""inconsistent domain number for entity: %d (expecting %d)\n",
2562  abort();
2563  }
2564 }
2565 entity make_entity(string a1, type a2, storage a3, value a4, intptr_t a5) {
2566  return (entity) gen_alloc(7*sizeof(gen_chunk), GEN_CHECK_ALLOC, entity_domain, a1, a2, a3, a4, a5);
2567 }
2568 
2569 /* TEST
2570  */
2572  return (test) gen_copy_tree((gen_chunk*) p);
2573 }
2574 void free_test(test p) {
2575  gen_free((gen_chunk*) p);
2576 }
2578  return (test) gen_check((gen_chunk*) p, test_domain);
2579 }
2581  check_test(p);
2582  return gen_consistent_p((gen_chunk*) p);
2583 }
2585  return gen_defined_p((gen_chunk*) p);
2586 }
2588  return gen_typed_cons(TEST_NEWGEN_DOMAIN, p, l);
2589 }
2591  check_test(r);
2592  check_test(v);
2593  message_assert("defined references to domain test",
2594  test_defined_p(r) && test_defined_p(v));
2595  memcpy(r, v, sizeof(struct _newgen_struct_test_));
2596 }
2598  // should clear up contents...
2599  free(p);
2600 }
2601 void write_test(FILE* f, test p) {
2602  gen_write(f, (gen_chunk*) p);
2603 }
2604 test read_test(FILE* f) {
2605  return (test) gen_read(f);
2606 }
2608  return (test) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, test_domain, a1, a2, a3);
2609 }
2610 
2611 /* TRANSFORMER
2612  */
2614  return (transformer) gen_copy_tree((gen_chunk*) p);
2615 }
2617  gen_free((gen_chunk*) p);
2618 }
2621 }
2623  check_transformer(p);
2624  return gen_consistent_p((gen_chunk*) p);
2625 }
2627  return gen_defined_p((gen_chunk*) p);
2628 }
2631 }
2633  check_transformer(r);
2634  check_transformer(v);
2635  message_assert("defined references to domain transformer",
2637  memcpy(r, v, sizeof(struct _newgen_struct_transformer_));
2638 }
2640  // should clear up contents...
2641  free(p);
2642 }
2644  gen_write(f, (gen_chunk*) p);
2645 }
2647  return (transformer) gen_read(f);
2648 }
2650  return (transformer) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, transformer_domain, a1, a2);
2651 }
2652 
2653 /* TYPE
2654  */
2656  return (type) gen_copy_tree((gen_chunk*) p);
2657 }
2658 void free_type(type p) {
2659  gen_free((gen_chunk*) p);
2660 }
2662  return (type) gen_check((gen_chunk*) p, type_domain);
2663 }
2665  check_type(p);
2666  return gen_consistent_p((gen_chunk*) p);
2667 }
2669  return gen_defined_p((gen_chunk*) p);
2670 }
2672  return gen_typed_cons(TYPE_NEWGEN_DOMAIN, p, l);
2673 }
2675  check_type(r);
2676  check_type(v);
2677  message_assert("defined references to domain type",
2678  type_defined_p(r) && type_defined_p(v));
2679  memcpy(r, v, sizeof(struct _newgen_struct_type_));
2680 }
2682  // should clear up contents...
2683  free(p);
2684 }
2685 void write_type(FILE* f, type p) {
2686  gen_write(f, (gen_chunk*) p);
2687 }
2688 type read_type(FILE* f) {
2689  return (type) gen_read(f);
2690 }
2692  switch (tag) {
2693  case is_type_statement: return "statement";
2694  case is_type_area: return "area";
2695  case is_type_variable: return "variable";
2696  case is_type_functional: return "functional";
2697  case is_type_varargs: return "varargs";
2698  case is_type_unknown: return "unknown";
2699  case is_type_void: return "void";
2700  case is_type_struct: return "struct";
2701  case is_type_union: return "union";
2702  case is_type_enum: return "enum";
2703  default: return string_undefined;
2704  }
2705 }
2706 type make_type(enum type_utype tag, void * val) {
2707  return (type) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, type_domain, tag, val);
2708 }
2710  return make_type(is_type_statement, UU);
2711 }
2713  return make_type(is_type_area, (void*)(intptr_t) _field_);
2714 }
2716  return make_type(is_type_variable, (void*)(intptr_t) _field_);
2717 }
2719  return make_type(is_type_functional, (void*)(intptr_t) _field_);
2720 }
2722  return make_type(is_type_varargs, (void*)(intptr_t) _field_);
2723 }
2725  return make_type(is_type_unknown, UU);
2726 }
2728  return make_type(is_type_void, (void*)(intptr_t) _field_);
2729 }
2731  return make_type(is_type_struct, (void*)(intptr_t) _field_);
2732 }
2734  return make_type(is_type_union, (void*)(intptr_t) _field_);
2735 }
2737  return make_type(is_type_enum, (void*)(intptr_t) _field_);
2738 }
2739 
2740 /* UNSTRUCTURED
2741  */
2743  return (unstructured) gen_copy_tree((gen_chunk*) p);
2744 }
2746  gen_free((gen_chunk*) p);
2747 }
2750 }
2752  check_unstructured(p);
2753  return gen_consistent_p((gen_chunk*) p);
2754 }
2756  return gen_defined_p((gen_chunk*) p);
2757 }
2760 }
2762  check_unstructured(r);
2763  check_unstructured(v);
2764  message_assert("defined references to domain unstructured",
2766  memcpy(r, v, sizeof(struct _newgen_struct_unstructured_));
2767 }
2769  // should clear up contents...
2770  free(p);
2771 }
2773  gen_write(f, (gen_chunk*) p);
2774 }
2776  return (unstructured) gen_read(f);
2777 }
2779  return (unstructured) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, unstructured_domain, a1, a2);
2780 }
2781 
2782 /* VALUE
2783  */
2785  return (value) gen_copy_tree((gen_chunk*) p);
2786 }
2788  gen_free((gen_chunk*) p);
2789 }
2791  return (value) gen_check((gen_chunk*) p, value_domain);
2792 }
2794  check_value(p);
2795  return gen_consistent_p((gen_chunk*) p);
2796 }
2798  return gen_defined_p((gen_chunk*) p);
2799 }
2801  return gen_typed_cons(VALUE_NEWGEN_DOMAIN, p, l);
2802 }
2804  check_value(r);
2805  check_value(v);
2806  message_assert("defined references to domain value",
2807  value_defined_p(r) && value_defined_p(v));
2808  memcpy(r, v, sizeof(struct _newgen_struct_value_));
2809 }
2811  // should clear up contents...
2812  free(p);
2813 }
2814 void write_value(FILE* f, value p) {
2815  gen_write(f, (gen_chunk*) p);
2816 }
2818  return (value) gen_read(f);
2819 }
2821  switch (tag) {
2822  case is_value_code: return "code";
2823  case is_value_symbolic: return "symbolic";
2824  case is_value_constant: return "constant";
2825  case is_value_intrinsic: return "intrinsic";
2826  case is_value_unknown: return "unknown";
2827  case is_value_expression: return "expression";
2828  case is_value_reference: return "reference";
2829  default: return string_undefined;
2830  }
2831 }
2832 value make_value(enum value_utype tag, void * val) {
2833  return (value) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, value_domain, tag, val);
2834 }
2836  return make_value(is_value_code, (void*)(intptr_t) _field_);
2837 }
2839  return make_value(is_value_symbolic, (void*)(intptr_t) _field_);
2840 }
2842  return make_value(is_value_constant, (void*)(intptr_t) _field_);
2843 }
2845  return make_value(is_value_intrinsic, UU);
2846 }
2848  return make_value(is_value_unknown, UU);
2849 }
2851  return make_value(is_value_expression, (void*)(intptr_t) _field_);
2852 }
2854  return make_value(is_value_reference, (void*)(intptr_t) _field_);
2855 }
2856 
2857 /* VARIABLE
2858  */
2860  return (variable) gen_copy_tree((gen_chunk*) p);
2861 }
2863  gen_free((gen_chunk*) p);
2864 }
2866  return (variable) gen_check((gen_chunk*) p, variable_domain);
2867 }
2869  check_variable(p);
2870  return gen_consistent_p((gen_chunk*) p);
2871 }
2873  return gen_defined_p((gen_chunk*) p);
2874 }
2876  return gen_typed_cons(VARIABLE_NEWGEN_DOMAIN, p, l);
2877 }
2879  check_variable(r);
2880  check_variable(v);
2881  message_assert("defined references to domain variable",
2883  memcpy(r, v, sizeof(struct _newgen_struct_variable_));
2884 }
2886  // should clear up contents...
2887  free(p);
2888 }
2889 void write_variable(FILE* f, variable p) {
2890  gen_write(f, (gen_chunk*) p);
2891 }
2893  return (variable) gen_read(f);
2894 }
2896  return (variable) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, variable_domain, a1, a2, a3);
2897 }
2898 
2899 /* WHILELOOP
2900  */
2902  return (whileloop) gen_copy_tree((gen_chunk*) p);
2903 }
2905  gen_free((gen_chunk*) p);
2906 }
2909 }
2911  check_whileloop(p);
2912  return gen_consistent_p((gen_chunk*) p);
2913 }
2915  return gen_defined_p((gen_chunk*) p);
2916 }
2919 }
2921  check_whileloop(r);
2922  check_whileloop(v);
2923  message_assert("defined references to domain whileloop",
2925  memcpy(r, v, sizeof(struct _newgen_struct_whileloop_));
2926 }
2928  // should clear up contents...
2929  free(p);
2930 }
2931 void write_whileloop(FILE* f, whileloop p) {
2932  gen_write(f, (gen_chunk*) p);
2933 }
2935  return (whileloop) gen_read(f);
2936 }
2938  return (whileloop) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, whileloop_domain, a1, a2, a3, a4);
2939 }
2940 
instruction make_instruction_loop(loop _field_)
Definition: ri.c:1175
list gen_multitest_cons(multitest p, list l)
Definition: ri.c:1378
bool entity_int_defined_p(entity_int p)
Definition: ri.c:639
bool execution_consistent_p(execution p)
Definition: ri.c:804
void free_transformer(transformer p)
Definition: ri.c:2616
list gen_area_cons(area p, list l)
Definition: ri.c:78
void functional_assign_contents(functional r, functional v)
Definition: ri.c:1092
bool application_defined_p(application p)
Definition: ri.c:33
bool pragma_consistent_p(pragma p)
Definition: ri.c:1738
dummy make_dummy_identifier(entity _field_)
Definition: ri.c:620
void free_forloop(forloop p)
Definition: ri.c:992
normalized copy_normalized(normalized p)
NORMALIZED.
Definition: ri.c:1404
syntax make_syntax_application(application _field_)
Definition: ri.c:2512
qualifier make_qualifier_static_dimension(void)
Definition: ri.c:1945
void write_code(FILE *f, code p)
Definition: ri.c:347
void free_application(application p)
Definition: ri.c:23
list gen_persistant_statement_to_int_cons(persistant_statement_to_int p, list l)
Definition: ri.c:1631
bool sizeofexpression_defined_p(sizeofexpression p)
Definition: ri.c:2144
list gen_constant_cons(constant p, list l)
Definition: ri.c:375
void write_call(FILE *f, call p)
Definition: ri.c:263
bool preference_consistent_p(preference p)
Definition: ri.c:1835
void free_functional(functional p)
Definition: ri.c:1076
list gen_value_cons(value p, list l)
Definition: ri.c:2800
callees check_callees(callees p)
Definition: ri.c:197
void free_persistant_statement_to_statement(persistant_statement_to_statement p)
Definition: ri.c:1675
bool instruction_consistent_p(instruction p)
Definition: ri.c:1124
formal read_formal(FILE *f)
Definition: ri.c:1064
void write_whileloop(FILE *f, whileloop p)
Definition: ri.c:2931
void free_normalized(normalized p)
Definition: ri.c:1407
void * Pvecteur
Definition: ri.c:7
void whileloop_non_recursive_free(whileloop p)
Definition: ri.c:2927
list gen_expression_cons(expression p, list l)
Definition: ri.c:866
bool persistant_statement_to_control_defined_p(persistant_statement_to_control p)
Definition: ri.c:1571
transformer make_transformer(list a1, predicate a2)
Definition: ri.c:2649
call read_call(FILE *f)
Definition: ri.c:266
string normalized_tag_as_string(enum normalized_utype tag)
Definition: ri.c:1440
void write_variable(FILE *f, variable p)
Definition: ri.c:2889
unstructured make_unstructured(control a1, control a2)
Definition: ri.c:2778
extension make_extension(enum extension_utype tag, void *val)
Definition: ri.c:935
void write_formal(FILE *f, formal p)
Definition: ri.c:1061
void free_sizeofexpression(sizeofexpression p)
Definition: ri.c:2134
list gen_application_cons(application p, list l)
Definition: ri.c:36
void update_controlmap(controlmap f, statement k, control v)
Definition: ri.c:472
predicate copy_predicate(predicate p)
PREDICATE.
Definition: ri.c:1784
functional make_functional(list a1, type a2)
Definition: ri.c:1109
synchronization check_synchronization(synchronization p)
Definition: ri.c:2381
intptr_t apply_entity_int(entity_int f, entity k)
Definition: ri.c:665
qualifier make_qualifier_constant(void)
Definition: ri.c:1954
void write_entity_int(FILE *f, entity_int p)
Definition: ri.c:656
constant read_constant(FILE *f)
Definition: ri.c:392
synchronization copy_synchronization(synchronization p)
SYNCHRONIZATION.
Definition: ri.c:2375
instruction read_instruction(FILE *f)
Definition: ri.c:1148
cast make_cast(type a1, expression a2)
Definition: ri.c:311
dummy make_dummy(enum dummy_utype tag, void *val)
Definition: ri.c:614
language make_language_fortran95(void)
Definition: ri.c:1256
void update_persistant_statement_to_cluster(persistant_statement_to_cluster f, intptr_t k, intptr_t v)
Definition: ri.c:1543
execution make_execution(enum execution_utype tag, void *val)
Definition: ri.c:838
bool evaluation_consistent_p(evaluation p)
Definition: ri.c:749
multitest copy_multitest(multitest p)
MULTITEST.
Definition: ri.c:1362
void test_non_recursive_free(test p)
Definition: ri.c:2597
void write_synchronization(FILE *f, synchronization p)
Definition: ri.c:2405
void entity_assign_contents(entity r, entity v)
Definition: ri.c:2540
bool type_defined_p(type p)
Definition: ri.c:2668
void call_non_recursive_free(call p)
Definition: ri.c:259
void range_non_recursive_free(range p)
Definition: ri.c:2031
void reference_non_recursive_free(reference p)
Definition: ri.c:2073
evaluation make_evaluation_before(void)
Definition: ri.c:786
bool forloop_defined_p(forloop p)
Definition: ri.c:1002
instruction copy_instruction(instruction p)
INSTRUCTION.
Definition: ri.c:1115
void update_persistant_statement_to_control(persistant_statement_to_control f, statement k, control v)
Definition: ri.c:1600
void sizeofexpression_assign_contents(sizeofexpression r, sizeofexpression v)
Definition: ri.c:2150
call make_call(entity a1, list a2)
Definition: ri.c:269
void normalized_assign_contents(normalized r, normalized v)
Definition: ri.c:1423
list gen_basic_cons(basic p, list l)
Definition: ri.c:120
area read_area(FILE *f)
Definition: ri.c:95
void basic_non_recursive_free(basic p)
Definition: ri.c:130
void persistant_statement_to_statement_non_recursive_free(persistant_statement_to_statement p)
Definition: ri.c:1698
string evaluation_tag_as_string(enum evaluation_utype tag)
Definition: ri.c:776
constant make_constant(enum constant_utype tag, void *val)
Definition: ri.c:406
string syntax_tag_as_string(enum syntax_utype tag)
Definition: ri.c:2478
bool code_consistent_p(code p)
Definition: ri.c:326
loop copy_loop(loop p)
LOOP.
Definition: ri.c:1265
bool unstructured_consistent_p(unstructured p)
Definition: ri.c:2751
bool expression_defined_p(expression p)
Definition: ri.c:863
dimension read_dimension(FILE *f)
Definition: ri.c:562
persistant_statement_to_statement read_persistant_statement_to_statement(FILE *f)
Definition: ri.c:1705
parameter copy_parameter(parameter p)
PARAMETER.
Definition: ri.c:1459
void write_area(FILE *f, area p)
Definition: ri.c:92
qualifier make_qualifier_private(void)
Definition: ri.c:1957
basic read_basic(FILE *f)
Definition: ri.c:137
bool reference_consistent_p(reference p)
Definition: ri.c:2056
void write_application(FILE *f, application p)
Definition: ri.c:50
list gen_extensions_cons(extensions p, list l)
Definition: ri.c:963
multitest read_multitest(FILE *f)
Definition: ri.c:1395
bool entity_int_consistent_p(entity_int p)
Definition: ri.c:635
void constant_assign_contents(constant r, constant v)
Definition: ri.c:378
area check_area(area p)
Definition: ri.c:68
bool multitest_consistent_p(multitest p)
Definition: ri.c:1371
void free_persistant_statement_to_cluster(persistant_statement_to_cluster p)
Definition: ri.c:1504
entity_int read_entity_int(FILE *f)
Definition: ri.c:659
basic make_basic_complex(intptr_t _field_)
Definition: ri.c:170
void write_functional(FILE *f, functional p)
Definition: ri.c:1103
normalized make_normalized(enum normalized_utype tag, void *val)
Definition: ri.c:1447
controlmap make_controlmap(void)
Definition: ri.c:466
bool controlmap_consistent_p(controlmap p)
Definition: ri.c:439
persistant_statement_to_cluster check_persistant_statement_to_cluster(persistant_statement_to_cluster p)
Definition: ri.c:1507
preference copy_preference(preference p)
PREFERENCE.
Definition: ri.c:1826
bool whileloop_defined_p(whileloop p)
Definition: ri.c:2914
void write_preference(FILE *f, preference p)
Definition: ri.c:1856
void free_extension(extension p)
Definition: ri.c:895
void variable_non_recursive_free(variable p)
Definition: ri.c:2885
void formal_assign_contents(formal r, formal v)
Definition: ri.c:1050
void entity_non_recursive_free(entity p)
Definition: ri.c:2547
preference read_preference(FILE *f)
Definition: ri.c:1859
intptr_t delete_entity_int(entity_int f, entity k)
Definition: ri.c:674
range check_range(range p)
Definition: ri.c:2011
instruction make_instruction_forloop(forloop _field_)
Definition: ri.c:1193
subscript check_subscript(subscript p)
Definition: ri.c:2297
range copy_range(range p)
RANGE.
Definition: ri.c:2005
list gen_qualifier_cons(qualifier p, list l)
Definition: ri.c:1884
void transformer_assign_contents(transformer r, transformer v)
Definition: ri.c:2632
basic make_basic_typedef(entity _field_)
Definition: ri.c:185
bool parameter_consistent_p(parameter p)
Definition: ri.c:1468
bool syntax_defined_p(syntax p)
Definition: ri.c:2455
void loop_non_recursive_free(loop p)
Definition: ri.c:1291
type read_type(FILE *f)
Definition: ri.c:2688
persistant_statement_to_int read_persistant_statement_to_int(FILE *f)
Definition: ri.c:1648
bool whileloop_consistent_p(whileloop p)
Definition: ri.c:2910
bool reference_defined_p(reference p)
Definition: ri.c:2060
void write_entity_to_entity(FILE *f, entity_to_entity p)
Definition: ri.c:713
void free_range(range p)
Definition: ri.c:2008
void write_reference(FILE *f, reference p)
Definition: ri.c:2077
persistant_statement_to_control make_persistant_statement_to_control(void)
Definition: ri.c:1594
bool persistant_statement_to_statement_consistent_p(persistant_statement_to_statement p)
Definition: ri.c:1681
list gen_pragma_cons(pragma p, list l)
Definition: ri.c:1745
value make_value_unknown(void)
Definition: ri.c:2847
basic make_basic_derived(entity _field_)
Definition: ri.c:182
value make_value_expression(expression _field_)
Definition: ri.c:2850
parameter make_parameter(type a1, mode a2, dummy a3)
Definition: ri.c:1495
sizeofexpression make_sizeofexpression_expression(expression _field_)
Definition: ri.c:2180
syntax make_syntax_call(call _field_)
Definition: ri.c:2500
bool sequence_consistent_p(sequence p)
Definition: ri.c:2098
expression make_expression(syntax a1, normalized a2)
Definition: ri.c:886
bool predicate_consistent_p(predicate p)
Definition: ri.c:1793
reference check_reference(reference p)
Definition: ri.c:2053
bool language_defined_p(language p)
Definition: ri.c:1215
bool transformer_defined_p(transformer p)
Definition: ri.c:2626
test read_test(FILE *f)
Definition: ri.c:2604
type make_type_union(list _field_)
Definition: ri.c:2733
void write_expression(FILE *f, expression p)
Definition: ri.c:880
list gen_extension_cons(extension p, list l)
Definition: ri.c:908
extensions read_extensions(FILE *f)
Definition: ri.c:980
bool functional_consistent_p(functional p)
Definition: ri.c:1082
list gen_evaluation_cons(evaluation p, list l)
Definition: ri.c:756
normalized check_normalized(normalized p)
Definition: ri.c:1410
void predicate_assign_contents(predicate r, predicate v)
Definition: ri.c:1803
void free_parameter(parameter p)
Definition: ri.c:1462
whileloop make_whileloop(expression a1, statement a2, entity a3, evaluation a4)
Definition: ri.c:2937
application make_application(expression a1, list a2)
Definition: ri.c:56
bool unstructured_defined_p(unstructured p)
Definition: ri.c:2755
void write_extensions(FILE *f, extensions p)
Definition: ri.c:977
basic make_basic_bit(symbolic _field_)
Definition: ri.c:176
bool evaluation_defined_p(evaluation p)
Definition: ri.c:753
void pragma_assign_contents(pragma r, pragma v)
Definition: ri.c:1748
void value_non_recursive_free(value p)
Definition: ri.c:2810
void free_whileloop(whileloop p)
Definition: ri.c:2904
bool bound_controlmap_p(controlmap f, statement k)
Definition: ri.c:481
void normalized_non_recursive_free(normalized p)
Definition: ri.c:1430
list gen_code_cons(code p, list l)
Definition: ri.c:333
entity_to_entity make_entity_to_entity(void)
Definition: ri.c:719
bool entity_to_entity_consistent_p(entity_to_entity p)
Definition: ri.c:692
void write_language(FILE *f, language p)
Definition: ri.c:1232
storage check_storage(storage p)
Definition: ri.c:2234
evaluation read_evaluation(FILE *f)
Definition: ri.c:773
void update_persistant_statement_to_int(persistant_statement_to_int f, statement k, intptr_t v)
Definition: ri.c:1657
value make_value_code(code _field_)
Definition: ri.c:2835
symbolic copy_symbolic(symbolic p)
SYMBOLIC.
Definition: ri.c:2333
loop make_loop(entity a1, range a2, statement a3, entity a4, execution a5, list a6)
Definition: ri.c:1301
bool symbolic_consistent_p(symbolic p)
Definition: ri.c:2342
void free_control(control p)
Definition: ri.c:490
void execution_non_recursive_free(execution p)
Definition: ri.c:821
language make_language_fortran(void)
Definition: ri.c:1250
list gen_entity_to_entity_cons(entity_to_entity p, list l)
Definition: ri.c:699
qualifier make_qualifier_local(void)
Definition: ri.c:1948
void ram_non_recursive_free(ram p)
Definition: ri.c:1989
unstructured read_unstructured(FILE *f)
Definition: ri.c:2775
mode make_mode(enum mode_utype tag, void *val)
Definition: ri.c:1350
void write_dimension(FILE *f, dimension p)
Definition: ri.c:559
subscript make_subscript(expression a1, list a2)
Definition: ri.c:2327
void entity_int_non_recursive_free(entity_int p)
Definition: ri.c:652
bool mode_defined_p(mode p)
Definition: ri.c:1320
list gen_entity_cons(entity p, list l)
Definition: ri.c:2537
instruction check_instruction(instruction p)
Definition: ri.c:1121
pragma copy_pragma(pragma p)
PRAGMA.
Definition: ri.c:1729
void storage_non_recursive_free(storage p)
Definition: ri.c:2254
void sequence_non_recursive_free(sequence p)
Definition: ri.c:2115
entity_to_entity copy_entity_to_entity(entity_to_entity p)
ENTITY_TO_ENTITY.
Definition: ri.c:683
void free_area(area p)
Definition: ri.c:65
bool formal_consistent_p(formal p)
Definition: ri.c:1040
void write_normalized(FILE *f, normalized p)
Definition: ri.c:1434
void parameter_assign_contents(parameter r, parameter v)
Definition: ri.c:1478
void language_assign_contents(language r, language v)
Definition: ri.c:1221
void formal_non_recursive_free(formal p)
Definition: ri.c:1057
cast copy_cast(cast p)
CAST.
Definition: ri.c:275
list gen_subscript_cons(subscript p, list l)
Definition: ri.c:2307
void mode_assign_contents(mode r, mode v)
Definition: ri.c:1326
void language_non_recursive_free(language p)
Definition: ri.c:1228
void free_symbolic(symbolic p)
Definition: ri.c:2336
void extend_persistant_statement_to_cluster(persistant_statement_to_cluster f, intptr_t k, intptr_t v)
Definition: ri.c:1546
void dummy_non_recursive_free(dummy p)
Definition: ri.c:597
execution check_execution(execution p)
Definition: ri.c:801
expression check_expression(expression p)
Definition: ri.c:856
type make_type_variable(variable _field_)
Definition: ri.c:2715
basic make_basic(enum basic_utype tag, void *val)
Definition: ri.c:155
void qualifier_assign_contents(qualifier r, qualifier v)
Definition: ri.c:1887
void area_assign_contents(area r, area v)
Definition: ri.c:81
string storage_tag_as_string(enum storage_utype tag)
Definition: ri.c:2264
bool persistant_statement_to_int_consistent_p(persistant_statement_to_int p)
Definition: ri.c:1624
entity_to_entity read_entity_to_entity(FILE *f)
Definition: ri.c:716
void free_ram(ram p)
Definition: ri.c:1966
bool bound_persistant_statement_to_statement_p(persistant_statement_to_statement f, statement k)
Definition: ri.c:1723
void sizeofexpression_non_recursive_free(sizeofexpression p)
Definition: ri.c:2157
void preference_assign_contents(preference r, preference v)
Definition: ri.c:1845
storage make_storage_rom(void)
Definition: ri.c:2285
entity gen_find_entity(char *s)
Definition: ri.c:2551
void multitest_non_recursive_free(multitest p)
Definition: ri.c:1388
value make_value_constant(constant _field_)
Definition: ri.c:2841
void free_entity(entity p)
Definition: ri.c:2524
functional check_functional(functional p)
Definition: ri.c:1079
syntax make_syntax_sizeofexpression(sizeofexpression _field_)
Definition: ri.c:2506
ram check_ram(ram p)
Definition: ri.c:1969
type check_type(type p)
Definition: ri.c:2661
qualifier make_qualifier_thread(void)
Definition: ri.c:1939
synchronization make_synchronization(enum synchronization_utype tag, void *val)
Definition: ri.c:2421
language read_language(FILE *f)
Definition: ri.c:1235
void extension_non_recursive_free(extension p)
Definition: ri.c:918
bool persistant_statement_to_cluster_defined_p(persistant_statement_to_cluster p)
Definition: ri.c:1514
bool pragma_defined_p(pragma p)
Definition: ri.c:1742
application check_application(application p)
Definition: ri.c:26
list gen_language_cons(language p, list l)
Definition: ri.c:1218
void application_assign_contents(application r, application v)
Definition: ri.c:39
ram copy_ram(ram p)
RAM.
Definition: ri.c:1963
mode make_mode_reference(void)
Definition: ri.c:1356
list gen_parameter_cons(parameter p, list l)
Definition: ri.c:1475
forloop check_forloop(forloop p)
Definition: ri.c:995
test copy_test(test p)
TEST.
Definition: ri.c:2571
statement apply_persistant_statement_to_statement(persistant_statement_to_statement f, statement k)
Definition: ri.c:1711
predicate make_predicate(Psysteme a1)
Definition: ri.c:1820
type copy_type(type p)
TYPE.
Definition: ri.c:2655
list gen_callees_cons(callees p, list l)
Definition: ri.c:207
list gen_variable_cons(variable p, list l)
Definition: ri.c:2875
constant make_constant_logical(intptr_t _field_)
Definition: ri.c:415
void sequence_assign_contents(sequence r, sequence v)
Definition: ri.c:2108
void persistant_statement_to_cluster_non_recursive_free(persistant_statement_to_cluster p)
Definition: ri.c:1527
void free_entity_to_entity(entity_to_entity p)
Definition: ri.c:686
qualifier read_qualifier(FILE *f)
Definition: ri.c:1901
void free_reference(reference p)
Definition: ri.c:2050
basic copy_basic(basic p)
BASIC.
Definition: ri.c:104
instruction make_instruction_expression(expression _field_)
Definition: ri.c:1196
language make_language(enum language_utype tag, void *val)
Definition: ri.c:1247
persistant_statement_to_control check_persistant_statement_to_control(persistant_statement_to_control p)
Definition: ri.c:1564
void callees_assign_contents(callees r, callees v)
Definition: ri.c:210
void write_persistant_statement_to_cluster(FILE *f, persistant_statement_to_cluster p)
Definition: ri.c:1531
normalized read_normalized(FILE *f)
Definition: ri.c:1437
void statement_assign_contents(statement r, statement v)
Definition: ri.c:2205
pragma read_pragma(FILE *f)
Definition: ri.c:1762
sizeofexpression check_sizeofexpression(sizeofexpression p)
Definition: ri.c:2137
void qualifier_non_recursive_free(qualifier p)
Definition: ri.c:1894
basic make_basic_overloaded(void)
Definition: ri.c:167
predicate read_predicate(FILE *f)
Definition: ri.c:1817
cast read_cast(FILE *f)
Definition: ri.c:308
void write_controlmap(FILE *f, controlmap p)
Definition: ri.c:460
void write_storage(FILE *f, storage p)
Definition: ri.c:2258
qualifier make_qualifier_restrict(void)
Definition: ri.c:1927
void write_mode(FILE *f, mode p)
Definition: ri.c:1337
void free_callees(callees p)
Definition: ri.c:194
bool predicate_defined_p(predicate p)
Definition: ri.c:1797
persistant_statement_to_control copy_persistant_statement_to_control(persistant_statement_to_control p)
PERSISTANT_STATEMENT_TO_CONTROL.
Definition: ri.c:1558
list gen_controlmap_cons(controlmap p, list l)
Definition: ri.c:446
control check_control(control p)
Definition: ri.c:493
parameter read_parameter(FILE *f)
Definition: ri.c:1492
void entity_to_entity_assign_contents(entity_to_entity r, entity_to_entity v)
Definition: ri.c:702
storage make_storage(enum storage_utype tag, void *val)
Definition: ri.c:2273
void write_sizeofexpression(FILE *f, sizeofexpression p)
Definition: ri.c:2161
void free_pragma(pragma p)
Definition: ri.c:1732
pragma make_pragma_expression(list _field_)
Definition: ri.c:1778
void free_constant(constant p)
Definition: ri.c:362
language make_language_unknown(void)
Definition: ri.c:1259
type make_type_struct(list _field_)
Definition: ri.c:2730
basic make_basic_int(intptr_t _field_)
Definition: ri.c:158
persistant_statement_to_statement make_persistant_statement_to_statement(void)
Definition: ri.c:1708
void update_persistant_statement_to_statement(persistant_statement_to_statement f, statement k, statement v)
Definition: ri.c:1714
ram make_ram(entity a1, entity a2, intptr_t a3, list a4)
Definition: ri.c:1999
bool multitest_defined_p(multitest p)
Definition: ri.c:1375
void update_entity_int(entity_int f, entity k, intptr_t v)
Definition: ri.c:668
bool statement_defined_p(statement p)
Definition: ri.c:2199
forloop read_forloop(FILE *f)
Definition: ri.c:1022
type make_type_functional(functional _field_)
Definition: ri.c:2718
void free_qualifier(qualifier p)
Definition: ri.c:1871
synchronization make_synchronization_critical(reference _field_)
Definition: ri.c:2436
type make_type_void(list _field_)
Definition: ri.c:2727
basic make_basic_pointer(type _field_)
Definition: ri.c:179
syntax check_syntax(syntax p)
Definition: ri.c:2448
void extensions_non_recursive_free(extensions p)
Definition: ri.c:973
bool test_defined_p(test p)
Definition: ri.c:2584
void free_preference(preference p)
Definition: ri.c:1829
variable copy_variable(variable p)
VARIABLE.
Definition: ri.c:2859
qualifier make_qualifier(enum qualifier_utype tag, void *val)
Definition: ri.c:1921
type make_type_statement(void)
Definition: ri.c:2709
bool entity_defined_p(entity p)
Definition: ri.c:2534
bool value_consistent_p(value p)
Definition: ri.c:2793
list gen_dimension_cons(dimension p, list l)
Definition: ri.c:545
expression copy_expression(expression p)
EXPRESSION.
Definition: ri.c:850
constant make_constant_float(float _field_)
Definition: ri.c:412
intptr_t delete_persistant_statement_to_cluster(persistant_statement_to_cluster f, intptr_t k)
Definition: ri.c:1549
void read_tabulated_entity(FILE *f)
Definition: ri.c:2557
statement copy_statement(statement p)
STATEMENT.
Definition: ri.c:2186
void unstructured_assign_contents(unstructured r, unstructured v)
Definition: ri.c:2761
void expression_non_recursive_free(expression p)
Definition: ri.c:876
void write_parameter(FILE *f, parameter p)
Definition: ri.c:1489
string sizeofexpression_tag_as_string(enum sizeofexpression_utype tag)
Definition: ri.c:2167
void extend_persistant_statement_to_statement(persistant_statement_to_statement f, statement k, statement v)
Definition: ri.c:1717
string extension_tag_as_string(enum extension_utype tag)
Definition: ri.c:928
value make_value(enum value_utype tag, void *val)
Definition: ri.c:2832
application copy_application(application p)
APPLICATION.
Definition: ri.c:20
void dummy_assign_contents(dummy r, dummy v)
Definition: ri.c:590
bool controlmap_defined_p(controlmap p)
Definition: ri.c:443
list gen_ram_cons(ram p, list l)
Definition: ri.c:1979
reference make_reference(entity a1, list a2)
Definition: ri.c:2083
void persistant_statement_to_int_non_recursive_free(persistant_statement_to_int p)
Definition: ri.c:1641
list gen_dummy_cons(dummy p, list l)
Definition: ri.c:587
list gen_persistant_statement_to_control_cons(persistant_statement_to_control p, list l)
Definition: ri.c:1574
void free_extensions(extensions p)
Definition: ri.c:950
bool bound_entity_to_entity_p(entity_to_entity f, entity k)
Definition: ri.c:734
bool execution_defined_p(execution p)
Definition: ri.c:808
void predicate_non_recursive_free(predicate p)
Definition: ri.c:1810
void callees_non_recursive_free(callees p)
Definition: ri.c:217
bool transformer_consistent_p(transformer p)
Definition: ri.c:2622
void reference_assign_contents(reference r, reference v)
Definition: ri.c:2066
subscript copy_subscript(subscript p)
SUBSCRIPT.
Definition: ri.c:2291
constant make_constant_call(entity _field_)
Definition: ri.c:421
string constant_tag_as_string(enum constant_utype tag)
Definition: ri.c:395
void extensions_assign_contents(extensions r, extensions v)
Definition: ri.c:966
value make_value_reference(reference _field_)
Definition: ri.c:2853
void extend_persistant_statement_to_int(persistant_statement_to_int f, statement k, intptr_t v)
Definition: ri.c:1660
value check_value(value p)
Definition: ri.c:2790
synchronization make_synchronization_single(bool _field_)
Definition: ri.c:2433
bool persistant_statement_to_cluster_consistent_p(persistant_statement_to_cluster p)
Definition: ri.c:1510
whileloop copy_whileloop(whileloop p)
WHILELOOP.
Definition: ri.c:2901
void write_cast(FILE *f, cast p)
Definition: ri.c:305
void instruction_non_recursive_free(instruction p)
Definition: ri.c:1141
sizeofexpression copy_sizeofexpression(sizeofexpression p)
SIZEOFEXPRESSION.
Definition: ri.c:2131
bool dimension_consistent_p(dimension p)
Definition: ri.c:538
bool statement_consistent_p(statement p)
Definition: ri.c:2195
language copy_language(language p)
LANGUAGE.
Definition: ri.c:1202
list gen_formal_cons(formal p, list l)
Definition: ri.c:1047
void persistant_statement_to_int_assign_contents(persistant_statement_to_int r, persistant_statement_to_int v)
Definition: ri.c:1634
test make_test(expression a1, statement a2, statement a3)
Definition: ri.c:2607
forloop copy_forloop(forloop p)
FORLOOP.
Definition: ri.c:989
void evaluation_non_recursive_free(evaluation p)
Definition: ri.c:766
statement delete_persistant_statement_to_statement(persistant_statement_to_statement f, statement k)
Definition: ri.c:1720
bool loop_defined_p(loop p)
Definition: ri.c:1278
list gen_range_cons(range p, list l)
Definition: ri.c:2021
bool formal_defined_p(formal p)
Definition: ri.c:1044
void write_instruction(FILE *f, instruction p)
Definition: ri.c:1145
bool range_consistent_p(range p)
Definition: ri.c:2014
void loop_assign_contents(loop r, loop v)
Definition: ri.c:1284
bool forloop_consistent_p(forloop p)
Definition: ri.c:998
preference check_preference(preference p)
Definition: ri.c:1832
void subscript_non_recursive_free(subscript p)
Definition: ri.c:2317
void multitest_assign_contents(multitest r, multitest v)
Definition: ri.c:1381
void forloop_non_recursive_free(forloop p)
Definition: ri.c:1015
void synchronization_non_recursive_free(synchronization p)
Definition: ri.c:2401
entity_to_entity check_entity_to_entity(entity_to_entity p)
Definition: ri.c:689
entity check_entity(entity p)
Definition: ri.c:2527
intptr_t delete_persistant_statement_to_int(persistant_statement_to_int f, statement k)
Definition: ri.c:1663
list gen_sequence_cons(sequence p, list l)
Definition: ri.c:2105
bool storage_defined_p(storage p)
Definition: ri.c:2241
void symbolic_non_recursive_free(symbolic p)
Definition: ri.c:2359
void write_test(FILE *f, test p)
Definition: ri.c:2601
bool language_consistent_p(language p)
Definition: ri.c:1211
control copy_control(control p)
CONTROL.
Definition: ri.c:487
extensions make_extensions(list a)
Definition: ri.c:983
functional copy_functional(functional p)
FUNCTIONAL.
Definition: ri.c:1073
constant make_constant_int(intptr_t _field_)
Definition: ri.c:409
persistant_statement_to_int check_persistant_statement_to_int(persistant_statement_to_int p)
Definition: ri.c:1621
void extension_assign_contents(extension r, extension v)
Definition: ri.c:911
void cast_assign_contents(cast r, cast v)
Definition: ri.c:294
basic make_basic_float(intptr_t _field_)
Definition: ri.c:161
bool area_consistent_p(area p)
Definition: ri.c:71
void execution_assign_contents(execution r, execution v)
Definition: ri.c:814
void write_pragma(FILE *f, pragma p)
Definition: ri.c:1759
void synchronization_assign_contents(synchronization r, synchronization v)
Definition: ri.c:2394
void persistant_statement_to_control_non_recursive_free(persistant_statement_to_control p)
Definition: ri.c:1584
void subscript_assign_contents(subscript r, subscript v)
Definition: ri.c:2310
code check_code(code p)
Definition: ri.c:323
list gen_control_cons(control p, list l)
Definition: ri.c:503
dimension make_dimension(expression a1, expression a2, list a3)
Definition: ri.c:565
dimension copy_dimension(dimension p)
DIMENSION.
Definition: ri.c:529
void write_sequence(FILE *f, sequence p)
Definition: ri.c:2119
void range_assign_contents(range r, range v)
Definition: ri.c:2024
bool value_defined_p(value p)
Definition: ri.c:2797
list gen_symbolic_cons(symbolic p, list l)
Definition: ri.c:2349
bool normalized_consistent_p(normalized p)
Definition: ri.c:1413
void syntax_non_recursive_free(syntax p)
Definition: ri.c:2468
reference read_reference(FILE *f)
Definition: ri.c:2080
string language_tag_as_string(enum language_utype tag)
Definition: ri.c:1238
extensions check_extensions(extensions p)
Definition: ri.c:953
sizeofexpression make_sizeofexpression_type(type _field_)
Definition: ri.c:2177
void storage_assign_contents(storage r, storage v)
Definition: ri.c:2247
bool code_defined_p(code p)
Definition: ri.c:330
void syntax_assign_contents(syntax r, syntax v)
Definition: ri.c:2461
execution make_execution_sequential(void)
Definition: ri.c:841
string dummy_tag_as_string(enum dummy_utype tag)
Definition: ri.c:607
statement make_statement(entity a1, intptr_t a2, intptr_t a3, string a4, instruction a5, list a6, string a7, extensions a8, synchronization a9)
Definition: ri.c:2222
symbolic make_symbolic(expression a1, constant a2)
Definition: ri.c:2369
void entity_int_assign_contents(entity_int r, entity_int v)
Definition: ri.c:645
bool dummy_consistent_p(dummy p)
Definition: ri.c:580
bool persistant_statement_to_int_defined_p(persistant_statement_to_int p)
Definition: ri.c:1628
bool qualifier_consistent_p(qualifier p)
Definition: ri.c:1877
variable read_variable(FILE *f)
Definition: ri.c:2892
type make_type_area(area _field_)
Definition: ri.c:2712
void constant_non_recursive_free(constant p)
Definition: ri.c:385
instruction make_instruction_sequence(sequence _field_)
Definition: ri.c:1169
bool bound_persistant_statement_to_cluster_p(persistant_statement_to_cluster f, intptr_t k)
Definition: ri.c:1552
list gen_predicate_cons(predicate p, list l)
Definition: ri.c:1800
qualifier make_qualifier_register(void)
Definition: ri.c:1933
void free_formal(formal p)
Definition: ri.c:1034
list gen_entity_int_cons(entity_int p, list l)
Definition: ri.c:642
bool synchronization_defined_p(synchronization p)
Definition: ri.c:2388
bool basic_defined_p(basic p)
Definition: ri.c:117
variable make_variable(basic a1, list a2, list a3)
Definition: ri.c:2895
void preference_non_recursive_free(preference p)
Definition: ri.c:1852
evaluation copy_evaluation(evaluation p)
EVALUATION.
Definition: ri.c:740
void free_dummy(dummy p)
Definition: ri.c:574
void ram_assign_contents(ram r, ram v)
Definition: ri.c:1982
range read_range(FILE *f)
Definition: ri.c:2038
string synchronization_tag_as_string(enum synchronization_utype tag)
Definition: ri.c:2411
extension make_extension_pragma(pragma _field_)
Definition: ri.c:938
instruction make_instruction_test(test _field_)
Definition: ri.c:1172
dummy read_dummy(FILE *f)
Definition: ri.c:604
mode copy_mode(mode p)
MODE.
Definition: ri.c:1307
void free_evaluation(evaluation p)
Definition: ri.c:743
list gen_normalized_cons(normalized p, list l)
Definition: ri.c:1420
application read_application(FILE *f)
Definition: ri.c:53
instruction make_instruction_call(call _field_)
Definition: ri.c:1184
syntax make_syntax_va_arg(list _field_)
Definition: ri.c:2515
void free_multitest(multitest p)
Definition: ri.c:1365
string instruction_tag_as_string(enum instruction_utype tag)
Definition: ri.c:1151
void persistant_statement_to_statement_assign_contents(persistant_statement_to_statement r, persistant_statement_to_statement v)
Definition: ri.c:1691
entity make_entity(string a1, type a2, storage a3, value a4, intptr_t a5)
Definition: ri.c:2565
symbolic read_symbolic(FILE *f)
Definition: ri.c:2366
persistant_statement_to_int copy_persistant_statement_to_int(persistant_statement_to_int p)
PERSISTANT_STATEMENT_TO_INT.
Definition: ri.c:1615
void free_subscript(subscript p)
Definition: ri.c:2294
value copy_value(value p)
VALUE.
Definition: ri.c:2784
list gen_transformer_cons(transformer p, list l)
Definition: ri.c:2629
bool call_consistent_p(call p)
Definition: ri.c:242
basic make_basic_logical(intptr_t _field_)
Definition: ri.c:164
language check_language(language p)
Definition: ri.c:1208
qualifier make_qualifier_volatile(void)
Definition: ri.c:1930
evaluation make_evaluation(enum evaluation_utype tag, void *val)
Definition: ri.c:783
list gen_functional_cons(functional p, list l)
Definition: ri.c:1089
list gen_mode_cons(mode p, list l)
Definition: ri.c:1323
formal copy_formal(formal p)
FORMAL.
Definition: ri.c:1031
predicate check_predicate(predicate p)
Definition: ri.c:1790
test check_test(test p)
Definition: ri.c:2577
bool synchronization_consistent_p(synchronization p)
Definition: ri.c:2384
bool extensions_defined_p(extensions p)
Definition: ri.c:960
transformer check_transformer(transformer p)
Definition: ri.c:2619
variable check_variable(variable p)
Definition: ri.c:2865
formal check_formal(formal p)
Definition: ri.c:1037
void write_value(FILE *f, value p)
Definition: ri.c:2814
void write_ram(FILE *f, ram p)
Definition: ri.c:1993
expression read_expression(FILE *f)
Definition: ri.c:883
normalized make_normalized_linear(Pvecteur _field_)
Definition: ri.c:1450
list gen_loop_cons(loop p, list l)
Definition: ri.c:1281
void free_unstructured(unstructured p)
Definition: ri.c:2745
area make_area(intptr_t a1, list a2)
Definition: ri.c:98
string qualifier_tag_as_string(enum qualifier_utype tag)
Definition: ri.c:1904
code copy_code(code p)
CODE.
Definition: ri.c:317
basic make_basic_string(value _field_)
Definition: ri.c:173
void free_entity_int(entity_int p)
Definition: ri.c:629
code make_code(list a1, string a2, sequence a3, list a4, language a5)
Definition: ri.c:353
bool parameter_defined_p(parameter p)
Definition: ri.c:1472
qualifier check_qualifier(qualifier p)
Definition: ri.c:1874
bool expression_consistent_p(expression p)
Definition: ri.c:859
whileloop check_whileloop(whileloop p)
Definition: ri.c:2907
bool persistant_statement_to_control_consistent_p(persistant_statement_to_control p)
Definition: ri.c:1567
list gen_execution_cons(execution p, list l)
Definition: ri.c:811
intptr_t apply_persistant_statement_to_cluster(persistant_statement_to_cluster f, intptr_t k)
Definition: ri.c:1540
bool variable_consistent_p(variable p)
Definition: ri.c:2868
void control_non_recursive_free(control p)
Definition: ri.c:513
whileloop read_whileloop(FILE *f)
Definition: ri.c:2934
void free_controlmap(controlmap p)
Definition: ri.c:433
void write_evaluation(FILE *f, evaluation p)
Definition: ri.c:770
bool basic_consistent_p(basic p)
Definition: ri.c:113
control apply_persistant_statement_to_control(persistant_statement_to_control f, statement k)
Definition: ri.c:1597
bool control_defined_p(control p)
Definition: ri.c:500
void statement_non_recursive_free(statement p)
Definition: ri.c:2212
persistant_statement_to_cluster make_persistant_statement_to_cluster(void)
Definition: ri.c:1537
storage make_storage_formal(formal _field_)
Definition: ri.c:2282
call copy_call(call p)
CALL.
Definition: ri.c:233
bool area_defined_p(area p)
Definition: ri.c:75
void free_mode(mode p)
Definition: ri.c:1310
syntax copy_syntax(syntax p)
SYNTAX.
Definition: ri.c:2442
bool symbolic_defined_p(symbolic p)
Definition: ri.c:2346
void free_expression(expression p)
Definition: ri.c:853
void extend_entity_int(entity_int f, entity k, intptr_t v)
Definition: ri.c:671
bool cast_consistent_p(cast p)
Definition: ri.c:284
storage read_storage(FILE *f)
Definition: ri.c:2261
void free_instruction(instruction p)
Definition: ri.c:1118
void free_storage(storage p)
Definition: ri.c:2231
void write_statement(FILE *f, statement p)
Definition: ri.c:2216
void write_subscript(FILE *f, subscript p)
Definition: ri.c:2321
sequence copy_sequence(sequence p)
SEQUENCE.
Definition: ri.c:2089
void free_dimension(dimension p)
Definition: ri.c:532
intptr_t apply_persistant_statement_to_int(persistant_statement_to_int f, statement k)
Definition: ri.c:1654
value make_value_intrinsic(void)
Definition: ri.c:2844
bool constant_defined_p(constant p)
Definition: ri.c:372
language make_language_c(void)
Definition: ri.c:1253
multitest check_multitest(multitest p)
Definition: ri.c:1368
string mode_tag_as_string(enum mode_utype tag)
Definition: ri.c:1343
controlmap check_controlmap(controlmap p)
Definition: ri.c:436
value read_value(FILE *f)
Definition: ri.c:2817
void free_predicate(predicate p)
Definition: ri.c:1787
void code_non_recursive_free(code p)
Definition: ri.c:343
bool callees_defined_p(callees p)
Definition: ri.c:204
type make_type_unknown(void)
Definition: ri.c:2724
void update_entity_to_entity(entity_to_entity f, entity k, entity v)
Definition: ri.c:725
synchronization read_synchronization(FILE *f)
Definition: ri.c:2408
storage copy_storage(storage p)
STORAGE.
Definition: ri.c:2228
list gen_cast_cons(cast p, list l)
Definition: ri.c:291
unstructured copy_unstructured(unstructured p)
UNSTRUCTURED.
Definition: ri.c:2742
instruction make_instruction(enum instruction_utype tag, void *val)
Definition: ri.c:1166
bool storage_consistent_p(storage p)
Definition: ri.c:2237
void unstructured_non_recursive_free(unstructured p)
Definition: ri.c:2768
void cast_non_recursive_free(cast p)
Definition: ri.c:301
bool bound_persistant_statement_to_int_p(persistant_statement_to_int f, statement k)
Definition: ri.c:1666
entity_int make_entity_int(void)
Definition: ri.c:662
reference copy_reference(reference p)
REFERENCE.
Definition: ri.c:2047
void write_range(FILE *f, range p)
Definition: ri.c:2035
control apply_controlmap(controlmap f, statement k)
Definition: ri.c:469
bool control_consistent_p(control p)
Definition: ri.c:496
bool bound_persistant_statement_to_control_p(persistant_statement_to_control f, statement k)
Definition: ri.c:1609
mode check_mode(mode p)
Definition: ri.c:1313
syntax make_syntax_cast(cast _field_)
Definition: ri.c:2503
void basic_assign_contents(basic r, basic v)
Definition: ri.c:123
void variable_assign_contents(variable r, variable v)
Definition: ri.c:2878
list gen_instruction_cons(instruction p, list l)
Definition: ri.c:1131
cast check_cast(cast p)
Definition: ri.c:281
void free_execution(execution p)
Definition: ri.c:798
bool subscript_defined_p(subscript p)
Definition: ri.c:2304
bool entity_to_entity_defined_p(entity_to_entity p)
Definition: ri.c:696
bool dimension_defined_p(dimension p)
Definition: ri.c:542
void free_type(type p)
Definition: ri.c:2658
string basic_tag_as_string(enum basic_utype tag)
Definition: ri.c:140
void forloop_assign_contents(forloop r, forloop v)
Definition: ri.c:1008
constant make_constant_litteral(void)
Definition: ri.c:418
persistant_statement_to_statement copy_persistant_statement_to_statement(persistant_statement_to_statement p)
PERSISTANT_STATEMENT_TO_STATEMENT.
Definition: ri.c:1672
void type_non_recursive_free(type p)
Definition: ri.c:2681
void functional_non_recursive_free(functional p)
Definition: ri.c:1099
extension copy_extension(extension p)
EXTENSION.
Definition: ri.c:892
void free_persistant_statement_to_int(persistant_statement_to_int p)
Definition: ri.c:1618
list gen_persistant_statement_to_cluster_cons(persistant_statement_to_cluster p, list l)
Definition: ri.c:1517
string execution_tag_as_string(enum execution_utype tag)
Definition: ri.c:831
bool bound_entity_int_p(entity_int f, entity k)
Definition: ri.c:677
bool range_defined_p(range p)
Definition: ri.c:2018
entity copy_entity(entity p)
ENTITY.
Definition: ri.c:2521
bool loop_consistent_p(loop p)
Definition: ri.c:1274
type make_type_varargs(type _field_)
Definition: ri.c:2721
statement check_statement(statement p)
Definition: ri.c:2192
bool sizeofexpression_consistent_p(sizeofexpression p)
Definition: ri.c:2140
void extend_entity_to_entity(entity_to_entity f, entity k, entity v)
Definition: ri.c:728
basic check_basic(basic p)
Definition: ri.c:110
sizeofexpression make_sizeofexpression(enum sizeofexpression_utype tag, void *val)
Definition: ri.c:2174
list gen_statement_cons(statement p, list l)
Definition: ri.c:2202
bool instruction_defined_p(instruction p)
Definition: ri.c:1128
loop check_loop(loop p)
Definition: ri.c:1271
bool ram_defined_p(ram p)
Definition: ri.c:1976
subscript read_subscript(FILE *f)
Definition: ri.c:2324
bool qualifier_defined_p(qualifier p)
Definition: ri.c:1881
bool call_defined_p(call p)
Definition: ri.c:246
void write_symbolic(FILE *f, symbolic p)
Definition: ri.c:2363
list gen_call_cons(call p, list l)
Definition: ri.c:249
void write_tabulated_entity(FILE *f)
Definition: ri.c:2554
mode read_mode(FILE *f)
Definition: ri.c:1340
constant make_constant_unknown(void)
Definition: ri.c:424
void write_loop(FILE *f, loop p)
Definition: ri.c:1295
normalized make_normalized_complex(void)
Definition: ri.c:1453
void free_syntax(syntax p)
Definition: ri.c:2445
syntax make_syntax(enum syntax_utype tag, void *val)
Definition: ri.c:2491
void whileloop_assign_contents(whileloop r, whileloop v)
Definition: ri.c:2920
void free_test(test p)
Definition: ri.c:2574
string value_tag_as_string(enum value_utype tag)
Definition: ri.c:2820
unstructured check_unstructured(unstructured p)
Definition: ri.c:2748
void entity_to_entity_non_recursive_free(entity_to_entity p)
Definition: ri.c:709
controlmap copy_controlmap(controlmap p)
CONTROLMAP.
Definition: ri.c:430
qualifier make_qualifier_auto(void)
Definition: ri.c:1936
dummy make_dummy_unknown(void)
Definition: ri.c:617
synchronization make_synchronization_none(void)
Definition: ri.c:2424
void free_call(call p)
Definition: ri.c:236
extension check_extension(extension p)
Definition: ri.c:898
list gen_persistant_statement_to_statement_cons(persistant_statement_to_statement p, list l)
Definition: ri.c:1688
bool extensions_consistent_p(extensions p)
Definition: ri.c:956
execution copy_execution(execution p)
EXECUTION.
Definition: ri.c:795
instruction make_instruction_unstructured(unstructured _field_)
Definition: ri.c:1187
entity_int check_entity_int(entity_int p)
Definition: ri.c:632
void pragma_non_recursive_free(pragma p)
Definition: ri.c:1755
void free_basic(basic p)
Definition: ri.c:107
void evaluation_assign_contents(evaluation r, evaluation v)
Definition: ri.c:759
type make_type_enum(list _field_)
Definition: ri.c:2736
storage make_storage_ram(ram _field_)
Definition: ri.c:2279
instruction make_instruction_multitest(multitest _field_)
Definition: ri.c:1190
code read_code(FILE *f)
Definition: ri.c:350
void free_code(code p)
Definition: ri.c:320
area copy_area(area p)
AREA.
Definition: ri.c:62
persistant_statement_to_cluster copy_persistant_statement_to_cluster(persistant_statement_to_cluster p)
PERSISTANT_STATEMENT_TO_CLUSTER.
Definition: ri.c:1501
sizeofexpression read_sizeofexpression(FILE *f)
Definition: ri.c:2164
mode make_mode_value(void)
Definition: ri.c:1353
pragma make_pragma(enum pragma_utype tag, void *val)
Definition: ri.c:1772
extension read_extension(FILE *f)
Definition: ri.c:925
void write_persistant_statement_to_statement(FILE *f, persistant_statement_to_statement p)
Definition: ri.c:1702
list gen_preference_cons(preference p, list l)
Definition: ri.c:1842
void transformer_non_recursive_free(transformer p)
Definition: ri.c:2639
sequence make_sequence(list a)
Definition: ri.c:2125
void write_dummy(FILE *f, dummy p)
Definition: ri.c:601
entity_int copy_entity_int(entity_int p)
ENTITY_INT.
Definition: ri.c:626
list gen_sizeofexpression_cons(sizeofexpression p, list l)
Definition: ri.c:2147
persistant_statement_to_int make_persistant_statement_to_int(void)
Definition: ri.c:1651
list gen_reference_cons(reference p, list l)
Definition: ri.c:2063
void symbolic_assign_contents(symbolic r, symbolic v)
Definition: ri.c:2352
extensions copy_extensions(extensions p)
EXTENSIONS.
Definition: ri.c:947
qualifier copy_qualifier(qualifier p)
QUALIFIER.
Definition: ri.c:1868
storage make_storage_return(entity _field_)
Definition: ri.c:2276
callees copy_callees(callees p)
CALLEES.
Definition: ri.c:191
list gen_syntax_cons(syntax p, list l)
Definition: ri.c:2458
qualifier make_qualifier_const(void)
Definition: ri.c:1924
dummy check_dummy(dummy p)
Definition: ri.c:577
sequence check_sequence(sequence p)
Definition: ri.c:2095
void code_assign_contents(code r, code v)
Definition: ri.c:336
execution make_execution_parallel(void)
Definition: ri.c:844
control make_control(statement a1, list a2, list a3)
Definition: ri.c:523
void instruction_assign_contents(instruction r, instruction v)
Definition: ri.c:1134
bool type_consistent_p(type p)
Definition: ri.c:2664
instruction make_instruction_whileloop(whileloop _field_)
Definition: ri.c:1178
pragma make_pragma_string(string _field_)
Definition: ri.c:1775
void persistant_statement_to_cluster_assign_contents(persistant_statement_to_cluster r, persistant_statement_to_cluster v)
Definition: ri.c:1520
evaluation check_evaluation(evaluation p)
Definition: ri.c:746
bool variable_defined_p(variable p)
Definition: ri.c:2872
callees read_callees(FILE *f)
Definition: ri.c:224
void control_assign_contents(control r, control v)
Definition: ri.c:506
void free_statement(statement p)
Definition: ri.c:2189
void application_non_recursive_free(application p)
Definition: ri.c:46
multitest make_multitest(expression a1, statement a2)
Definition: ri.c:1398
constant copy_constant(constant p)
CONSTANT.
Definition: ri.c:359
void write_extension(FILE *f, extension p)
Definition: ri.c:922
void write_predicate(FILE *f, predicate p)
Definition: ri.c:1814
bool normalized_defined_p(normalized p)
Definition: ri.c:1417
string type_tag_as_string(enum type_utype tag)
Definition: ri.c:2691
ram read_ram(FILE *f)
Definition: ri.c:1996
bool dummy_defined_p(dummy p)
Definition: ri.c:584
void write_execution(FILE *f, execution p)
Definition: ri.c:825
execution read_execution(FILE *f)
Definition: ri.c:828
void write_basic(FILE *f, basic p)
Definition: ri.c:134
forloop make_forloop(expression a1, expression a2, expression a3, statement a4)
Definition: ri.c:1025
void write_control(FILE *f, control p)
Definition: ri.c:517
list gen_unstructured_cons(unstructured p, list l)
Definition: ri.c:2758
void controlmap_assign_contents(controlmap r, controlmap v)
Definition: ri.c:449
persistant_statement_to_control read_persistant_statement_to_control(FILE *f)
Definition: ri.c:1591
instruction make_instruction_goto(statement _field_)
Definition: ri.c:1181
evaluation make_evaluation_after(void)
Definition: ri.c:789
qualifier make_qualifier_global(void)
Definition: ri.c:1951
syntax read_syntax(FILE *f)
Definition: ri.c:2475
transformer read_transformer(FILE *f)
Definition: ri.c:2646
bool sequence_defined_p(sequence p)
Definition: ri.c:2102
void write_persistant_statement_to_control(FILE *f, persistant_statement_to_control p)
Definition: ri.c:1588
syntax make_syntax_range(range _field_)
Definition: ri.c:2497
void write_unstructured(FILE *f, unstructured p)
Definition: ri.c:2772
void free_synchronization(synchronization p)
Definition: ri.c:2378
bool extension_consistent_p(extension p)
Definition: ri.c:901
dimension check_dimension(dimension p)
Definition: ri.c:535
bool entity_consistent_p(entity p)
Definition: ri.c:2530
void free_variable(variable p)
Definition: ri.c:2862
type make_type(enum type_utype tag, void *val)
Definition: ri.c:2706
constant check_constant(constant p)
Definition: ri.c:365
transformer copy_transformer(transformer p)
TRANSFORMER.
Definition: ri.c:2613
void write_syntax(FILE *f, syntax p)
Definition: ri.c:2472
void free_sequence(sequence p)
Definition: ri.c:2092
persistant_statement_to_statement check_persistant_statement_to_statement(persistant_statement_to_statement p)
Definition: ri.c:1678
void parameter_non_recursive_free(parameter p)
Definition: ri.c:1485
void write_type(FILE *f, type p)
Definition: ri.c:2685
symbolic check_symbolic(symbolic p)
Definition: ri.c:2339
void free_cast(cast p)
Definition: ri.c:278
bool test_consistent_p(test p)
Definition: ri.c:2580
bool syntax_consistent_p(syntax p)
Definition: ri.c:2451
list gen_forloop_cons(forloop p, list l)
Definition: ri.c:1005
bool mode_consistent_p(mode p)
Definition: ri.c:1316
qualifier make_qualifier_asm(string _field_)
Definition: ri.c:1942
void extend_persistant_statement_to_control(persistant_statement_to_control f, statement k, control v)
Definition: ri.c:1603
pragma check_pragma(pragma p)
Definition: ri.c:1735
persistant_statement_to_cluster read_persistant_statement_to_cluster(FILE *f)
Definition: ri.c:1534
bool constant_consistent_p(constant p)
Definition: ri.c:368
callees make_callees(list a)
Definition: ri.c:227
bool persistant_statement_to_statement_defined_p(persistant_statement_to_statement p)
Definition: ri.c:1685
void write_constant(FILE *f, constant p)
Definition: ri.c:389
preference make_preference(reference a1)
Definition: ri.c:1862
void expression_assign_contents(expression r, expression v)
Definition: ri.c:869
control read_control(FILE *f)
Definition: ri.c:520
void dimension_assign_contents(dimension r, dimension v)
Definition: ri.c:548
void controlmap_non_recursive_free(controlmap p)
Definition: ri.c:456
controlmap read_controlmap(FILE *f)
Definition: ri.c:463
list gen_whileloop_cons(whileloop p, list l)
Definition: ri.c:2917
control delete_persistant_statement_to_control(persistant_statement_to_control f, statement k)
Definition: ri.c:1606
syntax make_syntax_subscript(subscript _field_)
Definition: ri.c:2509
bool functional_defined_p(functional p)
Definition: ri.c:1086
list gen_type_cons(type p, list l)
Definition: ri.c:2671
void call_assign_contents(call r, call v)
Definition: ri.c:252
control delete_controlmap(controlmap f, statement k)
Definition: ri.c:478
void value_assign_contents(value r, value v)
Definition: ri.c:2803
range make_range(expression a1, expression a2, expression a3)
Definition: ri.c:2041
entity delete_entity_to_entity(entity_to_entity f, entity k)
Definition: ri.c:731
void type_assign_contents(type r, type v)
Definition: ri.c:2674
void test_assign_contents(test r, test v)
Definition: ri.c:2590
void free_persistant_statement_to_control(persistant_statement_to_control p)
Definition: ri.c:1561
void free_value(value p)
Definition: ri.c:2787
list gen_synchronization_cons(synchronization p, list l)
Definition: ri.c:2391
void extend_controlmap(controlmap f, statement k, control v)
Definition: ri.c:475
bool callees_consistent_p(callees p)
Definition: ri.c:200
void * Psysteme
Definition: ri.c:8
call check_call(call p)
Definition: ri.c:239
sequence read_sequence(FILE *f)
Definition: ri.c:2122
list gen_test_cons(test p, list l)
Definition: ri.c:2587
void free_loop(loop p)
Definition: ri.c:1268
bool ram_consistent_p(ram p)
Definition: ri.c:1972
synchronization make_synchronization_barrier(void)
Definition: ri.c:2430
formal make_formal(entity a1, intptr_t a2)
Definition: ri.c:1067
functional read_functional(FILE *f)
Definition: ri.c:1106
void write_qualifier(FILE *f, qualifier p)
Definition: ri.c:1898
list gen_storage_cons(storage p, list l)
Definition: ri.c:2244
void write_callees(FILE *f, callees p)
Definition: ri.c:221
void write_transformer(FILE *f, transformer p)
Definition: ri.c:2643
bool extension_defined_p(extension p)
Definition: ri.c:905
void write_persistant_statement_to_int(FILE *f, persistant_statement_to_int p)
Definition: ri.c:1645
value make_value_symbolic(symbolic _field_)
Definition: ri.c:2838
bool subscript_consistent_p(subscript p)
Definition: ri.c:2300
void write_forloop(FILE *f, forloop p)
Definition: ri.c:1019
extension make_extension_unknown(void)
Definition: ri.c:941
void write_multitest(FILE *f, multitest p)
Definition: ri.c:1392
bool application_consistent_p(application p)
Definition: ri.c:29
void dimension_non_recursive_free(dimension p)
Definition: ri.c:555
void free_language(language p)
Definition: ri.c:1205
entity apply_entity_to_entity(entity_to_entity f, entity k)
Definition: ri.c:722
loop read_loop(FILE *f)
Definition: ri.c:1298
syntax make_syntax_reference(reference _field_)
Definition: ri.c:2494
parameter check_parameter(parameter p)
Definition: ri.c:1465
void area_non_recursive_free(area p)
Definition: ri.c:88
string pragma_tag_as_string(enum pragma_utype tag)
Definition: ri.c:1765
void persistant_statement_to_control_assign_contents(persistant_statement_to_control r, persistant_statement_to_control v)
Definition: ri.c:1577
bool cast_defined_p(cast p)
Definition: ri.c:288
statement read_statement(FILE *f)
Definition: ri.c:2219
dummy copy_dummy(dummy p)
DUMMY.
Definition: ri.c:571
bool preference_defined_p(preference p)
Definition: ri.c:1839
void mode_non_recursive_free(mode p)
Definition: ri.c:1333
synchronization make_synchronization_spawn(entity _field_)
Definition: ri.c:2427
#define ENTITY_NEWGEN_DOMAIN
Definition: abc_private.h:12
#define EXPRESSION_NEWGEN_DOMAIN
Definition: alias_private.h:19
#define QUALIFIER_NEWGEN_DOMAIN
#define STORAGE_NEWGEN_DOMAIN
#define TYPE_NEWGEN_DOMAIN
#define STATEMENT_NEWGEN_DOMAIN
Definition: cloning.h:19
#define REFERENCE_NEWGEN_DOMAIN
Definition: compsec.h:12
int dummy
A dummy file, to prevent empty libraries from breaking builds.
Definition: dummy.c:41
#define PREFERENCE_NEWGEN_DOMAIN
Definition: effects.h:26
#define GEN_CHECK_ALLOC
Definition: genC.h:307
void gen_free(gen_chunk *obj)
version without shared_pointers.
Definition: genClib.c:992
gen_chunk * gen_alloc(int size, int gen_check_p, int dom,...)
allocates something in newgen.
Definition: genClib.c:298
int gen_write_tabulated(FILE *fd, int domain)
GEN_WRITE_TABULATED writes the tabulated object TABLE on FD.
Definition: genClib.c:1866
int gen_read_tabulated(FILE *file, int create_p)
GEN_READ_TABULATED reads FILE to update the Gen_tabulated_ table.
Definition: genClib.c:2334
int gen_consistent_p(gen_chunk *obj)
GEN_CONSISTENT_P dynamically checks the type correctness of OBJ.
Definition: genClib.c:2398
int gen_defined_p(gen_chunk *obj)
Definition: genClib.c:2438
gen_chunk * gen_check(gen_chunk *obj, int t)
GEN_CHECK checks that the gen_chunk received OBJ is of the appropriate TYPE.
Definition: genClib.c:2356
gen_chunk * gen_read(FILE *file)
GEN_READ reads any object from the FILE stream.
Definition: genClib.c:2323
gen_chunk * gen_copy_tree(gen_chunk *obj)
Definition: genClib.c:1429
void gen_write(FILE *fd, gen_chunk *obj)
GEN_WRITE writes the OBJect on the stream FD.
Definition: genClib.c:1745
void free(void *)
list gen_typed_cons(_int type, const void *item, const list next)
CONS a list with minimal type checking this cannot be done within the CONS macro because possible fun...
Definition: list.c:900
#define ENTITY_INT_NEWGEN_DOMAIN
Definition: hpf_private.h:33
#define CONTROL_NEWGEN_DOMAIN
#define RANGE_NEWGEN_DOMAIN
Definition: message.h:19
#define abort()
Definition: misc-local.h:53
#define message_assert(msg, ex)
Definition: newgen_assert.h:47
void * gen_find_tabulated(const char *, int)
Definition: tabulated.c:218
#define HASH_GET(start, image, h, k)
Definition: newgen_map.h:30
#define HASH_EXTEND(start, image, h, k, v)
Definition: newgen_map.h:36
#define HASH_DELETE(start, image, h, k)
Definition: newgen_map.h:38
#define HASH_UPDATE(start, image, h, k, v)
Definition: newgen_map.h:34
#define HASH_BOUND_P(start, image, h, k)
Definition: newgen_map.h:32
int tag
TAG.
Definition: newgen_types.h:92
#define string_undefined
Definition: newgen_types.h:40
#define UU
Definition: newgen_types.h:98
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
Definition: offsets.c:15
#define LOOP_NEWGEN_DOMAIN
Definition: paf_ri.h:33
#define PREDICATE_NEWGEN_DOMAIN
Definition: paf_ri.h:19
#define CONSTANT_NEWGEN_DOMAIN
#define CALL_NEWGEN_DOMAIN
Definition: ri.h:61
#define forloop_domain
newgen_extensions_domain_defined
Definition: ri.h:178
#define APPLICATION_NEWGEN_DOMAIN
Definition: ri.h:29
#define language_domain
newgen_instruction_domain_defined
Definition: ri.h:210
#define persistant_statement_to_int_hash_table(x)
Definition: ri.h:1937
basic_utype
Definition: ri.h:570
@ is_basic_derived
Definition: ri.h:579
@ is_basic_string
Definition: ri.h:576
@ is_basic_float
Definition: ri.h:572
@ is_basic_bit
Definition: ri.h:577
@ is_basic_pointer
Definition: ri.h:578
@ is_basic_overloaded
Definition: ri.h:574
@ is_basic_int
Definition: ri.h:571
@ is_basic_logical
Definition: ri.h:573
@ is_basic_typedef
Definition: ri.h:580
@ is_basic_complex
Definition: ri.h:575
#define PERSISTANT_STATEMENT_TO_CONTROL_NEWGEN_DOMAIN
Definition: ri.h:269
#define test_domain
newgen_entity_domain_defined
Definition: ri.h:418
dummy_utype
Definition: ri.h:1008
@ is_dummy_identifier
Definition: ri.h:1010
@ is_dummy_unknown
Definition: ri.h:1009
#define entity_to_entity_domain
newgen_entity_int_domain_defined
Definition: ri.h:130
#define controlmap_hash_table(x)
Definition: ri.h:897
sizeofexpression_utype
Definition: ri.h:2384
@ is_sizeofexpression_expression
Definition: ri.h:2386
@ is_sizeofexpression_type
Definition: ri.h:2385
#define mode_domain
newgen_loop_domain_defined
Definition: ri.h:226
#define expression_domain
newgen_execution_domain_defined
Definition: ri.h:154
#define VARIABLE_NEWGEN_DOMAIN
Definition: ri.h:461
#define INSTRUCTION_NEWGEN_DOMAIN
Definition: ri.h:205
#define SUBSCRIPT_NEWGEN_DOMAIN
Definition: ri.h:381
#define normalized_domain
newgen_multitest_domain_defined
Definition: ri.h:242
#define unstructured_domain
newgen_type_domain_defined
Definition: ri.h:442
#define CONTROLMAP_NEWGEN_DOMAIN
Definition: ri.h:93
#define ENTITY_TO_ENTITY_NEWGEN_DOMAIN
Definition: ri.h:133
#define formal_domain
newgen_forloop_domain_defined
Definition: ri.h:186
#define SIZEOFEXPRESSION_NEWGEN_DOMAIN
Definition: ri.h:357
synchronization_utype
Definition: ri.h:2623
@ is_synchronization_single
Definition: ri.h:2627
@ is_synchronization_barrier
Definition: ri.h:2626
@ is_synchronization_spawn
Definition: ri.h:2625
@ is_synchronization_critical
Definition: ri.h:2628
@ is_synchronization_none
Definition: ri.h:2624
#define parameter_domain
newgen_normalized_domain_defined
Definition: ri.h:250
#define persistant_statement_to_statement_hash_table(x)
Definition: ri.h:1978
#define cast_domain
newgen_call_domain_defined
Definition: ri.h:66
#define PERSISTANT_STATEMENT_TO_CLUSTER_NEWGEN_DOMAIN
Definition: ri.h:261
pragma_utype
Definition: ri.h:2011
@ is_pragma_expression
Definition: ri.h:2013
@ is_pragma_string
Definition: ri.h:2012
#define FORMAL_NEWGEN_DOMAIN
Definition: ri.h:189
#define loop_domain
newgen_language_domain_defined
Definition: ri.h:218
#define BASIC_NEWGEN_DOMAIN
Definition: ri.h:45
#define AREA_NEWGEN_DOMAIN
Definition: ri.h:37
#define persistant_statement_to_cluster_hash_table(x)
Definition: ri.h:1855
#define FUNCTIONAL_NEWGEN_DOMAIN
Definition: ri.h:197
#define CODE_NEWGEN_DOMAIN
Definition: ri.h:77
#define pragma_domain
newgen_persistant_statement_to_statement_domain_defined
Definition: ri.h:290
#define transformer_domain
newgen_test_domain_defined
Definition: ri.h:426
#define area_domain
newgen_application_domain_defined
Definition: ri.h:34
mode_utype
Definition: ri.h:1674
@ is_mode_reference
Definition: ri.h:1676
@ is_mode_value
Definition: ri.h:1675
#define persistant_statement_to_control_domain
newgen_persistant_statement_to_cluster_domain_defined
Definition: ri.h:266
#define DIMENSION_NEWGEN_DOMAIN
Definition: ri.h:109
#define subscript_domain
newgen_storage_domain_defined
Definition: ri.h:378
#define TEST_NEWGEN_DOMAIN
Definition: ri.h:421
constant_utype
Definition: ri.h:816
@ is_constant_int
Definition: ri.h:817
@ is_constant_logical
Definition: ri.h:819
@ is_constant_unknown
Definition: ri.h:822
@ is_constant_litteral
Definition: ri.h:820
@ is_constant_float
Definition: ri.h:818
@ is_constant_call
Definition: ri.h:821
#define variable_domain
newgen_value_domain_defined
Definition: ri.h:458
#define TRANSFORMER_NEWGEN_DOMAIN
Definition: ri.h:429
#define persistant_statement_to_control_hash_table(x)
Definition: ri.h:1896
#define callees_domain
newgen_basic_domain_defined
Definition: ri.h:50
#define statement_domain
newgen_sizeofexpression_domain_defined
Definition: ri.h:362
#define control_domain
newgen_controlmap_domain_defined
Definition: ri.h:98
#define MODE_NEWGEN_DOMAIN
Definition: ri.h:229
value_utype
Definition: ri.h:3030
@ is_value_intrinsic
Definition: ri.h:3034
@ is_value_unknown
Definition: ri.h:3035
@ is_value_reference
Definition: ri.h:3037
@ is_value_expression
Definition: ri.h:3036
@ is_value_constant
Definition: ri.h:3033
@ is_value_code
Definition: ri.h:3031
@ is_value_symbolic
Definition: ri.h:3032
#define persistant_statement_to_statement_domain
newgen_persistant_statement_to_int_domain_defined
Definition: ri.h:282
#define SYNCHRONIZATION_NEWGEN_DOMAIN
Definition: ri.h:397
#define ram_domain
newgen_qualifier_domain_defined
Definition: ri.h:322
syntax_utype
Definition: ri.h:2690
@ is_syntax_range
Definition: ri.h:2692
@ is_syntax_application
Definition: ri.h:2697
@ is_syntax_cast
Definition: ri.h:2694
@ is_syntax_call
Definition: ri.h:2693
@ is_syntax_va_arg
Definition: ri.h:2698
@ is_syntax_reference
Definition: ri.h:2691
@ is_syntax_sizeofexpression
Definition: ri.h:2695
@ is_syntax_subscript
Definition: ri.h:2696
#define instruction_domain
newgen_functional_domain_defined
Definition: ri.h:202
#define LANGUAGE_NEWGEN_DOMAIN
Definition: ri.h:213
#define call_domain
newgen_callees_domain_defined
Definition: ri.h:58
#define PRAGMA_NEWGEN_DOMAIN
Definition: ri.h:293
#define NORMALIZED_NEWGEN_DOMAIN
Definition: ri.h:245
#define value_domain
newgen_unstructured_domain_defined
Definition: ri.h:450
#define storage_domain
newgen_statement_domain_defined
Definition: ri.h:370
storage_utype
Definition: ri.h:2490
@ is_storage_rom
Definition: ri.h:2494
@ is_storage_return
Definition: ri.h:2491
@ is_storage_ram
Definition: ri.h:2492
@ is_storage_formal
Definition: ri.h:2493
#define DUMMY_NEWGEN_DOMAIN
Definition: ri.h:117
#define reference_domain
newgen_range_domain_defined
Definition: ri.h:338
#define basic_domain
newgen_area_domain_defined
Definition: ri.h:42
evaluation_utype
Definition: ri.h:1139
@ is_evaluation_after
Definition: ri.h:1141
@ is_evaluation_before
Definition: ri.h:1140
#define dummy_domain
newgen_dimension_domain_defined
Definition: ri.h:114
instruction_utype
Definition: ri.h:1468
@ is_instruction_goto
Definition: ri.h:1473
@ is_instruction_unstructured
Definition: ri.h:1475
@ is_instruction_whileloop
Definition: ri.h:1472
@ is_instruction_expression
Definition: ri.h:1478
@ is_instruction_test
Definition: ri.h:1470
@ is_instruction_multitest
Definition: ri.h:1476
@ is_instruction_call
Definition: ri.h:1474
@ is_instruction_sequence
Definition: ri.h:1469
@ is_instruction_forloop
Definition: ri.h:1477
@ is_instruction_loop
Definition: ri.h:1471
#define SYMBOLIC_NEWGEN_DOMAIN
Definition: ri.h:389
#define sizeofexpression_domain
newgen_sequence_domain_defined
Definition: ri.h:354
#define evaluation_domain
newgen_entity_to_entity_domain_defined
Definition: ri.h:138
#define extension_domain
newgen_expression_domain_defined
Definition: ri.h:162
#define PERSISTANT_STATEMENT_TO_INT_NEWGEN_DOMAIN
Definition: ri.h:277
#define dimension_domain
newgen_control_domain_defined
Definition: ri.h:106
#define FORLOOP_NEWGEN_DOMAIN
Definition: ri.h:181
#define predicate_domain
newgen_pragma_domain_defined
Definition: ri.h:298
#define type_domain
newgen_transformer_domain_defined
Definition: ri.h:434
extension_utype
Definition: ri.h:1273
@ is_extension_pragma
Definition: ri.h:1274
@ is_extension_unknown
Definition: ri.h:1275
#define multitest_domain
newgen_mode_domain_defined
Definition: ri.h:234
#define entity_to_entity_hash_table(x)
Definition: ri.h:1106
#define RAM_NEWGEN_DOMAIN
Definition: ri.h:325
#define entity_int_hash_table(x)
Definition: ri.h:1065
#define CAST_NEWGEN_DOMAIN
Definition: ri.h:69
#define UNSTRUCTURED_NEWGEN_DOMAIN
Definition: ri.h:445
#define SYNTAX_NEWGEN_DOMAIN
Definition: ri.h:405
#define constant_domain
newgen_code_domain_defined
Definition: ri.h:82
#define whileloop_domain
newgen_variable_domain_defined
Definition: ri.h:466
#define symbolic_domain
newgen_subscript_domain_defined
Definition: ri.h:386
#define MULTITEST_NEWGEN_DOMAIN
Definition: ri.h:237
#define EXTENSIONS_NEWGEN_DOMAIN
Definition: ri.h:173
execution_utype
Definition: ri.h:1188
@ is_execution_parallel
Definition: ri.h:1190
@ is_execution_sequential
Definition: ri.h:1189
#define qualifier_domain
newgen_preference_domain_defined
Definition: ri.h:314
qualifier_utype
Definition: ri.h:2126
@ is_qualifier_volatile
Definition: ri.h:2129
@ is_qualifier_register
Definition: ri.h:2130
@ is_qualifier_constant
Definition: ri.h:2137
@ is_qualifier_restrict
Definition: ri.h:2128
@ is_qualifier_thread
Definition: ri.h:2132
@ is_qualifier_local
Definition: ri.h:2135
@ is_qualifier_const
Definition: ri.h:2127
@ is_qualifier_static_dimension
Definition: ri.h:2134
@ is_qualifier_auto
Definition: ri.h:2131
@ is_qualifier_private
Definition: ri.h:2138
@ is_qualifier_asm
Definition: ri.h:2133
@ is_qualifier_global
Definition: ri.h:2136
type_utype
Definition: ri.h:2897
@ is_type_varargs
Definition: ri.h:2902
@ is_type_void
Definition: ri.h:2904
@ is_type_enum
Definition: ri.h:2907
@ is_type_statement
Definition: ri.h:2898
@ is_type_functional
Definition: ri.h:2901
@ is_type_variable
Definition: ri.h:2900
@ is_type_union
Definition: ri.h:2906
@ is_type_area
Definition: ri.h:2899
@ is_type_unknown
Definition: ri.h:2903
@ is_type_struct
Definition: ri.h:2905
#define EXECUTION_NEWGEN_DOMAIN
Definition: ri.h:149
#define VALUE_NEWGEN_DOMAIN
Definition: ri.h:453
#define execution_domain
newgen_evaluation_domain_defined
Definition: ri.h:146
#define sequence_domain
newgen_reference_domain_defined
Definition: ri.h:346
#define range_domain
newgen_ram_domain_defined
Definition: ri.h:330
#define EVALUATION_NEWGEN_DOMAIN
Definition: ri.h:141
#define PERSISTANT_STATEMENT_TO_STATEMENT_NEWGEN_DOMAIN
Definition: ri.h:285
#define synchronization_domain
newgen_symbolic_domain_defined
Definition: ri.h:394
#define WHILELOOP_NEWGEN_DOMAIN
Definition: ri.h:469
#define extensions_domain
newgen_extension_domain_defined
Definition: ri.h:170
#define CALLEES_NEWGEN_DOMAIN
Definition: ri.h:53
#define code_domain
newgen_cast_domain_defined
Definition: ri.h:74
#define persistant_statement_to_int_domain
newgen_persistant_statement_to_control_domain_defined
Definition: ri.h:274
#define functional_domain
newgen_formal_domain_defined
Definition: ri.h:194
#define application_domain
newgen_Psysteme_domain_defined
Definition: ri.h:26
language_utype
Definition: ri.h:1565
@ is_language_fortran
Definition: ri.h:1566
@ is_language_fortran95
Definition: ri.h:1568
@ is_language_unknown
Definition: ri.h:1569
@ is_language_c
Definition: ri.h:1567
#define preference_domain
newgen_predicate_domain_defined
Definition: ri.h:306
#define entity_domain
newgen_syntax_domain_defined
Definition: ri.h:410
#define PARAMETER_NEWGEN_DOMAIN
Definition: ri.h:253
#define SEQUENCE_NEWGEN_DOMAIN
Definition: ri.h:349
#define entity_int_domain
newgen_dummy_domain_defined
Definition: ri.h:122
#define EXTENSION_NEWGEN_DOMAIN
Definition: ri.h:165
normalized_utype
Definition: ri.h:1759
@ is_normalized_linear
Definition: ri.h:1760
@ is_normalized_complex
Definition: ri.h:1761
#define persistant_statement_to_cluster_domain
newgen_parameter_domain_defined
Definition: ri.h:258
#define syntax_domain
newgen_synchronization_domain_defined
Definition: ri.h:402
#define controlmap_domain
newgen_constant_domain_defined
Definition: ri.h:90
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
#define intptr_t
Definition: stdint.in.h:294
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
Definition: vecteur-local.h:89
The structure used to build lists in NewGen.
Definition: newgen_list.h:41
A DOMAIN union describes the structure of a user type.
A gen_chunk is used to store every object.
Definition: genC.h:58