ubs_private.c File Reference

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

Include dependency graph for ubs_private.c:

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)

Function Documentation

check_ubs()

ubs check_ubs

(

ubs

p

)

Definition at line 64 of file ubs_private.c.

                     {
  return (ubs) gen_check((gen_chunk*) p, ubs_domain);
}

References gen_check(), and ubs_domain.

Here is the call graph for this function:

check_ubs_check()

ubs_check check_ubs_check

(

ubs_check

p

)

Definition at line 22 of file ubs_private.c.

                                       {
  return (ubs_check) gen_check((gen_chunk*) p, ubs_check_domain);
}

References gen_check(), and ubs_check_domain.

Here is the call graph for this function:

copy_ubs()

ubs copy_ubs

(

ubs

p

)

UBS.

Definition at line 58 of file ubs_private.c.

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

References gen_copy_tree().

Here is the call graph for this function:

copy_ubs_check()

ubs_check copy_ubs_check

(

ubs_check

p

)

UBS_CHECK.

Definition at line 16 of file ubs_private.c.

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

References gen_copy_tree().

Here is the call graph for this function:

free_ubs()

void free_ubs

(

ubs

p

)

Definition at line 61 of file ubs_private.c.

                     {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_ubs_check()

void free_ubs_check

(

ubs_check

p

)

Definition at line 19 of file ubs_private.c.

                                 {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

gen_ubs_check_cons()

list gen_ubs_check_cons	(	ubs_check	p,
		list	l
	)

Definition at line 32 of file ubs_private.c.

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

References gen_typed_cons(), and UBS_CHECK_NEWGEN_DOMAIN.

Here is the call graph for this function:

gen_ubs_cons()

list gen_ubs_cons	(	ubs	p,
		list	l
	)

Definition at line 74 of file ubs_private.c.

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

References gen_typed_cons(), and UBS_NEWGEN_DOMAIN.

Here is the call graph for this function:

make_ubs()

ubs make_ubs

(

list

a

)

Definition at line 94 of file ubs_private.c.

                     {
  return (ubs) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, ubs_domain, a);
}

References gen_alloc(), GEN_CHECK_ALLOC, and ubs_domain.

Here is the call graph for this function:

make_ubs_check()

ubs_check make_ubs_check	(	entity	a1,
		entity	a2
	)

Definition at line 52 of file ubs_private.c.

                                               {
  return (ubs_check) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, ubs_check_domain, a1, a2);
}

References gen_alloc(), GEN_CHECK_ALLOC, and ubs_check_domain.

Here is the call graph for this function:

read_ubs()

ubs read_ubs

(

FILE *

f

)

Definition at line 91 of file ubs_private.c.

                      {
  return (ubs) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_ubs_check()

ubs_check read_ubs_check

(

FILE *

f

)

Definition at line 49 of file ubs_private.c.

                                  {
  return (ubs_check) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

ubs_assign_contents()

void ubs_assign_contents	(	ubs	r,
		ubs	v
	)

Definition at line 77 of file ubs_private.c.

                                       {
  check_ubs(r);
  check_ubs(v);
  message_assert("defined references to domain ubs",
                 ubs_defined_p(r) && ubs_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_ubs_));
}

References check_ubs(), message_assert, and ubs_defined_p().

Here is the call graph for this function:

ubs_check_assign_contents()

void ubs_check_assign_contents	(	ubs_check	r,
		ubs_check	v
	)

Definition at line 35 of file ubs_private.c.

                                                         {
  check_ubs_check(r);
  check_ubs_check(v);
  message_assert("defined references to domain ubs_check",
                 ubs_check_defined_p(r) && ubs_check_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_ubs_check_));
}

References check_ubs_check(), message_assert, and ubs_check_defined_p().

Here is the call graph for this function:

ubs_check_consistent_p()

bool ubs_check_consistent_p

(

ubs_check

p

)

Definition at line 25 of file ubs_private.c.

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

References check_ubs_check(), and gen_consistent_p().

Here is the call graph for this function:

ubs_check_defined_p()

bool ubs_check_defined_p

(

ubs_check

p

)

Definition at line 29 of file ubs_private.c.

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

References gen_defined_p().

Here is the call graph for this function:

ubs_check_non_recursive_free()

void ubs_check_non_recursive_free

(

ubs_check

p

)

Definition at line 42 of file ubs_private.c.

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

References free().

Here is the call graph for this function:

ubs_consistent_p()

bool ubs_consistent_p

(

ubs

p

)

Definition at line 67 of file ubs_private.c.

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

References check_ubs(), and gen_consistent_p().

Here is the call graph for this function:

ubs_defined_p()

bool ubs_defined_p

(

ubs

p

)

Definition at line 71 of file ubs_private.c.

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

References gen_defined_p().

Here is the call graph for this function:

ubs_non_recursive_free()

void ubs_non_recursive_free

(

ubs

p

)

Definition at line 84 of file ubs_private.c.

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

References free().

Here is the call graph for this function:

write_ubs()

void write_ubs	(	FILE *	f,
		ubs	p
	)

Definition at line 88 of file ubs_private.c.

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

References f(), and gen_write().

Here is the call graph for this function:

write_ubs_check()

void write_ubs_check	(	FILE *	f,
		ubs_check	p
	)

Definition at line 46 of file ubs_private.c.

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

References f(), and gen_write().

Here is the call graph for this function: