PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_ubs_check_ |
struct | _newgen_struct_ubs_ |
Typedefs | |
typedef struct _newgen_struct_entity_ * | entity |
typedef struct _newgen_struct_ubs_check_ * | ubs_check |
typedef struct _newgen_struct_ubs_ * | ubs |
Functions | |
ubs_check | copy_ubs_check (ubs_check) |
UBS_CHECK. More... | |
void | free_ubs_check (ubs_check) |
ubs_check | check_ubs_check (ubs_check) |
bool | ubs_check_consistent_p (ubs_check) |
bool | ubs_check_defined_p (ubs_check) |
list | gen_ubs_check_cons (ubs_check, list) |
void | ubs_check_assign_contents (ubs_check, ubs_check) |
void | ubs_check_non_recursive_free (ubs_check) |
void | write_ubs_check (FILE *, ubs_check) |
ubs_check | read_ubs_check (FILE *) |
ubs_check | make_ubs_check (entity, entity) |
ubs | copy_ubs (ubs) |
UBS. More... | |
void | free_ubs (ubs) |
ubs | check_ubs (ubs) |
bool | ubs_consistent_p (ubs) |
bool | ubs_defined_p (ubs) |
list | gen_ubs_cons (ubs, list) |
void | ubs_assign_contents (ubs, ubs) |
void | ubs_non_recursive_free (ubs) |
void | write_ubs (FILE *, ubs) |
ubs | read_ubs (FILE *) |
ubs | make_ubs (list) |
#define _gen_ubs_private_start 96 |
Definition at line 3 of file ubs_private.h.
#define _newgen_entity_domain_defined_ |
Definition at line 11 of file ubs_private.h.
#define _newgen_ubs_check_domain_defined_ |
Definition at line 19 of file ubs_private.h.
#define _newgen_ubs_domain_defined_ |
Definition at line 27 of file ubs_private.h.
#define ENTITY_NEWGEN_DOMAIN (entity_domain) |
Definition at line 12 of file ubs_private.h.
#define entity_NEWGEN_DOMAIN (entity_domain) |
Definition at line 13 of file ubs_private.h.
#define gen_UBS_CHECK_cons gen_ubs_check_cons |
Definition at line 49 of file ubs_private.h.
#define gen_UBS_cons gen_ubs_cons |
Definition at line 85 of file ubs_private.h.
UBS.
Definition at line 71 of file ubs_private.h.
Definition at line 74 of file ubs_private.h.
Definition at line 72 of file ubs_private.h.
Definition at line 73 of file ubs_private.h.
Definition at line 38 of file ubs_private.h.
Definition at line 36 of file ubs_private.h.
Definition at line 37 of file ubs_private.h.
#define ubs_check_domain (_gen_ubs_private_start+0) |
newgen_entity_domain_defined
Definition at line 17 of file ubs_private.h.
Definition at line 63 of file ubs_private.h.
Definition at line 65 of file ubs_private.h.
#define ubs_check_module_ | ( | x | ) | ubs_check_module(x) /**old hack compatible */ |
Definition at line 64 of file ubs_private.h.
#define UBS_CHECK_NEWGEN_DOMAIN (ubs_check_domain) |
Definition at line 20 of file ubs_private.h.
#define ubs_check_NEWGEN_DOMAIN (ubs_check_domain) |
Definition at line 21 of file ubs_private.h.
#define UBS_CHECK_TYPE ubs_check |
Definition at line 39 of file ubs_private.h.
#define ubs_check_TYPE ubs_check |
Definition at line 40 of file ubs_private.h.
#define ubs_check_undefined ((ubs_check)gen_chunk_undefined) |
Definition at line 41 of file ubs_private.h.
#define ubs_check_undefined_p | ( | x | ) | ((x)==ubs_check_undefined) |
Definition at line 42 of file ubs_private.h.
Definition at line 67 of file ubs_private.h.
#define ubs_check_variable_ | ( | x | ) | ubs_check_variable(x) /**old hack compatible */ |
Definition at line 66 of file ubs_private.h.
#define ubs_domain (_gen_ubs_private_start+1) |
newgen_ubs_check_domain_defined
Definition at line 25 of file ubs_private.h.
Definition at line 98 of file ubs_private.h.
Definition at line 99 of file ubs_private.h.
#define UBS_NEWGEN_DOMAIN (ubs_domain) |
Definition at line 28 of file ubs_private.h.
#define ubs_NEWGEN_DOMAIN (ubs_domain) |
Definition at line 29 of file ubs_private.h.
#define ubs_private_spec "\--NEWGEN-START 96\n\import entity from \"ri.newgen\";\n\ubs_check = module:entity x variable:entity;\n\ubs = list:ubs_check*;\n\" |
Definition at line 101 of file ubs_private.h.
#define UBS_TYPE ubs |
Definition at line 75 of file ubs_private.h.
#define ubs_TYPE ubs |
Definition at line 76 of file ubs_private.h.
#define ubs_undefined ((ubs)gen_chunk_undefined) |
Definition at line 77 of file ubs_private.h.
#define ubs_undefined_p | ( | x | ) | ((x)==ubs_undefined) |
Definition at line 78 of file ubs_private.h.
typedef struct _newgen_struct_entity_* entity |
Definition at line 14 of file ubs_private.h.
typedef struct _newgen_struct_ubs_* ubs |
Definition at line 30 of file ubs_private.h.
typedef struct _newgen_struct_ubs_check_* ubs_check |
Definition at line 22 of file ubs_private.h.
Definition at line 64 of file ubs_private.c.
References gen_check(), and ubs_domain.
Referenced by ubs_assign_contents(), and ubs_consistent_p().
Definition at line 22 of file ubs_private.c.
References gen_check(), and ubs_check_domain.
Referenced by ubs_check_assign_contents(), and ubs_check_consistent_p().
UBS.
Definition at line 58 of file ubs_private.c.
References gen_copy_tree().
Referenced by used_before_set().
UBS_CHECK.
Definition at line 16 of file ubs_private.c.
References gen_copy_tree().
void free_ubs | ( | ubs | p | ) |
Definition at line 61 of file ubs_private.c.
References gen_free().
void free_ubs_check | ( | ubs_check | p | ) |
Definition at line 19 of file ubs_private.c.
References gen_free().
Definition at line 32 of file ubs_private.c.
References gen_typed_cons(), and UBS_CHECK_NEWGEN_DOMAIN.
Definition at line 74 of file ubs_private.c.
References gen_typed_cons(), and UBS_NEWGEN_DOMAIN.
Definition at line 94 of file ubs_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and ubs_domain.
Referenced by used_before_set().
Definition at line 52 of file ubs_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and ubs_check_domain.
Referenced by verify_used_before_set_call().
ubs read_ubs | ( | FILE * | f | ) |
Definition at line 91 of file ubs_private.c.
References f(), and gen_read().
ubs_check read_ubs_check | ( | FILE * | f | ) |
Definition at line 49 of file ubs_private.c.
References f(), and gen_read().
Definition at line 77 of file ubs_private.c.
References check_ubs(), message_assert, and ubs_defined_p().
Definition at line 35 of file ubs_private.c.
References check_ubs_check(), message_assert, and ubs_check_defined_p().
Definition at line 25 of file ubs_private.c.
References check_ubs_check(), and gen_consistent_p().
Definition at line 29 of file ubs_private.c.
References gen_defined_p().
Referenced by ubs_check_assign_contents().
void ubs_check_non_recursive_free | ( | ubs_check | p | ) |
Definition at line 42 of file ubs_private.c.
References free().
Definition at line 67 of file ubs_private.c.
References check_ubs(), and gen_consistent_p().
Definition at line 71 of file ubs_private.c.
References gen_defined_p().
Referenced by ubs_assign_contents().
void ubs_non_recursive_free | ( | ubs | p | ) |
Definition at line 84 of file ubs_private.c.
References free().
void write_ubs | ( | FILE * | f, |
ubs | p | ||
) |
Definition at line 88 of file ubs_private.c.
References f(), and gen_write().
void write_ubs_check | ( | FILE * | f, |
ubs_check | p | ||
) |
Definition at line 46 of file ubs_private.c.
References f(), and gen_write().