#include <stdio.h>#include <stdlib.h>#include "genC.h"#include "compsec.h"
Go to the source code of this file.
| typedef void* Pvecteur |
Definition at line 7 of file src/Libs/newgen/compsec.c.
| bool bound_pair_consistent_p | ( | bound_pair | p | ) |
Definition at line 26 of file src/Libs/newgen/compsec.c.
00026 { 00027 check_bound_pair(p); 00028 return gen_consistent_p((gen_chunk*) p); 00029 }
| bool bound_pair_defined_p | ( | bound_pair | p | ) |
Definition at line 30 of file src/Libs/newgen/compsec.c.
00030 { 00031 return gen_defined_p((gen_chunk*) p); 00032 }
| bound_pair check_bound_pair | ( | bound_pair | p | ) |
Definition at line 23 of file src/Libs/newgen/compsec.c.
Referenced by bound_pair_consistent_p().
00023 { 00024 return (bound_pair) gen_check((gen_chunk*) p, bound_pair_domain); 00025 }

Definition at line 54 of file src/Libs/newgen/compsec.c.
Referenced by comp_desc_consistent_p().
00054 { 00055 return (comp_desc) gen_check((gen_chunk*) p, comp_desc_domain); 00056 }

| comp_desc_set check_comp_desc_set | ( | comp_desc_set | p | ) |
Definition at line 85 of file src/Libs/newgen/compsec.c.
Referenced by comp_desc_set_consistent_p().
00085 { 00086 return (comp_desc_set) gen_check((gen_chunk*) p, comp_desc_set_domain); 00087 }

Definition at line 116 of file src/Libs/newgen/compsec.c.
Referenced by comp_sec_consistent_p().
00116 { 00117 return (comp_sec) gen_check((gen_chunk*) p, comp_sec_domain); 00118 }

| context_info check_context_info | ( | context_info | p | ) |
Definition at line 147 of file src/Libs/newgen/compsec.c.
Referenced by context_info_consistent_p().
00147 { 00148 return (context_info) gen_check((gen_chunk*) p, context_info_domain); 00149 }

| dad_struct check_dad_struct | ( | dad_struct | p | ) |
Definition at line 178 of file src/Libs/newgen/compsec.c.
Referenced by dad_struct_consistent_p().
00178 { 00179 return (dad_struct) gen_check((gen_chunk*) p, dad_struct_domain); 00180 }

Definition at line 209 of file src/Libs/newgen/compsec.c.
Referenced by ref_temp_consistent_p().
00209 { 00210 return (ref_temp) gen_check((gen_chunk*) p, ref_temp_domain); 00211 }

Definition at line 240 of file src/Libs/newgen/compsec.c.
Referenced by rtype_consistent_p().
00240 { 00241 return (rtype) gen_check((gen_chunk*) p, rtype_domain); 00242 }

| simple_section check_simple_section | ( | simple_section | p | ) |
Definition at line 280 of file src/Libs/newgen/compsec.c.
Referenced by simple_section_consistent_p().
00280 { 00281 return (simple_section) gen_check((gen_chunk*) p, simple_section_domain); 00282 }

Definition at line 57 of file src/Libs/newgen/compsec.c.
00057 { 00058 check_comp_desc(p); 00059 return gen_consistent_p((gen_chunk*) p); 00060 }
Definition at line 61 of file src/Libs/newgen/compsec.c.
00061 { 00062 return gen_defined_p((gen_chunk*) p); 00063 }
| bool comp_desc_set_consistent_p | ( | comp_desc_set | p | ) |
Definition at line 88 of file src/Libs/newgen/compsec.c.
00088 { 00089 check_comp_desc_set(p); 00090 return gen_consistent_p((gen_chunk*) p); 00091 }
| bool comp_desc_set_defined_p | ( | comp_desc_set | p | ) |
Definition at line 92 of file src/Libs/newgen/compsec.c.
00092 { 00093 return gen_defined_p((gen_chunk*) p); 00094 }
Definition at line 119 of file src/Libs/newgen/compsec.c.
00119 { 00120 check_comp_sec(p); 00121 return gen_consistent_p((gen_chunk*) p); 00122 }
Definition at line 123 of file src/Libs/newgen/compsec.c.
00123 { 00124 return gen_defined_p((gen_chunk*) p); 00125 }
| bool context_info_consistent_p | ( | context_info | p | ) |
Definition at line 150 of file src/Libs/newgen/compsec.c.
00150 { 00151 check_context_info(p); 00152 return gen_consistent_p((gen_chunk*) p); 00153 }
| bool context_info_defined_p | ( | context_info | p | ) |
Definition at line 154 of file src/Libs/newgen/compsec.c.
00154 { 00155 return gen_defined_p((gen_chunk*) p); 00156 }
| bound_pair copy_bound_pair | ( | bound_pair | p | ) |
BOUND_PAIR.
Definition at line 17 of file src/Libs/newgen/compsec.c.
00017 { 00018 return (bound_pair) gen_copy_tree((gen_chunk*) p); 00019 }
COMP_DESC.
Definition at line 48 of file src/Libs/newgen/compsec.c.
Referenced by comp_region_dup().
00048 { 00049 return (comp_desc) gen_copy_tree((gen_chunk*) p); 00050 }

