abc_private.c File Reference

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

Include dependency graph for abc_private.c:

Go to the source code of this file.

Functions
abc_checked	copy_abc_checked (abc_checked p)
	ABC_CHECKED. More...
void	free_abc_checked (abc_checked p)
abc_checked	check_abc_checked (abc_checked p)
bool	abc_checked_consistent_p (abc_checked p)
bool	abc_checked_defined_p (abc_checked p)
list	gen_abc_checked_cons (abc_checked p, list l)
void	abc_checked_assign_contents (abc_checked r, abc_checked v)
void	abc_checked_non_recursive_free (abc_checked p)
void	write_abc_checked (FILE *f, abc_checked p)
abc_checked	read_abc_checked (FILE *f)
abc_checked	make_abc_checked (list a)
array_dimension_checked	copy_array_dimension_checked (array_dimension_checked p)
	ARRAY_DIMENSION_CHECKED. More...
void	free_array_dimension_checked (array_dimension_checked p)
array_dimension_checked	check_array_dimension_checked (array_dimension_checked p)
bool	array_dimension_checked_consistent_p (array_dimension_checked p)
bool	array_dimension_checked_defined_p (array_dimension_checked p)
list	gen_array_dimension_checked_cons (array_dimension_checked p, list l)
void	array_dimension_checked_assign_contents (array_dimension_checked r, array_dimension_checked v)
void	array_dimension_checked_non_recursive_free (array_dimension_checked p)
void	write_array_dimension_checked (FILE *f, array_dimension_checked p)
array_dimension_checked	read_array_dimension_checked (FILE *f)
array_dimension_checked	make_array_dimension_checked (entity a1, list a2)
dimension_checked	copy_dimension_checked (dimension_checked p)
	DIMENSION_CHECKED. More...
void	free_dimension_checked (dimension_checked p)
dimension_checked	check_dimension_checked (dimension_checked p)
bool	dimension_checked_consistent_p (dimension_checked p)
bool	dimension_checked_defined_p (dimension_checked p)
list	gen_dimension_checked_cons (dimension_checked p, list l)
void	dimension_checked_assign_contents (dimension_checked r, dimension_checked v)
void	dimension_checked_non_recursive_free (dimension_checked p)
void	write_dimension_checked (FILE *f, dimension_checked p)
dimension_checked	read_dimension_checked (FILE *f)
dimension_checked	make_dimension_checked (intptr_t a1, bool a2, bool a3)

Function Documentation

abc_checked_assign_contents()

void abc_checked_assign_contents	(	abc_checked	r,
		abc_checked	v
	)

Definition at line 35 of file abc_private.c.

                                                               {
  check_abc_checked(r);
  check_abc_checked(v);
  message_assert("defined references to domain abc_checked",
                 abc_checked_defined_p(r) && abc_checked_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_abc_checked_));
}

References abc_checked_defined_p(), check_abc_checked(), and message_assert.

Here is the call graph for this function:

abc_checked_consistent_p()

bool abc_checked_consistent_p

(

abc_checked

p

)

Definition at line 25 of file abc_private.c.

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

References check_abc_checked(), and gen_consistent_p().

Here is the call graph for this function:

abc_checked_defined_p()

bool abc_checked_defined_p

(

abc_checked

p

)

Definition at line 29 of file abc_private.c.

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

References gen_defined_p().

Referenced by abc_checked_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

abc_checked_non_recursive_free()

void abc_checked_non_recursive_free

(

abc_checked

p

)

Definition at line 42 of file abc_private.c.

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

References free().

Here is the call graph for this function:

array_dimension_checked_assign_contents()

void array_dimension_checked_assign_contents	(	array_dimension_checked	r,
		array_dimension_checked	v
	)

Definition at line 77 of file abc_private.c.

                                                                                                   {
  check_array_dimension_checked(r);
  check_array_dimension_checked(v);
  message_assert("defined references to domain array_dimension_checked",
                 array_dimension_checked_defined_p(r) && array_dimension_checked_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_array_dimension_checked_));
}

