PIPS
|
Go to the source code of this file.
Typedefs | |
typedef void * | Pvecteur |
Functions | |
message | copy_message (message p) |
MESSAGE. More... | |
void | free_message (message p) |
message | check_message (message p) |
bool | message_consistent_p (message p) |
bool | message_defined_p (message p) |
list | gen_message_cons (message p, list l) |
void | message_assign_contents (message r, message v) |
void | message_non_recursive_free (message p) |
void | write_message (FILE *f, message p) |
message | read_message (FILE *f) |
message | make_message (entity a1, list a2, Pvecteur a3, list a4) |
Definition at line 24 of file message.c.
References gen_check(), and message_domain.
MESSAGE.
Definition at line 18 of file message.c.
References gen_copy_tree().
void free_message | ( | message | p | ) |
Definition at line 21 of file message.c.
References gen_free().
Definition at line 34 of file message.c.
References gen_typed_cons(), and MESSAGE_NEWGEN_DOMAIN.
Definition at line 54 of file message.c.
References gen_alloc(), GEN_CHECK_ALLOC, and message_domain.
Definition at line 37 of file message.c.
References check_message(), message_assert, and message_defined_p().
Definition at line 27 of file message.c.
References check_message(), and gen_consistent_p().
Definition at line 31 of file message.c.
References gen_defined_p().
void message_non_recursive_free | ( | message | p | ) |
message read_message | ( | FILE * | f | ) |
Definition at line 51 of file message.c.
References f(), and gen_read().
void write_message | ( | FILE * | f, |
message | p | ||
) |
Definition at line 48 of file message.c.
References f(), and gen_write().