| comp_desc_set copy_comp_desc_set | ( | comp_desc_set | p | ) |
COMP_DESC_SET.
Definition at line 79 of file src/Libs/newgen/compsec.c.
00079 { 00080 return (comp_desc_set) gen_copy_tree((gen_chunk*) p); 00081 }
COMP_SEC.
Definition at line 110 of file src/Libs/newgen/compsec.c.
00110 { 00111 return (comp_sec) gen_copy_tree((gen_chunk*) p); 00112 }
| context_info copy_context_info | ( | context_info | p | ) |
CONTEXT_INFO.
Definition at line 141 of file src/Libs/newgen/compsec.c.
00141 { 00142 return (context_info) gen_copy_tree((gen_chunk*) p); 00143 }
| dad_struct copy_dad_struct | ( | dad_struct | p | ) |
DAD_STRUCT.
Definition at line 172 of file src/Libs/newgen/compsec.c.
00172 { 00173 return (dad_struct) gen_copy_tree((gen_chunk*) p); 00174 }
REF_TEMP.
Definition at line 203 of file src/Libs/newgen/compsec.c.
00203 { 00204 return (ref_temp) gen_copy_tree((gen_chunk*) p); 00205 }
RTYPE.
Definition at line 234 of file src/Libs/newgen/compsec.c.
00234 { 00235 return (rtype) gen_copy_tree((gen_chunk*) p); 00236 }
| simple_section copy_simple_section | ( | simple_section | p | ) |
SIMPLE_SECTION.
Definition at line 274 of file src/Libs/newgen/compsec.c.
00274 { 00275 return (simple_section) gen_copy_tree((gen_chunk*) p); 00276 }
| bool dad_struct_consistent_p | ( | dad_struct | p | ) |
Definition at line 181 of file src/Libs/newgen/compsec.c.
00181 { 00182 check_dad_struct(p); 00183 return gen_consistent_p((gen_chunk*) p); 00184 }
| bool dad_struct_defined_p | ( | dad_struct | p | ) |
Definition at line 185 of file src/Libs/newgen/compsec.c.
00185 { 00186 return gen_defined_p((gen_chunk*) p); 00187 }
| void free_bound_pair | ( | bound_pair | p | ) |
Definition at line 20 of file src/Libs/newgen/compsec.c.
| void free_comp_desc | ( | comp_desc | p | ) |
Definition at line 51 of file src/Libs/newgen/compsec.c.
| void free_comp_desc_set | ( | comp_desc_set | p | ) |
Definition at line 82 of file src/Libs/newgen/compsec.c.
| void free_comp_sec | ( | comp_sec | p | ) |
Definition at line 113 of file src/Libs/newgen/compsec.c.
| void free_context_info | ( | context_info | p | ) |
Definition at line 144 of file src/Libs/newgen/compsec.c.
| void free_dad_struct | ( | dad_struct | p | ) |
Definition at line 175 of file src/Libs/newgen/compsec.c.
| void free_ref_temp | ( | ref_temp | p | ) |
Definition at line 206 of file src/Libs/newgen/compsec.c.
| void free_rtype | ( | rtype | p | ) |
Definition at line 237 of file src/Libs/newgen/compsec.c.
| void free_simple_section | ( | simple_section | p | ) |
Definition at line 277 of file src/Libs/newgen/compsec.c.
| list gen_bound_pair_cons | ( | bound_pair | p, | |
| list | l | |||
| ) |
Definition at line 33 of file src/Libs/newgen/compsec.c.
00033 { 00034 return gen_typed_cons(BOUND_PAIR_NEWGEN_DOMAIN, p, l); 00035 }
Definition at line 64 of file src/Libs/newgen/compsec.c.
00064 { 00065 return gen_typed_cons(COMP_DESC_NEWGEN_DOMAIN, p, l); 00066 }
| list gen_comp_desc_set_cons | ( | comp_desc_set | p, | |
| list | l | |||
| ) |
Definition at line 95 of file src/Libs/newgen/compsec.c.
00095 { 00096 return gen_typed_cons(COMP_DESC_SET_NEWGEN_DOMAIN, p, l); 00097 }
Definition at line 126 of file src/Libs/newgen/compsec.c.
00126 { 00127 return gen_typed_cons(COMP_SEC_NEWGEN_DOMAIN, p, l); 00128 }
| list gen_context_info_cons | ( | context_info | p, | |
| list | l | |||
| ) |
Definition at line 157 of file src/Libs/newgen/compsec.c.
00157 { 00158 return gen_typed_cons(CONTEXT_INFO_NEWGEN_DOMAIN, p, l); 00159 }
| list gen_dad_struct_cons | ( | dad_struct | p, | |
| list | l | |||
| ) |
Definition at line 188 of file src/Libs/newgen/compsec.c.
00188 { 00189 return gen_typed_cons(DAD_STRUCT_NEWGEN_DOMAIN, p, l); 00190 }
Definition at line 219 of file src/Libs/newgen/compsec.c.
00219 { 00220 return gen_typed_cons(REF_TEMP_NEWGEN_DOMAIN, p, l); 00221 }
Definition at line 250 of file src/Libs/newgen/compsec.c.
00250 { 00251 return gen_typed_cons(RTYPE_NEWGEN_DOMAIN, p, l); 00252 }
| list gen_simple_section_cons | ( | simple_section | p, | |
| list | l | |||
| ) |
Definition at line 290 of file src/Libs/newgen/compsec.c.
00290 { 00291 return gen_typed_cons(SIMPLE_SECTION_NEWGEN_DOMAIN, p, l); 00292 }
| bound_pair make_bound_pair | ( | intptr_t | a1, | |
| Pvecteur | a2, | |||
| Pvecteur | a3 | |||
| ) |
Definition at line 42 of file src/Libs/newgen/compsec.c.
Referenced by AllocateDadStruct().
00042 { 00043 return (bound_pair) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, bound_pair_domain, a1, a2, a3); 00044 }

