freia_spoc_private.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "freia_spoc_private.h"

Include dependency graph for freia_spoc_private.c:

Go to the source code of this file.

Functions
dag	copy_dag (dag p)
	DAG. More...
void	free_dag (dag p)
dag	check_dag (dag p)
bool	dag_consistent_p (dag p)
bool	dag_defined_p (dag p)
list	gen_dag_cons (dag p, list l)
void	dag_assign_contents (dag r, dag v)
void	dag_non_recursive_free (dag p)
void	write_dag (FILE *f, dag p)
dag	read_dag (FILE *f)
dag	make_dag (list a1, list a2, list a3)
dagvtx	copy_dagvtx (dagvtx p)
	DAGVTX. More...
void	free_dagvtx (dagvtx p)
dagvtx	check_dagvtx (dagvtx p)
bool	dagvtx_consistent_p (dagvtx p)
bool	dagvtx_defined_p (dagvtx p)
list	gen_dagvtx_cons (dagvtx p, list l)
void	dagvtx_assign_contents (dagvtx r, dagvtx v)
void	dagvtx_non_recursive_free (dagvtx p)
void	write_dagvtx (FILE *f, dagvtx p)
dagvtx	read_dagvtx (FILE *f)
dagvtx	make_dagvtx (vtxcontent a1, list a2)
pstatement	copy_pstatement (pstatement p)
	PSTATEMENT. More...
void	free_pstatement (pstatement p)
pstatement	check_pstatement (pstatement p)
bool	pstatement_consistent_p (pstatement p)
bool	pstatement_defined_p (pstatement p)
list	gen_pstatement_cons (pstatement p, list l)
void	pstatement_assign_contents (pstatement r, pstatement v)
void	pstatement_non_recursive_free (pstatement p)
void	write_pstatement (FILE *f, pstatement p)
pstatement	read_pstatement (FILE *f)
string	pstatement_tag_as_string (enum pstatement_utype tag)
pstatement	make_pstatement (enum pstatement_utype tag, void *val)
pstatement	make_pstatement_statement (statement _field_)
pstatement	make_pstatement_empty (void)
vtxcontent	copy_vtxcontent (vtxcontent p)
	VTXCONTENT. More...
void	free_vtxcontent (vtxcontent p)
vtxcontent	check_vtxcontent (vtxcontent p)
bool	vtxcontent_consistent_p (vtxcontent p)
bool	vtxcontent_defined_p (vtxcontent p)
list	gen_vtxcontent_cons (vtxcontent p, list l)
void	vtxcontent_assign_contents (vtxcontent r, vtxcontent v)
void	vtxcontent_non_recursive_free (vtxcontent p)
void	write_vtxcontent (FILE *f, vtxcontent p)
vtxcontent	read_vtxcontent (FILE *f)
vtxcontent	make_vtxcontent (intptr_t a1, intptr_t a2, pstatement a3, list a4, entity a5)

Function Documentation

check_dag()

dag check_dag

(

dag

p

)

Definition at line 22 of file freia_spoc_private.c.

                     {
  return (dag) gen_check((gen_chunk*) p, dag_domain);
}

References dag_domain, and gen_check().

Here is the call graph for this function:

check_dagvtx()

dagvtx check_dagvtx

(

dagvtx

p

)

Definition at line 64 of file freia_spoc_private.c.

                              {
  return (dagvtx) gen_check((gen_chunk*) p, dagvtx_domain);
}

References dagvtx_domain, and gen_check().

Here is the call graph for this function:

check_pstatement()

pstatement check_pstatement

(

pstatement

p

)

Definition at line 106 of file freia_spoc_private.c.

                                          {
  return (pstatement) gen_check((gen_chunk*) p, pstatement_domain);
}

References gen_check(), and pstatement_domain.

Here is the call graph for this function:

check_vtxcontent()

vtxcontent check_vtxcontent

(

vtxcontent

p

)

Definition at line 161 of file freia_spoc_private.c.

                                          {
  return (vtxcontent) gen_check((gen_chunk*) p, vtxcontent_domain);
}

References gen_check(), and vtxcontent_domain.

Here is the call graph for this function:

copy_dag()

dag copy_dag

(

dag

p

)

DAG.

