PIPS
alias_private.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 
8 #include <stdio.h>
9 #include <stdlib.h>
10 #include <string.h>
11 #include "genC.h"
12 #include "alias_private.h"
13 
14 /* ALIAS_ASSOCIATIONS
15  */
18 }
20  gen_free((gen_chunk*) p);
21 }
24 }
27  return gen_consistent_p((gen_chunk*) p);
28 }
30  return gen_defined_p((gen_chunk*) p);
31 }
34 }
38  message_assert("defined references to domain alias_associations",
40  memcpy(r, v, sizeof(struct _newgen_struct_alias_associations_));
41 }
43  // should clear up contents...
44  free(p);
45 }
47  gen_write(f, (gen_chunk*) p);
48 }
50  return (alias_associations) gen_read(f);
51 }
54 }
55 
56 /* ALIAS_ASSOCIATION
57  */
60 }
62  gen_free((gen_chunk*) p);
63 }
66 }
69  return gen_consistent_p((gen_chunk*) p);
70 }
72  return gen_defined_p((gen_chunk*) p);
73 }
76 }
80  message_assert("defined references to domain alias_association",
82  memcpy(r, v, sizeof(struct _newgen_struct_alias_association_));
83 }
85  // should clear up contents...
86  free(p);
87 }
89  gen_write(f, (gen_chunk*) p);
90 }
92  return (alias_association) gen_read(f);
93 }
95  return (alias_association) gen_alloc(7*sizeof(gen_chunk), GEN_CHECK_ALLOC, alias_association_domain, a1, a2, a3, a4, a5, a6);
96 }
97 
98 /* CALL_SITE
99  */
101  return (call_site) gen_copy_tree((gen_chunk*) p);
102 }
104  gen_free((gen_chunk*) p);
105 }
108 }
110  check_call_site(p);
111  return gen_consistent_p((gen_chunk*) p);
112 }
114  return gen_defined_p((gen_chunk*) p);
115 }
118 }
120  check_call_site(r);
121  check_call_site(v);
122  message_assert("defined references to domain call_site",
124  memcpy(r, v, sizeof(struct _newgen_struct_call_site_));
125 }
127  // should clear up contents...
128  free(p);
129 }
130 void write_call_site(FILE* f, call_site p) {
131  gen_write(f, (gen_chunk*) p);
132 }
134  return (call_site) gen_read(f);
135 }
137  return (call_site) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, call_site_domain, a1, a2);
138 }
139 
140 /* DYNAMIC_CHECK
141  */
143  return (dynamic_check) gen_copy_tree((gen_chunk*) p);
144 }
146  gen_free((gen_chunk*) p);
147 }
150 }
153  return gen_consistent_p((gen_chunk*) p);
154 }
156  return gen_defined_p((gen_chunk*) p);
157 }
160 }
164  message_assert("defined references to domain dynamic_check",
166  memcpy(r, v, sizeof(struct _newgen_struct_dynamic_check_));
167 }
169  // should clear up contents...
170  free(p);
171 }
173  gen_write(f, (gen_chunk*) p);
174 }
176  return (dynamic_check) gen_read(f);
177 }
179  return (dynamic_check) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, dynamic_check_domain, a1, a2, a3);
180 }
181 
alias_association copy_alias_association(alias_association p)
ALIAS_ASSOCIATION.
Definition: alias_private.c:58
bool dynamic_check_defined_p(dynamic_check p)
call_site make_call_site(entity a1, intptr_t a2)
void write_alias_association(FILE *f, alias_association p)
Definition: alias_private.c:88
call_site check_call_site(call_site p)
void alias_associations_non_recursive_free(alias_associations p)
Definition: alias_private.c:42
bool call_site_consistent_p(call_site p)
void free_call_site(call_site p)
void free_dynamic_check(dynamic_check p)
void call_site_non_recursive_free(call_site p)
dynamic_check make_dynamic_check(entity a1, entity a2, bool a3)
list gen_alias_associations_cons(alias_associations p, list l)
Definition: alias_private.c:32
list gen_dynamic_check_cons(dynamic_check p, list l)
void alias_association_assign_contents(alias_association r, alias_association v)
Definition: alias_private.c:77
alias_associations read_alias_associations(FILE *f)
Definition: alias_private.c:49
void alias_associations_assign_contents(alias_associations r, alias_associations v)
Definition: alias_private.c:35
alias_association check_alias_association(alias_association p)
Definition: alias_private.c:64
bool alias_association_consistent_p(alias_association p)
Definition: alias_private.c:67
bool alias_associations_consistent_p(alias_associations p)
Definition: alias_private.c:25
alias_association read_alias_association(FILE *f)
Definition: alias_private.c:91
call_site read_call_site(FILE *f)
call_site copy_call_site(call_site p)
CALL_SITE.
void write_dynamic_check(FILE *f, dynamic_check p)
bool call_site_defined_p(call_site p)
void free_alias_association(alias_association p)
Definition: alias_private.c:61
void call_site_assign_contents(call_site r, call_site v)
dynamic_check read_dynamic_check(FILE *f)
alias_association make_alias_association(entity a1, entity a2, expression a3, intptr_t a4, intptr_t a5, list a6)
Definition: alias_private.c:94
alias_associations check_alias_associations(alias_associations p)
Definition: alias_private.c:22
alias_associations copy_alias_associations(alias_associations p)
ALIAS_ASSOCIATIONS.
Definition: alias_private.c:16
bool alias_associations_defined_p(alias_associations p)
Definition: alias_private.c:29
void dynamic_check_assign_contents(dynamic_check r, dynamic_check v)
dynamic_check check_dynamic_check(dynamic_check p)
void free_alias_associations(alias_associations p)
Definition: alias_private.c:19
void write_alias_associations(FILE *f, alias_associations p)
Definition: alias_private.c:46
list gen_alias_association_cons(alias_association p, list l)
Definition: alias_private.c:74
void dynamic_check_non_recursive_free(dynamic_check p)
dynamic_check copy_dynamic_check(dynamic_check p)
DYNAMIC_CHECK.
void write_call_site(FILE *f, call_site p)
alias_associations make_alias_associations(list a)
Definition: alias_private.c:52
bool alias_association_defined_p(alias_association p)
Definition: alias_private.c:71
list gen_call_site_cons(call_site p, list l)
void alias_association_non_recursive_free(alias_association p)
Definition: alias_private.c:84
bool dynamic_check_consistent_p(dynamic_check p)
#define DYNAMIC_CHECK_NEWGEN_DOMAIN
Definition: alias_private.h:51
#define ALIAS_ASSOCIATIONS_NEWGEN_DOMAIN
Definition: alias_private.h:27
#define dynamic_check_domain
newgen_call_site_domain_defined
Definition: alias_private.h:48
#define alias_association_domain
newgen_alias_associations_domain_defined
Definition: alias_private.h:32
#define CALL_SITE_NEWGEN_DOMAIN
Definition: alias_private.h:43
#define ALIAS_ASSOCIATION_NEWGEN_DOMAIN
Definition: alias_private.h:35
#define alias_associations_domain
newgen_expression_domain_defined
Definition: alias_private.h:24
#define call_site_domain
newgen_alias_association_domain_defined
Definition: alias_private.h:40
#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_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 message_assert(msg, ex)
Definition: newgen_assert.h:47
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
Definition: offsets.c:15
#define intptr_t
Definition: stdint.in.h:294
The structure used to build lists in NewGen.
Definition: newgen_list.h:41
A gen_chunk is used to store every object.
Definition: genC.h:58