Definition at line 73 of file src/Libs/newgen/compsec.c.
Referenced by InitCompDesc().
00073 { 00074 return (comp_desc) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_desc_domain, a1, a2, a3); 00075 }

| comp_desc_set make_comp_desc_set | ( | list | a | ) |
Definition at line 104 of file src/Libs/newgen/compsec.c.
Referenced by list_to_comp_secs(), and summary_complementary_sections().
00104 { 00105 return (comp_desc_set) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_desc_set_domain, a); 00106 }

| comp_sec make_comp_sec | ( | simple_section | a1, | |
| list | a2 | |||
| ) |
Definition at line 135 of file src/Libs/newgen/compsec.c.
Referenced by InitCompDesc().
00135 { 00136 return (comp_sec) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, comp_sec_domain, a1, a2); 00137 }

| context_info make_context_info | ( | intptr_t | a1, | |
| intptr_t | a2, | |||
| intptr_t | a3 | |||
| ) |
Definition at line 166 of file src/Libs/newgen/compsec.c.
Referenced by AllocateSimpleSection().
00166 { 00167 return (context_info) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, context_info_domain, a1, a2, a3); 00168 }

| dad_struct make_dad_struct | ( | list | a1, | |
| list | a2 | |||
| ) |
Definition at line 197 of file src/Libs/newgen/compsec.c.
Referenced by AllocateDadStruct().
00197 { 00198 return (dad_struct) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, dad_struct_domain, a1, a2); 00199 }

Definition at line 228 of file src/Libs/newgen/compsec.c.
Referenced by AllocateDadStruct().
00228 { 00229 return (ref_temp) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, ref_temp_domain, a1, a2); 00230 }

| rtype make_rtype | ( | enum rtype_utype | tag, | |
| void * | val | |||
| ) |
Definition at line 259 of file src/Libs/newgen/compsec.c.
Referenced by AllocateDadStruct(), make_rtype_lininvariant(), make_rtype_linvariant(), and make_rtype_nonlinear().
00259 { 00260 return (rtype) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, rtype_domain, tag, val); 00261 }

| rtype make_rtype_lininvariant | ( | void | ) |
Definition at line 268 of file src/Libs/newgen/compsec.c.
00268 { 00269 return make_rtype(is_rtype_lininvariant, UU); 00270 }
| rtype make_rtype_linvariant | ( | void | ) |
Definition at line 265 of file src/Libs/newgen/compsec.c.
00265 { 00266 return make_rtype(is_rtype_linvariant, UU); 00267 }
| rtype make_rtype_nonlinear | ( | void | ) |
Definition at line 262 of file src/Libs/newgen/compsec.c.
00262 { 00263 return make_rtype(is_rtype_nonlinear, UU); 00264 }
| simple_section make_simple_section | ( | context_info | a1, | |
| dad_struct | a2 | |||
| ) |
Definition at line 299 of file src/Libs/newgen/compsec.c.
Referenced by AllocateSimpleSection().
00299 { 00300 return (simple_section) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, simple_section_domain, a1, a2); 00301 }

