PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_atom_ |
struct | _newgen_struct_chain_ |
struct | _newgen_struct_data_ |
struct | _newgen_struct_dataval_ |
struct | _newgen_struct_datavar_ |
struct | _newgen_struct_equivalences_ |
Typedefs | |
typedef struct _newgen_struct_entity_ * | entity |
typedef struct _newgen_struct_constant_ * | constant |
typedef struct _newgen_struct_atom_ * | atom |
typedef struct _newgen_struct_chain_ * | chain |
typedef struct _newgen_struct_data_ * | data |
typedef struct _newgen_struct_dataval_ * | dataval |
typedef struct _newgen_struct_datavar_ * | datavar |
typedef struct _newgen_struct_equivalences_ * | equivalences |
#define _gen_parser_private_start 108 |
Definition at line 3 of file parser_private.h.
#define _newgen_atom_domain_defined_ |
Definition at line 26 of file parser_private.h.
#define _newgen_chain_domain_defined_ |
Definition at line 34 of file parser_private.h.
#define _newgen_constant_domain_defined_ |
newgen_entity_domain_defined
Definition at line 18 of file parser_private.h.
#define _newgen_data_domain_defined_ |
Definition at line 42 of file parser_private.h.
#define _newgen_dataval_domain_defined_ |
Definition at line 50 of file parser_private.h.
#define _newgen_datavar_domain_defined_ |
Definition at line 58 of file parser_private.h.
#define _newgen_entity_domain_defined_ |
Definition at line 11 of file parser_private.h.
#define _newgen_equivalences_domain_defined_ |
Definition at line 66 of file parser_private.h.
Definition at line 77 of file parser_private.h.
Definition at line 75 of file parser_private.h.
Definition at line 76 of file parser_private.h.
#define atom_domain (_gen_parser_private_start+0) |
newgen_constant_domain_defined
Definition at line 24 of file parser_private.h.
Definition at line 102 of file parser_private.h.
Definition at line 106 of file parser_private.h.
#define atom_equioff_ | ( | x | ) | atom_equioff(x) /**old hack compatible */ |
Definition at line 105 of file parser_private.h.
Definition at line 104 of file parser_private.h.
#define atom_equivar_ | ( | x | ) | atom_equivar(x) /**old hack compatible */ |
Definition at line 103 of file parser_private.h.
#define ATOM_NEWGEN_DOMAIN (atom_domain) |
Definition at line 27 of file parser_private.h.
#define atom_NEWGEN_DOMAIN (atom_domain) |
Definition at line 28 of file parser_private.h.
#define ATOM_TYPE atom |
Definition at line 78 of file parser_private.h.
#define atom_TYPE atom |
Definition at line 79 of file parser_private.h.
#define atom_undefined ((atom)gen_chunk_undefined) |
Definition at line 80 of file parser_private.h.
#define atom_undefined_p | ( | x | ) | ((x)==atom_undefined) |
Definition at line 81 of file parser_private.h.
CHAIN.
Definition at line 110 of file parser_private.h.
Definition at line 113 of file parser_private.h.
Definition at line 138 of file parser_private.h.
Definition at line 111 of file parser_private.h.
Definition at line 112 of file parser_private.h.
#define chain_domain (_gen_parser_private_start+1) |
newgen_atom_domain_defined
Definition at line 32 of file parser_private.h.
Definition at line 137 of file parser_private.h.
#define CHAIN_NEWGEN_DOMAIN (chain_domain) |
Definition at line 35 of file parser_private.h.
#define chain_NEWGEN_DOMAIN (chain_domain) |
Definition at line 36 of file parser_private.h.
#define CHAIN_TYPE chain |
Definition at line 114 of file parser_private.h.
#define chain_TYPE chain |
Definition at line 115 of file parser_private.h.
#define chain_undefined ((chain)gen_chunk_undefined) |
Definition at line 116 of file parser_private.h.
#define chain_undefined_p | ( | x | ) | ((x)==chain_undefined) |
Definition at line 117 of file parser_private.h.
#define CONSTANT_NEWGEN_DOMAIN (constant_domain) |
Definition at line 19 of file parser_private.h.
#define constant_NEWGEN_DOMAIN (constant_domain) |
Definition at line 20 of file parser_private.h.
DATA.
Definition at line 142 of file parser_private.h.
Definition at line 145 of file parser_private.h.
Definition at line 143 of file parser_private.h.
Definition at line 144 of file parser_private.h.
Definition at line 174 of file parser_private.h.
#define data_datavals_ | ( | x | ) | data_datavals(x) /**old hack compatible */ |
Definition at line 173 of file parser_private.h.
Definition at line 172 of file parser_private.h.
#define data_datavars_ | ( | x | ) | data_datavars(x) /**old hack compatible */ |
Definition at line 171 of file parser_private.h.
#define data_domain (_gen_parser_private_start+2) |
newgen_chain_domain_defined
Definition at line 40 of file parser_private.h.
Definition at line 170 of file parser_private.h.
#define DATA_NEWGEN_DOMAIN (data_domain) |
Definition at line 43 of file parser_private.h.
#define data_NEWGEN_DOMAIN (data_domain) |
Definition at line 44 of file parser_private.h.
#define DATA_TYPE data |
Definition at line 146 of file parser_private.h.
#define data_TYPE data |
Definition at line 147 of file parser_private.h.
#define data_undefined ((data)gen_chunk_undefined) |
Definition at line 148 of file parser_private.h.
#define data_undefined_p | ( | x | ) | ((x)==data_undefined) |
Definition at line 149 of file parser_private.h.
DATAVAL.
Definition at line 178 of file parser_private.h.
Definition at line 181 of file parser_private.h.
Definition at line 179 of file parser_private.h.
Definition at line 180 of file parser_private.h.
Definition at line 208 of file parser_private.h.
#define dataval_constant_ | ( | x | ) | dataval_constant(x) /**old hack compatible */ |
Definition at line 207 of file parser_private.h.
#define dataval_domain (_gen_parser_private_start+3) |
newgen_data_domain_defined
Definition at line 48 of file parser_private.h.
Definition at line 206 of file parser_private.h.
Definition at line 210 of file parser_private.h.
#define dataval_nboccurrences_ | ( | x | ) | dataval_nboccurrences(x) /**old hack compatible */ |
Definition at line 209 of file parser_private.h.
#define DATAVAL_NEWGEN_DOMAIN (dataval_domain) |
Definition at line 51 of file parser_private.h.
#define dataval_NEWGEN_DOMAIN (dataval_domain) |
Definition at line 52 of file parser_private.h.
#define DATAVAL_TYPE dataval |
Definition at line 182 of file parser_private.h.
#define dataval_TYPE dataval |
Definition at line 183 of file parser_private.h.
#define dataval_undefined ((dataval)gen_chunk_undefined) |
Definition at line 184 of file parser_private.h.
#define dataval_undefined_p | ( | x | ) | ((x)==dataval_undefined) |
Definition at line 185 of file parser_private.h.
DATAVAR.
Definition at line 214 of file parser_private.h.
Definition at line 217 of file parser_private.h.
Definition at line 215 of file parser_private.h.
Definition at line 216 of file parser_private.h.
#define datavar_domain (_gen_parser_private_start+4) |
newgen_dataval_domain_defined
Definition at line 56 of file parser_private.h.
Definition at line 242 of file parser_private.h.
Definition at line 246 of file parser_private.h.
#define datavar_nbelements_ | ( | x | ) | datavar_nbelements(x) /**old hack compatible */ |
Definition at line 245 of file parser_private.h.
#define DATAVAR_NEWGEN_DOMAIN (datavar_domain) |
Definition at line 59 of file parser_private.h.
#define datavar_NEWGEN_DOMAIN (datavar_domain) |
Definition at line 60 of file parser_private.h.
#define DATAVAR_TYPE datavar |
Definition at line 218 of file parser_private.h.
#define datavar_TYPE datavar |
Definition at line 219 of file parser_private.h.
#define datavar_undefined ((datavar)gen_chunk_undefined) |
Definition at line 220 of file parser_private.h.
#define datavar_undefined_p | ( | x | ) | ((x)==datavar_undefined) |
Definition at line 221 of file parser_private.h.
Definition at line 244 of file parser_private.h.
#define datavar_variable_ | ( | x | ) | datavar_variable(x) /**old hack compatible */ |
Definition at line 243 of file parser_private.h.
#define ENTITY_NEWGEN_DOMAIN (entity_domain) |
Definition at line 12 of file parser_private.h.
#define entity_NEWGEN_DOMAIN (entity_domain) |
Definition at line 13 of file parser_private.h.
#define EQUIVALENCES | ( | x | ) | ((equivalences)((x).p)) |
EQUIVALENCES.
Definition at line 250 of file parser_private.h.
Definition at line 253 of file parser_private.h.
#define equivalences_CAST | ( | x | ) | EQUIVALENCES(x) |
Definition at line 251 of file parser_private.h.
#define EQUIVALENCES_CAST | ( | x | ) | EQUIVALENCES(x) |
Definition at line 252 of file parser_private.h.
Definition at line 278 of file parser_private.h.
#define equivalences_domain (_gen_parser_private_start+5) |
newgen_datavar_domain_defined
Definition at line 64 of file parser_private.h.
Definition at line 277 of file parser_private.h.
#define EQUIVALENCES_NEWGEN_DOMAIN (equivalences_domain) |
Definition at line 67 of file parser_private.h.
#define equivalences_NEWGEN_DOMAIN (equivalences_domain) |
Definition at line 68 of file parser_private.h.
#define EQUIVALENCES_TYPE equivalences |
Definition at line 254 of file parser_private.h.
#define equivalences_TYPE equivalences |
Definition at line 255 of file parser_private.h.
#define equivalences_undefined ((equivalences)gen_chunk_undefined) |
Definition at line 256 of file parser_private.h.
#define equivalences_undefined_p | ( | x | ) | ((x)==equivalences_undefined) |
Definition at line 257 of file parser_private.h.
#define gen_ATOM_cons gen_atom_cons |
Definition at line 88 of file parser_private.h.
#define gen_CHAIN_cons gen_chain_cons |
Definition at line 124 of file parser_private.h.
#define gen_DATA_cons gen_data_cons |
Definition at line 156 of file parser_private.h.
#define gen_DATAVAL_cons gen_dataval_cons |
Definition at line 192 of file parser_private.h.
#define gen_DATAVAR_cons gen_datavar_cons |
Definition at line 228 of file parser_private.h.
#define gen_EQUIVALENCES_cons gen_equivalences_cons |
Definition at line 264 of file parser_private.h.
#define parser_private_spec "\--NEWGEN-START 108\n\import entity from \"ri.newgen\";\n\import constant from \"ri.newgen\";\n\atom = equivar:entity x equioff:int;\n\chain = atoms:atom*;\n\data = datavars:datavar* x datavals:dataval*;\n\dataval = constant:constant x nboccurrences:int;\n\datavar = variable:entity x nbelements:int;\n\equivalences = chains:chain*;\n\" |
Definition at line 280 of file parser_private.h.
typedef struct _newgen_struct_atom_* atom |
Definition at line 29 of file parser_private.h.
typedef struct _newgen_struct_chain_* chain |
Definition at line 37 of file parser_private.h.
typedef struct _newgen_struct_constant_* constant |
Definition at line 21 of file parser_private.h.
typedef struct _newgen_struct_data_* data |
Definition at line 45 of file parser_private.h.
typedef struct _newgen_struct_dataval_* dataval |
Definition at line 53 of file parser_private.h.
typedef struct _newgen_struct_datavar_* datavar |
Definition at line 61 of file parser_private.h.
typedef struct _newgen_struct_entity_* entity |
Definition at line 14 of file parser_private.h.
typedef struct _newgen_struct_equivalences_* equivalences |
Definition at line 69 of file parser_private.h.
Definition at line 35 of file parser_private.c.
References atom_defined_p(), check_atom(), and message_assert.
Definition at line 25 of file parser_private.c.
References check_atom(), and gen_consistent_p().
Definition at line 29 of file parser_private.c.
References gen_defined_p().
Referenced by atom_assign_contents().
void atom_non_recursive_free | ( | atom | p | ) |
Definition at line 42 of file parser_private.c.
References free().
Definition at line 77 of file parser_private.c.
References chain_defined_p(), check_chain(), and message_assert.
Definition at line 67 of file parser_private.c.
References check_chain(), and gen_consistent_p().
Definition at line 71 of file parser_private.c.
References gen_defined_p().
Referenced by chain_assign_contents().
void chain_non_recursive_free | ( | chain | p | ) |
Definition at line 84 of file parser_private.c.
References free().
Definition at line 22 of file parser_private.c.
References atom_domain, and gen_check().
Referenced by atom_assign_contents(), and atom_consistent_p().
Definition at line 64 of file parser_private.c.
References chain_domain, and gen_check().
Referenced by chain_assign_contents(), and chain_consistent_p().
Definition at line 106 of file parser_private.c.
References data_domain, and gen_check().
Referenced by data_assign_contents(), and data_consistent_p().
Definition at line 148 of file parser_private.c.
References dataval_domain, and gen_check().
Referenced by dataval_assign_contents(), and dataval_consistent_p().
Definition at line 190 of file parser_private.c.
References datavar_domain, and gen_check().
Referenced by datavar_assign_contents(), and datavar_consistent_p().
equivalences check_equivalences | ( | equivalences | p | ) |
Definition at line 232 of file parser_private.c.
References equivalences_domain, and gen_check().
Referenced by equivalences_assign_contents(), and equivalences_consistent_p().
ATOM.
Definition at line 16 of file parser_private.c.
References gen_copy_tree().
CHAIN.
Definition at line 58 of file parser_private.c.
References gen_copy_tree().
DATA.
Definition at line 100 of file parser_private.c.
References gen_copy_tree().
DATAVAL.
Definition at line 142 of file parser_private.c.
References gen_copy_tree().
DATAVAR.
Definition at line 184 of file parser_private.c.
References gen_copy_tree().
equivalences copy_equivalences | ( | equivalences | p | ) |
EQUIVALENCES.
Definition at line 226 of file parser_private.c.
References gen_copy_tree().
Definition at line 119 of file parser_private.c.
References check_data(), data_defined_p(), and message_assert.
Definition at line 109 of file parser_private.c.
References check_data(), and gen_consistent_p().
Definition at line 113 of file parser_private.c.
References gen_defined_p().
Referenced by data_assign_contents().
void data_non_recursive_free | ( | data | p | ) |
Definition at line 126 of file parser_private.c.
References free().
Definition at line 161 of file parser_private.c.
References check_dataval(), dataval_defined_p(), and message_assert.
Definition at line 151 of file parser_private.c.
References check_dataval(), and gen_consistent_p().
Definition at line 155 of file parser_private.c.
References gen_defined_p().
Referenced by dataval_assign_contents().
void dataval_non_recursive_free | ( | dataval | p | ) |
Definition at line 168 of file parser_private.c.
References free().
Definition at line 203 of file parser_private.c.
References check_datavar(), datavar_defined_p(), and message_assert.
Definition at line 193 of file parser_private.c.
References check_datavar(), and gen_consistent_p().
Definition at line 197 of file parser_private.c.
References gen_defined_p().
Referenced by datavar_assign_contents().
void datavar_non_recursive_free | ( | datavar | p | ) |
Definition at line 210 of file parser_private.c.
References free().
void equivalences_assign_contents | ( | equivalences | r, |
equivalences | v | ||
) |
Definition at line 245 of file parser_private.c.
References check_equivalences(), equivalences_defined_p(), and message_assert.
bool equivalences_consistent_p | ( | equivalences | p | ) |
Definition at line 235 of file parser_private.c.
References check_equivalences(), and gen_consistent_p().
bool equivalences_defined_p | ( | equivalences | p | ) |
Definition at line 239 of file parser_private.c.
References gen_defined_p().
Referenced by equivalences_assign_contents().
void equivalences_non_recursive_free | ( | equivalences | p | ) |
Definition at line 252 of file parser_private.c.
References free().
void free_atom | ( | atom | p | ) |
Definition at line 19 of file parser_private.c.
References gen_free().
void free_chain | ( | chain | p | ) |
Definition at line 61 of file parser_private.c.
References gen_free().
void free_data | ( | data | p | ) |
Definition at line 103 of file parser_private.c.
References gen_free().
void free_dataval | ( | dataval | p | ) |
Definition at line 145 of file parser_private.c.
References gen_free().
void free_datavar | ( | datavar | p | ) |
Definition at line 187 of file parser_private.c.
References gen_free().
void free_equivalences | ( | equivalences | p | ) |
Definition at line 229 of file parser_private.c.
References gen_free().
Referenced by ComputeEquivalences(), and ResetChains().
Definition at line 32 of file parser_private.c.
References ATOM_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 74 of file parser_private.c.
References CHAIN_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 116 of file parser_private.c.
References DATA_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 158 of file parser_private.c.
References DATAVAL_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 200 of file parser_private.c.
References DATAVAR_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_equivalences_cons | ( | equivalences | p, |
list | l | ||
) |
Definition at line 242 of file parser_private.c.
References EQUIVALENCES_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 52 of file parser_private.c.
References atom_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by MakeEquivAtom().
Definition at line 94 of file parser_private.c.
References chain_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by AddOrMergeChain().
Definition at line 136 of file parser_private.c.
References data_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Definition at line 178 of file parser_private.c.
References dataval_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Definition at line 220 of file parser_private.c.
References datavar_domain, gen_alloc(), and GEN_CHECK_ALLOC.
equivalences make_equivalences | ( | list | a | ) |
Definition at line 262 of file parser_private.c.
References equivalences_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Referenced by ComputeEquivalences(), and SetChains().
atom read_atom | ( | FILE * | f | ) |
Definition at line 49 of file parser_private.c.
References f(), and gen_read().
chain read_chain | ( | FILE * | f | ) |
Definition at line 91 of file parser_private.c.
References f(), and gen_read().
data read_data | ( | FILE * | f | ) |
Definition at line 133 of file parser_private.c.
References f(), and gen_read().
dataval read_dataval | ( | FILE * | f | ) |
Definition at line 175 of file parser_private.c.
References f(), and gen_read().
datavar read_datavar | ( | FILE * | f | ) |
Definition at line 217 of file parser_private.c.
References f(), and gen_read().
equivalences read_equivalences | ( | FILE * | f | ) |
Definition at line 259 of file parser_private.c.
References f(), and gen_read().
void write_atom | ( | FILE * | f, |
atom | p | ||
) |
Definition at line 46 of file parser_private.c.
References f(), and gen_write().
void write_chain | ( | FILE * | f, |
chain | p | ||
) |
Definition at line 88 of file parser_private.c.
References f(), and gen_write().
void write_data | ( | FILE * | f, |
data | p | ||
) |
Definition at line 130 of file parser_private.c.
References f(), and gen_write().
void write_dataval | ( | FILE * | f, |
dataval | p | ||
) |
Definition at line 172 of file parser_private.c.
References f(), and gen_write().
void write_datavar | ( | FILE * | f, |
datavar | p | ||
) |
Definition at line 214 of file parser_private.c.
References f(), and gen_write().
void write_equivalences | ( | FILE * | f, |
equivalences | p | ||
) |
Definition at line 256 of file parser_private.c.
References f(), and gen_write().