Definition at line 16 of file freia_spoc_private.c.

                    {
  return (dag) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_dagvtx()

dagvtx copy_dagvtx

(

dagvtx

p

)

DAGVTX.

Definition at line 58 of file freia_spoc_private.c.

                             {
  return (dagvtx) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_pstatement()

pstatement copy_pstatement

(

pstatement

p

)

PSTATEMENT.

Definition at line 100 of file freia_spoc_private.c.

                                         {
  return (pstatement) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

copy_vtxcontent()

vtxcontent copy_vtxcontent

(

vtxcontent

p

)

VTXCONTENT.

Definition at line 155 of file freia_spoc_private.c.

                                         {
  return (vtxcontent) gen_copy_tree((gen_chunk*) p);
}

References gen_copy_tree().

Here is the call graph for this function:

dag_assign_contents()

void dag_assign_contents	(	dag	r,
		dag	v
	)

Definition at line 35 of file freia_spoc_private.c.

                                       {
  check_dag(r);
  check_dag(v);
  message_assert("defined references to domain dag",
                 dag_defined_p(r) && dag_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_dag_));
}

References check_dag(), dag_defined_p(), and message_assert.

Here is the call graph for this function:

dag_consistent_p()

bool dag_consistent_p

(

dag

p

)

Definition at line 25 of file freia_spoc_private.c.

                             {
  check_dag(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_dag(), and gen_consistent_p().

Here is the call graph for this function:

dag_defined_p()

bool dag_defined_p

(

dag

p

)

Definition at line 29 of file freia_spoc_private.c.

                          {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

dag_non_recursive_free()

void dag_non_recursive_free

(

dag

p

)

Definition at line 42 of file freia_spoc_private.c.

                                   {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

dagvtx_assign_contents()

void dagvtx_assign_contents	(	dagvtx	r,
		dagvtx	v
	)

Definition at line 77 of file freia_spoc_private.c.

                                                {
  check_dagvtx(r);
  check_dagvtx(v);
  message_assert("defined references to domain dagvtx",
                 dagvtx_defined_p(r) && dagvtx_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_dagvtx_));
}

References check_dagvtx(), dagvtx_defined_p(), and message_assert.

Here is the call graph for this function:

dagvtx_consistent_p()

bool dagvtx_consistent_p

(

dagvtx

p

)

Definition at line 67 of file freia_spoc_private.c.

                                   {
  check_dagvtx(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_dagvtx(), and gen_consistent_p().

Here is the call graph for this function:

dagvtx_defined_p()

bool dagvtx_defined_p

(

dagvtx

p

)

Definition at line 71 of file freia_spoc_private.c.

                                {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

dagvtx_non_recursive_free()

void dagvtx_non_recursive_free

(

dagvtx

p

)

Definition at line 84 of file freia_spoc_private.c.

                                         {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

free_dag()

void free_dag

(

dag

p

)

Definition at line 19 of file freia_spoc_private.c.

                     {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_dagvtx()

void free_dagvtx

(

dagvtx

p

)

Definition at line 61 of file freia_spoc_private.c.

                           {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_pstatement()

void free_pstatement

(

pstatement

p

)

Definition at line 103 of file freia_spoc_private.c.

                                   {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_vtxcontent()

void free_vtxcontent

(

vtxcontent

p

)

Definition at line 158 of file freia_spoc_private.c.

                                   {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

gen_dag_cons()

list gen_dag_cons	(	dag	p,
		list	l
	)

Definition at line 32 of file freia_spoc_private.c.

                                 {
  return gen_typed_cons(DAG_NEWGEN_DOMAIN, p, l);
}

References DAG_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_dagvtx_cons()

list gen_dagvtx_cons	(	dagvtx	p,
		list	l
	)

Definition at line 74 of file freia_spoc_private.c.

                                       {
  return gen_typed_cons(DAGVTX_NEWGEN_DOMAIN, p, l);
}

References DAGVTX_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_pstatement_cons()

list gen_pstatement_cons	(	pstatement	p,
		list	l
	)

Definition at line 116 of file freia_spoc_private.c.

                                               {
  return gen_typed_cons(PSTATEMENT_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and PSTATEMENT_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_vtxcontent_cons()

list gen_vtxcontent_cons	(	vtxcontent	p,
		list	l
	)

Definition at line 171 of file freia_spoc_private.c.

                                               {
  return gen_typed_cons(VTXCONTENT_NEWGEN_DOMAIN, p, l);
}

References gen_typed_cons(), and VTXCONTENT_NEWGEN_DOMAIN.

Here is the call graph for this function:

make_dag()

dag make_dag	(	list	a1,
		list	a2,
		list	a3
	)

Definition at line 52 of file freia_spoc_private.c.

                                        {
  return (dag) gen_alloc(4*sizeof(gen_chunk), GEN_CHECK_ALLOC, dag_domain, a1, a2, a3);
}

References dag_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

make_dagvtx()

dagvtx make_dagvtx	(	vtxcontent	a1,
		list	a2
	)

Definition at line 94 of file freia_spoc_private.c.

                                           {
  return (dagvtx) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, dagvtx_domain, a1, a2);
}

References dagvtx_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

make_pstatement()

pstatement make_pstatement	(	enum pstatement_utype	tag,
		void *	val
	)

Definition at line 143 of file freia_spoc_private.c.

                                                                  {
  return (pstatement) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, pstatement_domain, tag, val);
}

References gen_alloc(), GEN_CHECK_ALLOC, and pstatement_domain.

Here is the call graph for this function:

make_pstatement_empty()

pstatement make_pstatement_empty

(

void

)

Definition at line 149 of file freia_spoc_private.c.

                                       {
  return make_pstatement(is_pstatement_empty, UU);
}

References is_pstatement_empty, make_pstatement(), and UU.

Here is the call graph for this function:

make_pstatement_statement()

pstatement make_pstatement_statement

(

statement

_field_

)

Definition at line 146 of file freia_spoc_private.c.

                                                        {
  return make_pstatement(is_pstatement_statement, (void*)(intptr_t) _field_);
}

References intptr_t, is_pstatement_statement, and make_pstatement().

Here is the call graph for this function:

make_vtxcontent()

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.

                                                                                        {
  return (vtxcontent) gen_alloc(6*sizeof(gen_chunk), GEN_CHECK_ALLOC, vtxcontent_domain, a1, a2, a3, a4, a5);
}

References gen_alloc(), GEN_CHECK_ALLOC, and vtxcontent_domain.

Here is the call graph for this function:

pstatement_assign_contents()

void pstatement_assign_contents	(	pstatement	r,
		pstatement	v
	)

Definition at line 119 of file freia_spoc_private.c.

                                                            {
  check_pstatement(r);
  check_pstatement(v);
  message_assert("defined references to domain pstatement",
                 pstatement_defined_p(r) && pstatement_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_pstatement_));
}

References check_pstatement(), message_assert, and pstatement_defined_p().

Here is the call graph for this function:

pstatement_consistent_p()

bool pstatement_consistent_p

(

pstatement

p

)

Definition at line 109 of file freia_spoc_private.c.

                                           {
  check_pstatement(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_pstatement(), and gen_consistent_p().

Here is the call graph for this function:

pstatement_defined_p()

bool pstatement_defined_p

(

pstatement

p

)

Definition at line 113 of file freia_spoc_private.c.

                                        {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

pstatement_non_recursive_free()

void pstatement_non_recursive_free

(

pstatement

p

)

Definition at line 126 of file freia_spoc_private.c.

                                                 {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

pstatement_tag_as_string()

string pstatement_tag_as_string

(

enum pstatement_utype

tag

)

Definition at line 136 of file freia_spoc_private.c.

                                                           {
  switch (tag) {
  case is_pstatement_statement: return "statement";
  case is_pstatement_empty: return "empty";
  default: return string_undefined;
  }
}

References is_pstatement_empty, is_pstatement_statement, and string_undefined.

read_dag()

dag read_dag

(

FILE *

f

)

Definition at line 49 of file freia_spoc_private.c.

                      {
  return (dag) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_dagvtx()

dagvtx read_dagvtx

(

FILE *

f

)

Definition at line 91 of file freia_spoc_private.c.

                            {
  return (dagvtx) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_pstatement()

pstatement read_pstatement

(

FILE *

f

)

Definition at line 133 of file freia_spoc_private.c.

                                    {
  return (pstatement) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_vtxcontent()

vtxcontent read_vtxcontent

(

FILE *

f

)

Definition at line 188 of file freia_spoc_private.c.

                                    {
  return (vtxcontent) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

vtxcontent_assign_contents()

void vtxcontent_assign_contents	(	vtxcontent	r,
		vtxcontent	v
	)

Definition at line 174 of file freia_spoc_private.c.

                                                            {
  check_vtxcontent(r);
  check_vtxcontent(v);
  message_assert("defined references to domain vtxcontent",
                 vtxcontent_defined_p(r) && vtxcontent_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_vtxcontent_));
}

References check_vtxcontent(), message_assert, and vtxcontent_defined_p().

Here is the call graph for this function:

vtxcontent_consistent_p()

bool vtxcontent_consistent_p

(

vtxcontent

p

)

Definition at line 164 of file freia_spoc_private.c.

                                           {
  check_vtxcontent(p);
  return gen_consistent_p((gen_chunk*) p);
}

References check_vtxcontent(), and gen_consistent_p().

Here is the call graph for this function:

vtxcontent_defined_p()

bool vtxcontent_defined_p

(

vtxcontent

p

)

Definition at line 168 of file freia_spoc_private.c.

                                        {
  return gen_defined_p((gen_chunk*) p);
}

References gen_defined_p().

Here is the call graph for this function:

vtxcontent_non_recursive_free()

void vtxcontent_non_recursive_free

(

vtxcontent

p

)

Definition at line 181 of file freia_spoc_private.c.

                                                 {
  // should clear up contents...
  free(p);
}

References free().

Here is the call graph for this function:

write_dag()

void write_dag	(	FILE *	f,
		dag	p
	)

Definition at line 46 of file freia_spoc_private.c.

                               {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_dagvtx()

void write_dagvtx	(	FILE *	f,
		dagvtx	p
	)

Definition at line 88 of file freia_spoc_private.c.

                                     {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_pstatement()

void write_pstatement	(	FILE *	f,
		pstatement	p
	)

Definition at line 130 of file freia_spoc_private.c.

                                             {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function:

write_vtxcontent()

void write_vtxcontent	(	FILE *	f,
		vtxcontent	p
	)

Definition at line 185 of file freia_spoc_private.c.

                                             {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function: