276 fprintf(stderr,
"[newgen internal error]""inconsistent domain number for db_symbol: %d (expecting %d)\n",
void free_db_symbol(db_symbol p)
void free_db_owned_resources(db_owned_resources p)
db_resources check_db_resources(db_resources p)
db_symbol check_db_symbol(db_symbol p)
list gen_db_symbol_cons(db_symbol p, list l)
db_status make_db_status(enum db_status_utype tag, void *val)
void db_resources_non_recursive_free(db_resources p)
db_resource apply_db_owned_resources(db_owned_resources f, db_symbol k)
bool db_resources_defined_p(db_resources p)
list gen_db_resource_cons(db_resource p, list l)
list gen_db_status_cons(db_status p, list l)
void db_status_assign_contents(db_status r, db_status v)
bool db_owned_resources_defined_p(db_owned_resources p)
db_resources make_db_resources(void)
bool db_owned_resources_consistent_p(db_owned_resources p)
db_symbol gen_find_db_symbol(char *s)
db_owned_resources check_db_owned_resources(db_owned_resources p)
db_owned_resources apply_db_resources(db_resources f, db_symbol k)
db_status make_db_status_loaded_and_stored(void)
bool db_status_consistent_p(db_status p)
bool bound_db_owned_resources_p(db_owned_resources f, db_symbol k)
db_status check_db_status(db_status p)
void read_tabulated_db_symbol(FILE *f)
list gen_db_resources_cons(db_resources p, list l)
db_resource read_db_resource(FILE *f)
bool db_status_defined_p(db_status p)
void update_db_resources(db_resources f, db_symbol k, db_owned_resources v)
void db_resource_assign_contents(db_resource r, db_resource v)
void update_db_owned_resources(db_owned_resources f, db_symbol k, db_resource v)
db_owned_resources copy_db_owned_resources(db_owned_resources p)
DB_OWNED_RESOURCES.
void db_owned_resources_non_recursive_free(db_owned_resources p)
db_resource check_db_resource(db_resource p)
bool db_resource_defined_p(db_resource p)
string db_status_tag_as_string(enum db_status_utype tag)
void db_symbol_assign_contents(db_symbol r, db_symbol v)
db_resource copy_db_resource(db_resource p)
DB_RESOURCE.
bool db_resources_consistent_p(db_resources p)
void free_db_resource(db_resource p)
list gen_db_owned_resources_cons(db_owned_resources p, list l)
void write_db_resource(FILE *f, db_resource p)
db_symbol copy_db_symbol(db_symbol p)
DB_SYMBOL.
db_resource delete_db_owned_resources(db_owned_resources f, db_symbol k)
db_status read_db_status(FILE *f)
db_status copy_db_status(db_status p)
DB_STATUS.
void db_symbol_non_recursive_free(db_symbol p)
db_owned_resources make_db_owned_resources(void)
db_status make_db_status_loaded(void)
void db_owned_resources_assign_contents(db_owned_resources r, db_owned_resources v)
void write_tabulated_db_symbol(FILE *f)
db_status make_db_status_stored(void)
bool db_resource_consistent_p(db_resource p)
void write_db_owned_resources(FILE *f, db_owned_resources p)
db_resources read_db_resources(FILE *f)
void write_db_status(FILE *f, db_status p)
db_symbol make_db_symbol(string a1)
db_owned_resources read_db_owned_resources(FILE *f)
db_status make_db_status_required(void)
bool bound_db_resources_p(db_resources f, db_symbol k)
void db_status_non_recursive_free(db_status p)
void write_db_resources(FILE *f, db_resources p)
bool db_symbol_consistent_p(db_symbol p)
db_resources copy_db_resources(db_resources p)
DB_RESOURCES.
void db_resource_non_recursive_free(db_resource p)
void free_db_status(db_status p)
db_owned_resources delete_db_resources(db_resources f, db_symbol k)
void db_resources_assign_contents(db_resources r, db_resources v)
db_resource make_db_resource(db_void a1, db_status a2, intptr_t a3, intptr_t a4)
void extend_db_resources(db_resources f, db_symbol k, db_owned_resources v)
bool db_symbol_defined_p(db_symbol p)
void extend_db_owned_resources(db_owned_resources f, db_symbol k, db_resource v)
void free_db_resources(db_resources p)
void gen_free(gen_chunk *obj)
version without shared_pointers.
gen_chunk * gen_alloc(int size, int gen_check_p, int dom,...)
allocates something in newgen.
int gen_write_tabulated(FILE *fd, int domain)
GEN_WRITE_TABULATED writes the tabulated object TABLE on FD.
int gen_read_tabulated(FILE *file, int create_p)
GEN_READ_TABULATED reads FILE to update the Gen_tabulated_ table.
int gen_consistent_p(gen_chunk *obj)
GEN_CONSISTENT_P dynamically checks the type correctness of OBJ.
int gen_defined_p(gen_chunk *obj)
gen_chunk * gen_check(gen_chunk *obj, int t)
GEN_CHECK checks that the gen_chunk received OBJ is of the appropriate TYPE.
gen_chunk * gen_read(FILE *file)
GEN_READ reads any object from the FILE stream.
gen_chunk * gen_copy_tree(gen_chunk *obj)
void gen_write(FILE *fd, gen_chunk *obj)
GEN_WRITE writes the OBJect on the stream FD.
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...
#define message_assert(msg, ex)
void * gen_find_tabulated(const char *, int)
#define HASH_GET(start, image, h, k)
#define HASH_EXTEND(start, image, h, k, v)
#define HASH_DELETE(start, image, h, k)
#define HASH_UPDATE(start, image, h, k, v)
#define HASH_BOUND_P(start, image, h, k)
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
#define db_owned_resources_domain
newgen_db_void_domain_defined
#define DB_RESOURCES_NEWGEN_DOMAIN
#define DB_SYMBOL_NEWGEN_DOMAIN
#define DB_STATUS_NEWGEN_DOMAIN
@ is_db_status_loaded_and_stored
#define DB_OWNED_RESOURCES_NEWGEN_DOMAIN
#define db_resource_domain
newgen_db_owned_resources_domain_defined
#define DB_RESOURCE_NEWGEN_DOMAIN
#define db_resources_hash_table(x)
#define db_status_domain
newgen_db_resources_domain_defined
#define db_symbol_domain
newgen_db_status_domain_defined
#define db_owned_resources_hash_table(x)
#define db_resources_domain
newgen_db_resource_domain_defined
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
The structure used to build lists in NewGen.
A DOMAIN union describes the structure of a user type.
A gen_chunk is used to store every object.