PIPS
abc_private.h
Go to the documentation of this file.
1 #ifndef _newgen_abc_private_included
2 #define _newgen_abc_private_included
3 #define _gen_abc_private_start 174
4 /*
5  * THIS FILE HAS BEEN AUTOMATICALLY GENERATED BY NEWGEN.
6  *
7  * PLEASE DO NOT MODIFY IT.
8  */
9 
10 #if !defined(_newgen_entity_domain_defined_)
11 #define _newgen_entity_domain_defined_
12 #define ENTITY_NEWGEN_DOMAIN (entity_domain)
13 #define entity_NEWGEN_DOMAIN (entity_domain)
14 typedef struct _newgen_struct_entity_ * entity;
15 #endif /* _newgen_entity_domain_defined_ */
16 
17 #define abc_checked_domain (_gen_abc_private_start+0)
18 #if !defined(_newgen_abc_checked_domain_defined_)
19 #define _newgen_abc_checked_domain_defined_
20 #define ABC_CHECKED_NEWGEN_DOMAIN (abc_checked_domain)
21 #define abc_checked_NEWGEN_DOMAIN (abc_checked_domain)
23 #endif /* _newgen_abc_checked_domain_defined_ */
24 
25 #define array_dimension_checked_domain (_gen_abc_private_start+1)
26 #if !defined(_newgen_array_dimension_checked_domain_defined_)
27 #define _newgen_array_dimension_checked_domain_defined_
28 #define ARRAY_DIMENSION_CHECKED_NEWGEN_DOMAIN (array_dimension_checked_domain)
29 #define array_dimension_checked_NEWGEN_DOMAIN (array_dimension_checked_domain)
31 #endif /* _newgen_array_dimension_checked_domain_defined_ */
32 
33 #define dimension_checked_domain (_gen_abc_private_start+2)
34 #if !defined(_newgen_dimension_checked_domain_defined_)
35 #define _newgen_dimension_checked_domain_defined_
36 #define DIMENSION_CHECKED_NEWGEN_DOMAIN (dimension_checked_domain)
37 #define dimension_checked_NEWGEN_DOMAIN (dimension_checked_domain)
39 #endif /* _newgen_dimension_checked_domain_defined_ */
40 
41 /* ABC_CHECKED
42  */
43 #define ABC_CHECKED(x) ((abc_checked)((x).p))
44 #define abc_checked_CAST(x) ABC_CHECKED(x)
45 #define ABC_CHECKED_CAST(x) ABC_CHECKED(x)
46 #define ABC_CHECKED_(x) ((x).e)
47 #define ABC_CHECKED_TYPE abc_checked
48 #define abc_checked_TYPE abc_checked
49 #define abc_checked_undefined ((abc_checked)gen_chunk_undefined)
50 #define abc_checked_undefined_p(x) ((x)==abc_checked_undefined)
51 
53 extern void free_abc_checked(abc_checked);
57 #define gen_ABC_CHECKED_cons gen_abc_checked_cons
61 extern void write_abc_checked(FILE*, abc_checked);
62 extern abc_checked read_abc_checked(FILE*);
64 
68 };
69 
70 #define abc_checked_domain_number(x) ((x)->_type_)
71 #define abc_checked_list(x) ((x)->_abc_checked_holder_)
72 
73 /* ARRAY_DIMENSION_CHECKED
74  */
75 #define ARRAY_DIMENSION_CHECKED(x) ((array_dimension_checked)((x).p))
76 #define array_dimension_checked_CAST(x) ARRAY_DIMENSION_CHECKED(x)
77 #define ARRAY_DIMENSION_CHECKED_CAST(x) ARRAY_DIMENSION_CHECKED(x)
78 #define ARRAY_DIMENSION_CHECKED_(x) ((x).e)
79 #define ARRAY_DIMENSION_CHECKED_TYPE array_dimension_checked
80 #define array_dimension_checked_TYPE array_dimension_checked
81 #define array_dimension_checked_undefined ((array_dimension_checked)gen_chunk_undefined)
82 #define array_dimension_checked_undefined_p(x) ((x)==array_dimension_checked_undefined)
83 
89 #define gen_ARRAY_DIMENSION_CHECKED_cons gen_array_dimension_checked_cons
96 
100  list _array_dimension_checked_dims_; /* dims:dimension_checked* */
101 };
102 
103 #define array_dimension_checked_domain_number(x) ((x)->_type_)
104 #define array_dimension_checked_array_(x) array_dimension_checked_array(x) /* old hack compatible */
105 #define array_dimension_checked_array(x) ((x)->_array_dimension_checked_array_)
106 #define array_dimension_checked_dims_(x) array_dimension_checked_dims(x) /* old hack compatible */
107 #define array_dimension_checked_dims(x) ((x)->_array_dimension_checked_dims_)
108 
109 /* DIMENSION_CHECKED
110  */
111 #define DIMENSION_CHECKED(x) ((dimension_checked)((x).p))
112 #define dimension_checked_CAST(x) DIMENSION_CHECKED(x)
113 #define DIMENSION_CHECKED_CAST(x) DIMENSION_CHECKED(x)
114 #define DIMENSION_CHECKED_(x) ((x).e)
115 #define DIMENSION_CHECKED_TYPE dimension_checked
116 #define dimension_checked_TYPE dimension_checked
117 #define dimension_checked_undefined ((dimension_checked)gen_chunk_undefined)
118 #define dimension_checked_undefined_p(x) ((x)==dimension_checked_undefined)
119 
125 #define gen_DIMENSION_CHECKED_cons gen_dimension_checked_cons
129 extern void write_dimension_checked(FILE*, dimension_checked);
132 
138 };
139 
140 #define dimension_checked_domain_number(x) ((x)->_type_)
141 #define dimension_checked_dim_(x) dimension_checked_dim(x) /* old hack compatible */
142 #define dimension_checked_dim(x) ((x)->_dimension_checked_dim_)
143 #define dimension_checked_lower_(x) dimension_checked_lower(x) /* old hack compatible */
144 #define dimension_checked_lower(x) ((x)->_dimension_checked_lower_.b)
145 #define dimension_checked_upper_(x) dimension_checked_upper(x) /* old hack compatible */
146 #define dimension_checked_upper(x) ((x)->_dimension_checked_upper_.b)
147 
148 #define abc_private_spec "\
149 --NEWGEN-START 174\n\
150 import entity from \"ri.newgen\";\n\
151 abc_checked = list:array_dimension_checked*;\n\
152 array_dimension_checked = array:entity x dims:dimension_checked*;\n\
153 dimension_checked = dim:int x lower:bool x upper:bool;\n\
154 "
155 #endif
void write_dimension_checked(FILE *, dimension_checked)
Definition: abc_private.c:130
bool abc_checked_consistent_p(abc_checked)
Definition: abc_private.c:25
void dimension_checked_assign_contents(dimension_checked, dimension_checked)
Definition: abc_private.c:119
void write_abc_checked(FILE *, abc_checked)
Definition: abc_private.c:46
void array_dimension_checked_non_recursive_free(array_dimension_checked)
Definition: abc_private.c:84
dimension_checked make_dimension_checked(intptr_t, bool, bool)
Definition: abc_private.c:136
void abc_checked_assign_contents(abc_checked, abc_checked)
Definition: abc_private.c:35
dimension_checked read_dimension_checked(FILE *)
Definition: abc_private.c:133
void free_array_dimension_checked(array_dimension_checked)
Definition: abc_private.c:61
void free_dimension_checked(dimension_checked)
Definition: abc_private.c:103
list gen_array_dimension_checked_cons(array_dimension_checked, list)
Definition: abc_private.c:74
abc_checked copy_abc_checked(abc_checked)
ABC_CHECKED.
Definition: abc_private.c:16
void free_abc_checked(abc_checked)
Definition: abc_private.c:19
bool abc_checked_defined_p(abc_checked)
Definition: abc_private.c:29
array_dimension_checked read_array_dimension_checked(FILE *)
Definition: abc_private.c:91
abc_checked read_abc_checked(FILE *)
Definition: abc_private.c:49
void dimension_checked_non_recursive_free(dimension_checked)
Definition: abc_private.c:126
list gen_abc_checked_cons(abc_checked, list)
Definition: abc_private.c:32
struct _newgen_struct_dimension_checked_ * dimension_checked
Definition: abc_private.h:38
dimension_checked copy_dimension_checked(dimension_checked)
DIMENSION_CHECKED.
Definition: abc_private.c:100
dimension_checked check_dimension_checked(dimension_checked)
Definition: abc_private.c:106
void array_dimension_checked_assign_contents(array_dimension_checked, array_dimension_checked)
Definition: abc_private.c:77
bool dimension_checked_consistent_p(dimension_checked)
Definition: abc_private.c:109
array_dimension_checked copy_array_dimension_checked(array_dimension_checked)
ARRAY_DIMENSION_CHECKED.
Definition: abc_private.c:58
void abc_checked_non_recursive_free(abc_checked)
Definition: abc_private.c:42
abc_checked check_abc_checked(abc_checked)
Definition: abc_private.c:22
struct _newgen_struct_array_dimension_checked_ * array_dimension_checked
Definition: abc_private.h:30
list gen_dimension_checked_cons(dimension_checked, list)
Definition: abc_private.c:116
bool array_dimension_checked_consistent_p(array_dimension_checked)
Definition: abc_private.c:67
array_dimension_checked check_array_dimension_checked(array_dimension_checked)
Definition: abc_private.c:64
abc_checked make_abc_checked(list)
Definition: abc_private.c:52
struct _newgen_struct_abc_checked_ * abc_checked
Definition: abc_private.h:22
struct _newgen_struct_entity_ * entity
Definition: abc_private.h:14
array_dimension_checked make_array_dimension_checked(entity, list)
Definition: abc_private.c:94
void write_array_dimension_checked(FILE *, array_dimension_checked)
Definition: abc_private.c:88
bool dimension_checked_defined_p(dimension_checked)
Definition: abc_private.c:113
bool array_dimension_checked_defined_p(array_dimension_checked)
Definition: abc_private.c:71
#define intptr_t
Definition: stdint.in.h:294
list _array_dimension_checked_dims_
array:entity
Definition: abc_private.h:100
gen_chunk _dimension_checked_lower_
dim:int
Definition: abc_private.h:136
gen_chunk _dimension_checked_upper_
lower:bool
Definition: abc_private.h:137
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