PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "ubs_private.h"
Go to the source code of this file.
Functions | |
ubs_check | copy_ubs_check (ubs_check p) |
UBS_CHECK. More... | |
void | free_ubs_check (ubs_check p) |
ubs_check | check_ubs_check (ubs_check p) |
bool | ubs_check_consistent_p (ubs_check p) |
bool | ubs_check_defined_p (ubs_check p) |
list | gen_ubs_check_cons (ubs_check p, list l) |
void | ubs_check_assign_contents (ubs_check r, ubs_check v) |
void | ubs_check_non_recursive_free (ubs_check p) |
void | write_ubs_check (FILE *f, ubs_check p) |
ubs_check | read_ubs_check (FILE *f) |
ubs_check | make_ubs_check (entity a1, entity a2) |
ubs | copy_ubs (ubs p) |
UBS. More... | |
void | free_ubs (ubs p) |
ubs | check_ubs (ubs p) |
bool | ubs_consistent_p (ubs p) |
bool | ubs_defined_p (ubs p) |
list | gen_ubs_cons (ubs p, list l) |
void | ubs_assign_contents (ubs r, ubs v) |
void | ubs_non_recursive_free (ubs p) |
void | write_ubs (FILE *f, ubs p) |
ubs | read_ubs (FILE *f) |
ubs | make_ubs (list a) |
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().