References array_dimension_checked_defined_p(), check_array_dimension_checked(), and message_assert.

Here is the call graph for this function:

array_dimension_checked_consistent_p()

bool array_dimension_checked_consistent_p

(

array_dimension_checked

p

)

Definition at line 67 of file abc_private.c.

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

References check_array_dimension_checked(), and gen_consistent_p().

Here is the call graph for this function:

array_dimension_checked_defined_p()

bool array_dimension_checked_defined_p

(

array_dimension_checked

p

)

Definition at line 71 of file abc_private.c.

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

References gen_defined_p().

Referenced by array_dimension_checked_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

array_dimension_checked_non_recursive_free()

void array_dimension_checked_non_recursive_free

(

array_dimension_checked

p

)

Definition at line 84 of file abc_private.c.

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

References free().

Here is the call graph for this function:

check_abc_checked()

abc_checked check_abc_checked

(

abc_checked

p

)

Definition at line 22 of file abc_private.c.

                                             {
  return (abc_checked) gen_check((gen_chunk*) p, abc_checked_domain);
}

References abc_checked_domain, and gen_check().

Referenced by abc_checked_assign_contents(), and abc_checked_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_array_dimension_checked()

array_dimension_checked check_array_dimension_checked

(

array_dimension_checked

p

)

Definition at line 64 of file abc_private.c.

                                                                                 {
  return (array_dimension_checked) gen_check((gen_chunk*) p, array_dimension_checked_domain);
}

References array_dimension_checked_domain, and gen_check().

Referenced by array_dimension_checked_assign_contents(), and array_dimension_checked_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

check_dimension_checked()

dimension_checked check_dimension_checked

(

dimension_checked

p

)

Definition at line 106 of file abc_private.c.

                                                               {
  return (dimension_checked) gen_check((gen_chunk*) p, dimension_checked_domain);
}

References dimension_checked_domain, and gen_check().

Referenced by dimension_checked_assign_contents(), and dimension_checked_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

copy_abc_checked()

abc_checked copy_abc_checked

(

abc_checked

p

)

ABC_CHECKED.

Definition at line 16 of file abc_private.c.

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

References gen_copy_tree().

Referenced by top_down_abc_flt(), and top_down_abc_statement().

Here is the call graph for this function:

Here is the caller graph for this function:

copy_array_dimension_checked()

array_dimension_checked copy_array_dimension_checked

(

array_dimension_checked

p

)

ARRAY_DIMENSION_CHECKED.

Definition at line 58 of file abc_private.c.

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

References gen_copy_tree().

Here is the call graph for this function:

copy_dimension_checked()

dimension_checked copy_dimension_checked

(

dimension_checked

p

)

DIMENSION_CHECKED.

Definition at line 100 of file abc_private.c.

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

References gen_copy_tree().

Here is the call graph for this function:

dimension_checked_assign_contents()

void dimension_checked_assign_contents	(	dimension_checked	r,
		dimension_checked	v
	)

Definition at line 119 of file abc_private.c.

                                                                                 {
  check_dimension_checked(r);
  check_dimension_checked(v);
  message_assert("defined references to domain dimension_checked",
                 dimension_checked_defined_p(r) && dimension_checked_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_dimension_checked_));
}

References check_dimension_checked(), dimension_checked_defined_p(), and message_assert.

Here is the call graph for this function:

dimension_checked_consistent_p()

bool dimension_checked_consistent_p

(

dimension_checked

p

)

Definition at line 109 of file abc_private.c.

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

References check_dimension_checked(), and gen_consistent_p().

Here is the call graph for this function:

dimension_checked_defined_p()

bool dimension_checked_defined_p

(

dimension_checked

p

)

Definition at line 113 of file abc_private.c.

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

References gen_defined_p().

Referenced by dimension_checked_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

dimension_checked_non_recursive_free()

void dimension_checked_non_recursive_free

(

dimension_checked

p

)

Definition at line 126 of file abc_private.c.

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

References free().

Here is the call graph for this function:

free_abc_checked()

void free_abc_checked

(

abc_checked

p

)

Definition at line 19 of file abc_private.c.

                                     {
  gen_free((gen_chunk*) p);
}

References gen_free().

Referenced by top_down_abc_statement().

Here is the call graph for this function:

Here is the caller graph for this function:

free_array_dimension_checked()

void free_array_dimension_checked

(

array_dimension_checked

p

)

Definition at line 61 of file abc_private.c.

                                                             {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

free_dimension_checked()

void free_dimension_checked

(

dimension_checked

p

)

Definition at line 103 of file abc_private.c.

                                                 {
  gen_free((gen_chunk*) p);
}

References gen_free().

Here is the call graph for this function:

gen_abc_checked_cons()

list gen_abc_checked_cons	(	abc_checked	p,
		list	l
	)

Definition at line 32 of file abc_private.c.

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

References ABC_CHECKED_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_array_dimension_checked_cons()

list gen_array_dimension_checked_cons	(	array_dimension_checked	p,
		list	l
	)

Definition at line 74 of file abc_private.c.

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

References ARRAY_DIMENSION_CHECKED_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

gen_dimension_checked_cons()

list gen_dimension_checked_cons	(	dimension_checked	p,
		list	l
	)

Definition at line 116 of file abc_private.c.

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

References DIMENSION_CHECKED_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

make_abc_checked()

abc_checked make_abc_checked

(

list

a

)

Definition at line 52 of file abc_private.c.

                                     {
  return (abc_checked) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, abc_checked_domain, a);
}

References abc_checked_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by initiliaze_marked_list().

Here is the call graph for this function:

Here is the caller graph for this function:

make_array_dimension_checked()

array_dimension_checked make_array_dimension_checked	(	entity	a1,
		list	a2
	)

Definition at line 94 of file abc_private.c.

                                                                         {
  return (array_dimension_checked) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, array_dimension_checked_domain, a1, a2);
}

References array_dimension_checked_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by initiliaze_marked_list().

Here is the call graph for this function:

Here is the caller graph for this function:

make_dimension_checked()

dimension_checked make_dimension_checked	(	intptr_t	a1,
		bool	a2,
		bool	a3
	)

Definition at line 136 of file abc_private.c.

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

References dimension_checked_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by initiliaze_marked_list().

Here is the call graph for this function:

Here is the caller graph for this function:

read_abc_checked()

abc_checked read_abc_checked

(

FILE *

f

)

Definition at line 49 of file abc_private.c.

                                      {
  return (abc_checked) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_array_dimension_checked()

array_dimension_checked read_array_dimension_checked

(

FILE *

f

)

Definition at line 91 of file abc_private.c.

                                                              {
  return (array_dimension_checked) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

read_dimension_checked()

dimension_checked read_dimension_checked

(

FILE *

f

)

Definition at line 133 of file abc_private.c.

                                                  {
  return (dimension_checked) gen_read(f);
}

References f(), and gen_read().

Here is the call graph for this function:

write_abc_checked()

void write_abc_checked	(	FILE *	f,
		abc_checked	p
	)

Definition at line 46 of file abc_private.c.

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

References f(), and gen_write().

Here is the call graph for this function:

write_array_dimension_checked()

void write_array_dimension_checked	(	FILE *	f,
		array_dimension_checked	p
	)

Definition at line 88 of file abc_private.c.

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

References f(), and gen_write().

Here is the call graph for this function:

write_dimension_checked()

void write_dimension_checked	(	FILE *	f,
		dimension_checked	p
	)

Definition at line 130 of file abc_private.c.

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

References f(), and gen_write().

Here is the call graph for this function: