database.c File Reference

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

Include dependency graph for database.c:

Go to the source code of this file.

Functions
database	copy_database (database p)
	DATABASE. More...
void	free_database (database p)
database	check_database (database p)
bool	database_consistent_p (database p)
bool	database_defined_p (database p)
list	gen_database_cons (database p, list l)
void	database_assign_contents (database r, database v)
void	database_non_recursive_free (database p)
void	write_database (FILE *f, database p)
database	read_database (FILE *f)
database	make_database (string a1, string a2, list a3)
resource	copy_resource (resource p)
	RESOURCE. More...
void	free_resource (resource p)
resource	check_resource (resource p)
bool	resource_consistent_p (resource p)
bool	resource_defined_p (resource p)
list	gen_resource_cons (resource p, list l)
void	resource_assign_contents (resource r, resource v)
void	resource_non_recursive_free (resource p)
void	write_resource (FILE *f, resource p)
resource	read_resource (FILE *f)
resource	make_resource (string a1, string a2, status a3, intptr_t a4, intptr_t a5)
status	copy_status (status p)
	STATUS. More...
void	free_status (status p)
status	check_status (status p)
bool	status_consistent_p (status p)
bool	status_defined_p (status p)
list	gen_status_cons (status p, list l)
void	status_assign_contents (status r, status v)
void	status_non_recursive_free (status p)
void	write_status (FILE *f, status p)
status	read_status (FILE *f)
string	status_tag_as_string (enum status_utype tag)
status	make_status (enum status_utype tag, void *val)
status	make_status_memory (string _field_)
status	make_status_file (string _field_)

Function Documentation

check_database()

database check_database

(

database

p

)

Definition at line 22 of file database.c.

                                    {
  return (database) gen_check((gen_chunk*) p, database_domain);
}

References database_domain, and gen_check().

Referenced by database_assign_contents(), and database_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_resource()

resource check_resource

(

resource

p

)

Definition at line 64 of file database.c.

                                    {
  return (resource) gen_check((gen_chunk*) p, resource_domain);
}

References gen_check(), and resource_domain.

Referenced by resource_assign_contents(), and resource_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_status()

status check_status

(

status

p

)

Definition at line 106 of file database.c.

                              {
  return (status) gen_check((gen_chunk*) p, status_domain);
}

References gen_check(), and status_domain.

Referenced by status_assign_contents(), and status_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

copy_database()

database copy_database

(

database

p

)

DATABASE.

Definition at line 16 of file database.c.

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

References gen_copy_tree().

Here is the call graph for this function:

copy_resource()

resource copy_resource

(

resource

p

)

RESOURCE.

Definition at line 58 of file database.c.

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

References gen_copy_tree().

Here is the call graph for this function:

copy_status()

status copy_status

(

status

p

)

STATUS.

Definition at line 100 of file database.c.

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

References gen_copy_tree().

Here is the call graph for this function:

database_assign_contents()

void database_assign_contents	(	database	r,
		database	v
	)

Definition at line 35 of file database.c.

                                                      {
  check_database(r);
  check_database(v);
  message_assert("defined references to domain database",
                 database_defined_p(r) && database_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_database_));
}

References check_database(), database_defined_p(), and message_assert.

Here is the call graph for this function:

database_consistent_p()

bool database_consistent_p

(

database

p

)

Definition at line 25 of file database.c.

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

References check_database(), and gen_consistent_p().

Here is the call graph for this function:

database_defined_p()

bool database_defined_p

(

database

p

)

Definition at line 29 of file database.c.

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

References gen_defined_p().

Referenced by database_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

database_non_recursive_free()

void database_non_recursive_free

(

database

p

)

Definition at line 42 of file database.c.

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

References free().

Here is the call graph for this function:

free_database()

void free_database

(

database

p

)

Definition at line 19 of file database.c.

                               {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_resource()

void free_resource

(

resource

p

)

Definition at line 61 of file database.c.

                               {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_status()

void free_status

(

status

p

)

Definition at line 103 of file database.c.

                           {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

gen_database_cons()

list gen_database_cons	(	database	p,
		list	l
	)

Definition at line 32 of file database.c.

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

References DATABASE_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_resource_cons()

list gen_resource_cons	(	resource	p,
		list	l
	)

Definition at line 74 of file database.c.

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

References gen_typed_cons(), and RESOURCE_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_status_cons()

list gen_status_cons	(	status	p,
		list	l
	)

Definition at line 116 of file database.c.

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

References gen_typed_cons(), and STATUS_NEWGEN_DOMAIN.

Here is the call graph for this function:

make_database()

database make_database	(	string	a1,
		string	a2,
		list	a3
	)

Definition at line 52 of file database.c.

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

References database_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

make_resource()

resource make_resource	(	string	a1,
		string	a2,
		status	a3,
		intptr_t	a4,
		intptr_t	a5
	)

Definition at line 94 of file database.c.

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

References gen_alloc(), GEN_CHECK_ALLOC, and resource_domain.

Here is the call graph for this function:

make_status()

status make_status	(	enum status_utype	tag,
		void *	val
	)

Definition at line 143 of file database.c.

                                                      {
  return (status) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, status_domain, tag, val);
}

References gen_alloc(), GEN_CHECK_ALLOC, and status_domain.

Referenced by make_status_file(), and make_status_memory().

Here is the call graph for this function:

Here is the caller graph for this function:

make_status_file()

status make_status_file

(

string

_field_

)

Definition at line 149 of file database.c.

                                        {
  return make_status(is_status_file, (void*)(intptr_t) _field_);
}

References intptr_t, is_status_file, and make_status().

Here is the call graph for this function:

make_status_memory()

status make_status_memory

(

string

_field_

)

Definition at line 146 of file database.c.

                                          {
  return make_status(is_status_memory, (void*)(intptr_t) _field_);
}

References intptr_t, is_status_memory, and make_status().

Here is the call graph for this function:

read_database()

database read_database

(

FILE *

f

)

Definition at line 49 of file database.c.

                                {
  return (database) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_resource()

resource read_resource

(

FILE *

f

)

Definition at line 91 of file database.c.

                                {
  return (resource) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_status()

status read_status

(

FILE *

f

)

Definition at line 133 of file database.c.

                            {
  return (status) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

resource_assign_contents()

void resource_assign_contents	(	resource	r,
		resource	v
	)

Definition at line 77 of file database.c.

                                                      {
  check_resource(r);
  check_resource(v);
  message_assert("defined references to domain resource",
                 resource_defined_p(r) && resource_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_resource_));
}

References check_resource(), message_assert, and resource_defined_p().

Here is the call graph for this function:

resource_consistent_p()

bool resource_consistent_p

(

resource

p

)

Definition at line 67 of file database.c.

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

References check_resource(), and gen_consistent_p().

Here is the call graph for this function:

resource_defined_p()

bool resource_defined_p

(

resource

p

)

Definition at line 71 of file database.c.

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

References gen_defined_p().

Referenced by resource_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

resource_non_recursive_free()

void resource_non_recursive_free

(

resource

p

)

Definition at line 84 of file database.c.

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

References free().

Here is the call graph for this function:

status_assign_contents()

void status_assign_contents	(	status	r,
		status	v
	)

Definition at line 119 of file database.c.

                                                {
  check_status(r);
  check_status(v);
  message_assert("defined references to domain status",
                 status_defined_p(r) && status_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_status_));
}

References check_status(), message_assert, and status_defined_p().

Here is the call graph for this function:

status_consistent_p()

bool status_consistent_p

(

status

p

)

Definition at line 109 of file database.c.

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

References check_status(), and gen_consistent_p().

Here is the call graph for this function:

status_defined_p()

bool status_defined_p

(

status

p

)

Definition at line 113 of file database.c.

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

References gen_defined_p().

Referenced by status_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

status_non_recursive_free()

void status_non_recursive_free

(

status

p

)

Definition at line 126 of file database.c.

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

References free().

Here is the call graph for this function:

status_tag_as_string()

string status_tag_as_string

(

enum status_utype

tag

)

Definition at line 136 of file database.c.

                                                   {
  switch (tag) {
  case is_status_memory: return "memory";
  case is_status_file: return "file";
  default: return string_undefined;
  }
}

References is_status_file, is_status_memory, and string_undefined.

write_database()

void write_database	(	FILE *	f,
		database	p
	)

Definition at line 46 of file database.c.

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

References f(), and gen_write().

Here is the call graph for this function:

write_resource()

void write_resource	(	FILE *	f,
		resource	p
	)

Definition at line 88 of file database.c.

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

References f(), and gen_write().

Here is the call graph for this function:

write_status()

void write_status	(	FILE *	f,
		status	p
	)

Definition at line 130 of file database.c.

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

References f(), and gen_write().

Here is the call graph for this function: