PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "freia_spoc_private.h"
Go to the source code of this file.
Definition at line 22 of file freia_spoc_private.c.
References dag_domain, and gen_check().
Definition at line 64 of file freia_spoc_private.c.
References dagvtx_domain, and gen_check().
pstatement check_pstatement | ( | pstatement | p | ) |
Definition at line 106 of file freia_spoc_private.c.
References gen_check(), and pstatement_domain.
vtxcontent check_vtxcontent | ( | vtxcontent | p | ) |
Definition at line 161 of file freia_spoc_private.c.
References gen_check(), and vtxcontent_domain.
DAG.
Definition at line 16 of file freia_spoc_private.c.
References gen_copy_tree().
DAGVTX.
Definition at line 58 of file freia_spoc_private.c.
References gen_copy_tree().
pstatement copy_pstatement | ( | pstatement | p | ) |
PSTATEMENT.
Definition at line 100 of file freia_spoc_private.c.
References gen_copy_tree().
vtxcontent copy_vtxcontent | ( | vtxcontent | p | ) |
VTXCONTENT.
Definition at line 155 of file freia_spoc_private.c.
References gen_copy_tree().
Definition at line 35 of file freia_spoc_private.c.
References check_dag(), dag_defined_p(), and message_assert.
Definition at line 25 of file freia_spoc_private.c.
References check_dag(), and gen_consistent_p().
Definition at line 29 of file freia_spoc_private.c.
References gen_defined_p().
void dag_non_recursive_free | ( | dag | p | ) |
Definition at line 42 of file freia_spoc_private.c.
References free().
Definition at line 77 of file freia_spoc_private.c.
References check_dagvtx(), dagvtx_defined_p(), and message_assert.
Definition at line 67 of file freia_spoc_private.c.
References check_dagvtx(), and gen_consistent_p().
Definition at line 71 of file freia_spoc_private.c.
References gen_defined_p().
void dagvtx_non_recursive_free | ( | dagvtx | p | ) |
Definition at line 84 of file freia_spoc_private.c.
References free().
void free_dag | ( | dag | p | ) |
Definition at line 19 of file freia_spoc_private.c.
References gen_free().
void free_dagvtx | ( | dagvtx | p | ) |
Definition at line 61 of file freia_spoc_private.c.
References gen_free().
void free_pstatement | ( | pstatement | p | ) |
Definition at line 103 of file freia_spoc_private.c.
References gen_free().
void free_vtxcontent | ( | vtxcontent | p | ) |
Definition at line 158 of file freia_spoc_private.c.
References gen_free().
Definition at line 32 of file freia_spoc_private.c.
References DAG_NEWGEN_DOMAIN, and gen_typed_cons().
Definition at line 74 of file freia_spoc_private.c.
References DAGVTX_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_pstatement_cons | ( | pstatement | p, |
list | l | ||
) |
Definition at line 116 of file freia_spoc_private.c.
References gen_typed_cons(), and PSTATEMENT_NEWGEN_DOMAIN.
list gen_vtxcontent_cons | ( | vtxcontent | p, |
list | l | ||
) |
Definition at line 171 of file freia_spoc_private.c.
References gen_typed_cons(), and VTXCONTENT_NEWGEN_DOMAIN.
Definition at line 52 of file freia_spoc_private.c.
References dag_domain, gen_alloc(), and GEN_CHECK_ALLOC.
dagvtx make_dagvtx | ( | vtxcontent | a1, |
list | a2 | ||
) |
Definition at line 94 of file freia_spoc_private.c.
References dagvtx_domain, gen_alloc(), and GEN_CHECK_ALLOC.
pstatement make_pstatement | ( | enum pstatement_utype | tag, |
void * | val | ||
) |
Definition at line 143 of file freia_spoc_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and pstatement_domain.
pstatement make_pstatement_empty | ( | void | ) |
Definition at line 149 of file freia_spoc_private.c.
References is_pstatement_empty, make_pstatement(), and UU.
pstatement make_pstatement_statement | ( | statement | _field_ | ) |
Definition at line 146 of file freia_spoc_private.c.
References intptr_t, is_pstatement_statement, and make_pstatement().
vtxcontent make_vtxcontent | ( | intptr_t | a1, |
intptr_t | a2, | ||
pstatement | a3, | ||
list | a4, | ||
entity | a5 | ||
) |
Definition at line 191 of file freia_spoc_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and vtxcontent_domain.
void pstatement_assign_contents | ( | pstatement | r, |
pstatement | v | ||
) |
Definition at line 119 of file freia_spoc_private.c.
References check_pstatement(), message_assert, and pstatement_defined_p().
bool pstatement_consistent_p | ( | pstatement | p | ) |
Definition at line 109 of file freia_spoc_private.c.
References check_pstatement(), and gen_consistent_p().
bool pstatement_defined_p | ( | pstatement | p | ) |
Definition at line 113 of file freia_spoc_private.c.
References gen_defined_p().
void pstatement_non_recursive_free | ( | pstatement | p | ) |
Definition at line 126 of file freia_spoc_private.c.
References free().
string pstatement_tag_as_string | ( | enum pstatement_utype | tag | ) |
Definition at line 136 of file freia_spoc_private.c.
References is_pstatement_empty, is_pstatement_statement, and string_undefined.
dag read_dag | ( | FILE * | f | ) |
Definition at line 49 of file freia_spoc_private.c.
References f(), and gen_read().
dagvtx read_dagvtx | ( | FILE * | f | ) |
Definition at line 91 of file freia_spoc_private.c.
References f(), and gen_read().
pstatement read_pstatement | ( | FILE * | f | ) |
Definition at line 133 of file freia_spoc_private.c.
References f(), and gen_read().
vtxcontent read_vtxcontent | ( | FILE * | f | ) |
Definition at line 188 of file freia_spoc_private.c.
References f(), and gen_read().
void vtxcontent_assign_contents | ( | vtxcontent | r, |
vtxcontent | v | ||
) |
Definition at line 174 of file freia_spoc_private.c.
References check_vtxcontent(), message_assert, and vtxcontent_defined_p().
bool vtxcontent_consistent_p | ( | vtxcontent | p | ) |
Definition at line 164 of file freia_spoc_private.c.
References check_vtxcontent(), and gen_consistent_p().
bool vtxcontent_defined_p | ( | vtxcontent | p | ) |
Definition at line 168 of file freia_spoc_private.c.
References gen_defined_p().
void vtxcontent_non_recursive_free | ( | vtxcontent | p | ) |
Definition at line 181 of file freia_spoc_private.c.
References free().
void write_dag | ( | FILE * | f, |
dag | p | ||
) |
Definition at line 46 of file freia_spoc_private.c.
References f(), and gen_write().
void write_dagvtx | ( | FILE * | f, |
dagvtx | p | ||
) |
Definition at line 88 of file freia_spoc_private.c.
References f(), and gen_write().
void write_pstatement | ( | FILE * | f, |
pstatement | p | ||
) |
Definition at line 130 of file freia_spoc_private.c.
References f(), and gen_write().
void write_vtxcontent | ( | FILE * | f, |
vtxcontent | p | ||
) |
Definition at line 185 of file freia_spoc_private.c.
References f(), and gen_write().