| bound_pair read_bound_pair | ( | FILE * | f | ) |
Definition at line 39 of file src/Libs/newgen/compsec.c.
00039 { 00040 return (bound_pair) gen_read(f); 00041 }
| comp_desc read_comp_desc | ( | FILE * | f | ) |
Definition at line 70 of file src/Libs/newgen/compsec.c.
| comp_desc_set read_comp_desc_set | ( | FILE * | f | ) |
Definition at line 101 of file src/Libs/newgen/compsec.c.
00101 { 00102 return (comp_desc_set) gen_read(f); 00103 }
| comp_sec read_comp_sec | ( | FILE * | f | ) |
Definition at line 132 of file src/Libs/newgen/compsec.c.
| context_info read_context_info | ( | FILE * | f | ) |
Definition at line 163 of file src/Libs/newgen/compsec.c.
00163 { 00164 return (context_info) gen_read(f); 00165 }
| dad_struct read_dad_struct | ( | FILE * | f | ) |
Definition at line 194 of file src/Libs/newgen/compsec.c.
00194 { 00195 return (dad_struct) gen_read(f); 00196 }
| ref_temp read_ref_temp | ( | FILE * | f | ) |
Definition at line 225 of file src/Libs/newgen/compsec.c.
| rtype read_rtype | ( | FILE * | f | ) |
Definition at line 256 of file src/Libs/newgen/compsec.c.
| simple_section read_simple_section | ( | FILE * | f | ) |
Definition at line 296 of file src/Libs/newgen/compsec.c.
00296 { 00297 return (simple_section) gen_read(f); 00298 }
Definition at line 212 of file src/Libs/newgen/compsec.c.
00212 { 00213 check_ref_temp(p); 00214 return gen_consistent_p((gen_chunk*) p); 00215 }
Definition at line 216 of file src/Libs/newgen/compsec.c.
00216 { 00217 return gen_defined_p((gen_chunk*) p); 00218 }
Definition at line 243 of file src/Libs/newgen/compsec.c.
00243 { 00244 check_rtype(p); 00245 return gen_consistent_p((gen_chunk*) p); 00246 }
Definition at line 247 of file src/Libs/newgen/compsec.c.
00247 { 00248 return gen_defined_p((gen_chunk*) p); 00249 }
| bool simple_section_consistent_p | ( | simple_section | p | ) |
Definition at line 283 of file src/Libs/newgen/compsec.c.
00283 { 00284 check_simple_section(p); 00285 return gen_consistent_p((gen_chunk*) p); 00286 }
| bool simple_section_defined_p | ( | simple_section | p | ) |
Definition at line 287 of file src/Libs/newgen/compsec.c.
00287 { 00288 return gen_defined_p((gen_chunk*) p); 00289 }
| void write_bound_pair | ( | FILE * | f, | |
| bound_pair | p | |||
| ) |
Definition at line 36 of file src/Libs/newgen/compsec.c.
| void write_comp_desc | ( | FILE * | f, | |
| comp_desc | p | |||
| ) |
Definition at line 67 of file src/Libs/newgen/compsec.c.
| void write_comp_desc_set | ( | FILE * | f, | |
| comp_desc_set | p | |||
| ) |
Definition at line 98 of file src/Libs/newgen/compsec.c.
| void write_comp_sec | ( | FILE * | f, | |
| comp_sec | p | |||
| ) |
Definition at line 129 of file src/Libs/newgen/compsec.c.
| void write_context_info | ( | FILE * | f, | |
| context_info | p | |||
| ) |
Definition at line 160 of file src/Libs/newgen/compsec.c.
| void write_dad_struct | ( | FILE * | f, | |
| dad_struct | p | |||
| ) |
Definition at line 191 of file src/Libs/newgen/compsec.c.
| void write_ref_temp | ( | FILE * | f, | |
| ref_temp | p | |||
| ) |
Definition at line 222 of file src/Libs/newgen/compsec.c.
| void write_rtype | ( | FILE * | f, | |
| rtype | p | |||
| ) |
Definition at line 253 of file src/Libs/newgen/compsec.c.
| void write_simple_section | ( | FILE * | f, | |
| simple_section | p | |||
| ) |
Definition at line 293 of file src/Libs/newgen/compsec.c.
1.6.2-20100208