PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "scalopes_private.h"
Go to the source code of this file.
task_buffers apply_entity_task_buffers | ( | entity_task_buffers | f, |
entity | k | ||
) |
Definition at line 55 of file scalopes_private.c.
References entity_task_buffers_hash_table, f(), HASH_GET, and intptr_t.
bool bound_entity_task_buffers_p | ( | entity_task_buffers | f, |
entity | k | ||
) |
Definition at line 67 of file scalopes_private.c.
References entity_task_buffers_hash_table, f(), HASH_BOUND_P, and intptr_t.
entity_task_buffers check_entity_task_buffers | ( | entity_task_buffers | p | ) |
Definition at line 22 of file scalopes_private.c.
References entity_task_buffers_domain, and gen_check().
sesam_buffers_processing_context check_sesam_buffers_processing_context | ( | sesam_buffers_processing_context | p | ) |
Definition at line 79 of file scalopes_private.c.
References gen_check(), and sesam_buffers_processing_context_domain.
task_buffers check_task_buffers | ( | task_buffers | p | ) |
Definition at line 121 of file scalopes_private.c.
References gen_check(), and task_buffers_domain.
entity_task_buffers copy_entity_task_buffers | ( | entity_task_buffers | p | ) |
ENTITY_TASK_BUFFERS.
Definition at line 16 of file scalopes_private.c.
References gen_copy_tree().
sesam_buffers_processing_context copy_sesam_buffers_processing_context | ( | sesam_buffers_processing_context | p | ) |
SESAM_BUFFERS_PROCESSING_CONTEXT.
Definition at line 73 of file scalopes_private.c.
References gen_copy_tree().
task_buffers copy_task_buffers | ( | task_buffers | p | ) |
TASK_BUFFERS.
Definition at line 115 of file scalopes_private.c.
References gen_copy_tree().
task_buffers delete_entity_task_buffers | ( | entity_task_buffers | f, |
entity | k | ||
) |
Definition at line 64 of file scalopes_private.c.
References entity_task_buffers_hash_table, f(), HASH_DELETE, and intptr_t.
void entity_task_buffers_assign_contents | ( | entity_task_buffers | r, |
entity_task_buffers | v | ||
) |
Definition at line 35 of file scalopes_private.c.
References check_entity_task_buffers(), entity_task_buffers_defined_p(), and message_assert.
bool entity_task_buffers_consistent_p | ( | entity_task_buffers | p | ) |
Definition at line 25 of file scalopes_private.c.
References check_entity_task_buffers(), and gen_consistent_p().
bool entity_task_buffers_defined_p | ( | entity_task_buffers | p | ) |
Definition at line 29 of file scalopes_private.c.
References gen_defined_p().
void entity_task_buffers_non_recursive_free | ( | entity_task_buffers | p | ) |
Definition at line 42 of file scalopes_private.c.
References free().
void extend_entity_task_buffers | ( | entity_task_buffers | f, |
entity | k, | ||
task_buffers | v | ||
) |
Definition at line 61 of file scalopes_private.c.
References entity_task_buffers_hash_table, f(), HASH_EXTEND, and intptr_t.
void free_entity_task_buffers | ( | entity_task_buffers | p | ) |
Definition at line 19 of file scalopes_private.c.
References gen_free().
void free_sesam_buffers_processing_context | ( | sesam_buffers_processing_context | p | ) |
Definition at line 76 of file scalopes_private.c.
References gen_free().
void free_task_buffers | ( | task_buffers | p | ) |
Definition at line 118 of file scalopes_private.c.
References gen_free().
list gen_entity_task_buffers_cons | ( | entity_task_buffers | p, |
list | l | ||
) |
Definition at line 32 of file scalopes_private.c.
References ENTITY_TASK_BUFFERS_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_sesam_buffers_processing_context_cons | ( | sesam_buffers_processing_context | p, |
list | l | ||
) |
Definition at line 89 of file scalopes_private.c.
References gen_typed_cons(), and SESAM_BUFFERS_PROCESSING_CONTEXT_NEWGEN_DOMAIN.
list gen_task_buffers_cons | ( | task_buffers | p, |
list | l | ||
) |
Definition at line 131 of file scalopes_private.c.
References gen_typed_cons(), and TASK_BUFFERS_NEWGEN_DOMAIN.
entity_task_buffers make_entity_task_buffers | ( | void | ) |
Definition at line 52 of file scalopes_private.c.
References entity_task_buffers_domain, gen_alloc(), and GEN_CHECK_ALLOC.
sesam_buffers_processing_context make_sesam_buffers_processing_context | ( | set | a1, |
set | a2, | ||
entity_task_buffers | a3, | ||
entity_task_buffers | a4, | ||
set | a5 | ||
) |
Definition at line 109 of file scalopes_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and sesam_buffers_processing_context_domain.
task_buffers make_task_buffers | ( | set | a1, |
set | a2 | ||
) |
Definition at line 151 of file scalopes_private.c.
References gen_alloc(), GEN_CHECK_ALLOC, and task_buffers_domain.
entity_task_buffers read_entity_task_buffers | ( | FILE * | f | ) |
Definition at line 49 of file scalopes_private.c.
References f(), and gen_read().
sesam_buffers_processing_context read_sesam_buffers_processing_context | ( | FILE * | f | ) |
Definition at line 106 of file scalopes_private.c.
References f(), and gen_read().
task_buffers read_task_buffers | ( | FILE * | f | ) |
Definition at line 148 of file scalopes_private.c.
References f(), and gen_read().
void sesam_buffers_processing_context_assign_contents | ( | sesam_buffers_processing_context | r, |
sesam_buffers_processing_context | v | ||
) |
Definition at line 92 of file scalopes_private.c.
References check_sesam_buffers_processing_context(), message_assert, and sesam_buffers_processing_context_defined_p().
bool sesam_buffers_processing_context_consistent_p | ( | sesam_buffers_processing_context | p | ) |
Definition at line 82 of file scalopes_private.c.
References check_sesam_buffers_processing_context(), and gen_consistent_p().
bool sesam_buffers_processing_context_defined_p | ( | sesam_buffers_processing_context | p | ) |
Definition at line 86 of file scalopes_private.c.
References gen_defined_p().
void sesam_buffers_processing_context_non_recursive_free | ( | sesam_buffers_processing_context | p | ) |
Definition at line 99 of file scalopes_private.c.
References free().
void task_buffers_assign_contents | ( | task_buffers | r, |
task_buffers | v | ||
) |
Definition at line 134 of file scalopes_private.c.
References check_task_buffers(), message_assert, and task_buffers_defined_p().
bool task_buffers_consistent_p | ( | task_buffers | p | ) |
Definition at line 124 of file scalopes_private.c.
References check_task_buffers(), and gen_consistent_p().
bool task_buffers_defined_p | ( | task_buffers | p | ) |
Definition at line 128 of file scalopes_private.c.
References gen_defined_p().
void task_buffers_non_recursive_free | ( | task_buffers | p | ) |
Definition at line 141 of file scalopes_private.c.
References free().
void update_entity_task_buffers | ( | entity_task_buffers | f, |
entity | k, | ||
task_buffers | v | ||
) |
Definition at line 58 of file scalopes_private.c.
References entity_task_buffers_hash_table, f(), HASH_UPDATE, and intptr_t.
void write_entity_task_buffers | ( | FILE * | f, |
entity_task_buffers | p | ||
) |
Definition at line 46 of file scalopes_private.c.
References f(), and gen_write().
void write_sesam_buffers_processing_context | ( | FILE * | f, |
sesam_buffers_processing_context | p | ||
) |
Definition at line 103 of file scalopes_private.c.
References f(), and gen_write().
void write_task_buffers | ( | FILE * | f, |
task_buffers | p | ||
) |
Definition at line 145 of file scalopes_private.c.
References f(), and gen_write().