PIPS
|
Go to the source code of this file.
Typedefs | |
typedef hash_table | statement_mapping |
typedef hash_table | entity_mapping |
typedef hash_table | control_mapping |
Functions | |
void | initialize_newgen (void) |
cproto-generated files More... | |
void | vect_gen_write (FILE *, Pvecteur) |
Pvecteur.c. More... | |
Pvecteur | vect_gen_read (FILE *, int(*)(void)) |
void | vect_gen_free (Pvecteur) |
Pvecteur | vect_gen_copy_tree (Pvecteur) |
int | vect_gen_allocated_memory (Pvecteur) |
int | contrainte_gen_allocated_memory (Pcontrainte) |
void | monome_gen_write (FILE *, Pmonome) |
Ppolynome.c. More... | |
Pmonome | monome_gen_read (FILE *, int(*)(void)) |
void | monome_gen_free (Pmonome) |
Pmonome | monome_gen_copy_tree (Pmonome) |
void | polynome_gen_write (FILE *, Ppolynome) |
Ppolynome | polynome_gen_read (FILE *, int(*)(void)) |
void | polynome_gen_free (Ppolynome) |
Ppolynome | polynome_gen_copy_tree (Ppolynome) |
int | monome_gen_allocated_memory (Pmonome) |
int | polynome_gen_allocated_memory (Ppolynome) |
void | sc_gen_write (FILE *, Psysteme) |
Psc.c. More... | |
Psysteme | sc_gen_read (FILE *, int(*)(void)) |
void | sc_gen_free (Psysteme) |
Psysteme | sc_gen_copy_tree (Psysteme) |
int | sc_gen_allocated_memory (Psysteme) |
#define CONTROL_MAPPING_COUNT | ( | map | ) | hash_table_entry_count((hash_table) map) |
#define DEFINE_CURRENT_MAPPING | ( | name, | |
type | |||
) | GENERIC_CURRENT_MAPPING(name, type, statement) |
#define ENTITY_MAPPING_COUNT | ( | map | ) | hash_table_entry_count((hash_table) map) |
#define FREE_CONTROL_MAPPING | ( | map | ) | (hash_table_free((hash_table) (map))) |
#define FREE_ENTITY_MAPPING | ( | map | ) | (hash_table_free((hash_table) (map))) |
#define FREE_STATEMENT_MAPPING | ( | map | ) | (hash_table_free((hash_table) (map))) |
#define GET_CONTROL_MAPPING | ( | map, | |
cont | |||
) | hash_get((hash_table) (map), (char *)(cont)) |
#define GET_ENTITY_MAPPING | ( | map, | |
ent | |||
) | hash_get((hash_table) (map), (char *)(ent)) |
#define GET_STATEMENT_MAPPING | ( | map, | |
stat | |||
) | hash_get((hash_table) (map), (char *) (stat)) |
#define MAKE_CONTROL_MAPPING | ( | ) | ((control_mapping) hash_table_make(hash_pointer, 0)) |
#define MAKE_ENTITY_MAPPING | ( | ) | ((entity_mapping) hash_table_make(hash_pointer, 0)) |
#define MAKE_STATEMENT_MAPPING | ( | ) | (statement_mapping) hash_table_make(hash_pointer, 0) |
#define SET_CONTROL_MAPPING | ( | map, | |
cont, | |||
val | |||
) | hash_put((hash_table) (map), (char *)(cont), (char *)(val)) |
#define SET_ENTITY_MAPPING | ( | map, | |
ent, | |||
val | |||
) | hash_put((hash_table) (map), (char *)(ent), (char *)(val)) |
#define SET_STATEMENT_MAPPING | ( | map, | |
stat, | |||
val | |||
) | hash_put((hash_table) (map), (char *)(stat), (char *)(val)) |
#define STATEMENT_MAPPING_COUNT | ( | map | ) | hash_table_entry_count((hash_table) map) |
#define STATEMENT_MAPPING_INCLUDED |
#define STATEMENT_ORDERING_UNDEFINED (-1) |
Warning! Do not modify this file that is automatically generated!
Modify src/Libs/newgen/newgen-local.h instead, to add your own modifications. header file built by cproto newgen-local.h mapping.h inclusion
I do that because this file was previously included in genC.h, but the macros defined here use ri types (statement, entity...). three typedef are also included here. ri.h is a prerequisit for mapping.h.
FC, Feb 21, 1994
typedef hash_table control_mapping |
typedef hash_table entity_mapping |
typedef hash_table statement_mapping |
int contrainte_gen_allocated_memory | ( | Pcontrainte | pc | ) |
pc | c |
Definition at line 176 of file Pvecteur.c.
References Scontrainte::succ, vect_gen_allocated_memory(), and Scontrainte::vecteur.
Referenced by sc_gen_allocated_memory().
void initialize_newgen | ( | void | ) |
cproto-generated files
Read NewGen specification file
Initialise external functions... re-entry in newgen because of the graph stuff...
can't get the size... FC
can't get the size... FC
added because newgen lacks support for hash maps with integer keys
read
write
free
copy
size
do nothing!
read
write
free
copy
size
Definition at line 48 of file newgen.c.
References ALL_SPECS, ARC_LABEL_NEWGEN_EXTERNAL, DB_VOID_NEWGEN_EXTERNAL, free(), gen_allocated_memory(), gen_copy_tree_with_sharing(), gen_core(), gen_core_NULL(), gen_false(), gen_free(), gen_identity(), gen_init_external(), gen_null(), gen_NULL(), gen_read(), gen_read_spec(), gen_true(), gen_write(), MATRICE_NEWGEN_EXTERNAL, OPERATOR_ID_SONS_NEWGEN_EXTERNAL, polynome_gen_allocated_memory(), polynome_gen_copy_tree(), polynome_gen_free(), polynome_gen_read(), polynome_gen_write(), PPOLYNOME_NEWGEN_EXTERNAL, PSYSTEME_NEWGEN_EXTERNAL, PTSG_NEWGEN_EXTERNAL, PVECTEUR_NEWGEN_EXTERNAL, sc_gen_allocated_memory(), sc_gen_copy_tree(), sc_gen_free(), sc_gen_read(), sc_gen_write(), sg_dup(), sg_rm(), vect_gen_allocated_memory(), vect_gen_copy_tree(), vect_gen_free(), vect_gen_read(), vect_gen_write(), VERTEX_LABEL_NEWGEN_EXTERNAL, and VOID_STAR_NEWGEN_EXTERNAL.
Referenced by atinit(), gpips_main(), pips_main(), tpips_init(), and wpips_main().
Definition at line 161 of file Ppolynome.c.
References Smonome::term, and vect_gen_allocated_memory().
Referenced by polynome_gen_allocated_memory().
pm | m |
Definition at line 91 of file Ppolynome.c.
References monome_dup().
void monome_gen_free | ( | Pmonome | pm | ) |
pm | m |
Definition at line 85 of file Ppolynome.c.
References monome_rm().
void monome_gen_write | ( | FILE * | fd, |
Pmonome | pm | ||
) |
fd | d |
pm | m |
Definition at line 40 of file Ppolynome.c.
References fprintf(), monome_coeff, monome_term, MONOME_UNDEFINED_P, pips_assert, and vect_gen_write().
Referenced by polynome_gen_write().
Definition at line 168 of file Ppolynome.c.
References Spolynome::monome, monome_gen_allocated_memory(), and Spolynome::succ.
Referenced by initialize_newgen().
pp | p |
Definition at line 154 of file Ppolynome.c.
References polynome_dup().
Referenced by initialize_newgen(), and main().
void polynome_gen_free | ( | Ppolynome | pp | ) |
pp | p |
Definition at line 148 of file Ppolynome.c.
References polynome_rm().
Referenced by initialize_newgen(), and main().
void polynome_gen_write | ( | FILE * | fd, |
Ppolynome | pp | ||
) |
fd | d |
pp | p |
Definition at line 97 of file Ppolynome.c.
References fprintf(), monome_gen_write(), pips_assert, polynome_monome, POLYNOME_NUL_P, polynome_succ, and POLYNOME_UNDEFINED_P.
Referenced by initialize_newgen(), and main().
Definition at line 208 of file Psc.c.
References contrainte_gen_allocated_memory(), and vect_gen_allocated_memory().
Referenced by initialize_newgen().
Definition at line 203 of file Psc.c.
References sc_copy().
Referenced by initialize_newgen(), and main().
void sc_gen_free | ( | Psysteme | s | ) |
Definition at line 198 of file Psc.c.
References sc_rm().
Referenced by initialize_newgen(), and main().
void sc_gen_write | ( | FILE * | fd, |
Psysteme | s | ||
) |
FI: we cannot not store SC_UNDEFINED as it is used in regions; we cannot store it like a system with an empty basis, no inequalities and no equalities because it is used to define transformer identity; conclusion: region library has to be changed and to use transformer_undefined as context
Current kludge: SC_UNDEFINED is stored but retrieved as a system with 0 equalities and 0 inequalities over a space of dimension 0
fd | d |
Definition at line 82 of file Psc.c.
References Ssysteme::base, CONTRAINTE_UNDEFINED, Ssysteme::egalites, Ssysteme::inegalites, pips_assert, sc_make(), Scontrainte::succ, vect_gen_write(), and Scontrainte::vecteur.
Referenced by initialize_newgen(), and main().
Definition at line 168 of file Pvecteur.c.
References Svecteur::succ.
Referenced by contrainte_gen_allocated_memory(), initialize_newgen(), monome_gen_allocated_memory(), pips_init(), and sc_gen_allocated_memory().
Definition at line 163 of file Pvecteur.c.
References vect_copy().
Referenced by initialize_newgen(), main(), and pips_init().
void vect_gen_free | ( | Pvecteur | v | ) |
Definition at line 158 of file Pvecteur.c.
References vect_rm().
Referenced by initialize_newgen(), main(), and pips_init().
Referenced by initialize_newgen(), main(), monome_gen_read(), pips_init(), and sc_gen_read().
void vect_gen_write | ( | FILE * | fd, |
Pvecteur | v | ||
) |
fd | d |
Definition at line 108 of file Pvecteur.c.
References entity_name, fprint_Value(), print_token(), Svecteur::succ, TCST_NAME, val_of, and Svecteur::var.
Referenced by initialize_newgen(), main(), monome_gen_write(), pips_init(), and sc_gen_write().