PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "word_attachment.h"
Go to the source code of this file.
Typedefs | |
typedef void * | void_star |
typedef void* void_star |
Definition at line 7 of file word_attachment.c.
attachments apply_word_to_attachments | ( | word_to_attachments | f, |
void_star | k | ||
) |
Definition at line 272 of file word_attachment.c.
References f(), HASH_GET, intptr_t, and word_to_attachments_hash_table.
Definition at line 37 of file word_attachment.c.
References attachee_defined_p(), check_attachee(), and message_assert.
Definition at line 27 of file word_attachment.c.
References check_attachee(), and gen_consistent_p().
Definition at line 31 of file word_attachment.c.
References gen_defined_p().
void attachee_non_recursive_free | ( | attachee | p | ) |
Definition at line 44 of file word_attachment.c.
References free().
string attachee_tag_as_string | ( | enum attachee_utype | tag | ) |
Definition at line 54 of file word_attachment.c.
References is_attachee_call, is_attachee_comment, is_attachee_complementary_sections, is_attachee_complexities, is_attachee_continuation_conditions, is_attachee_cumulated_effects, is_attachee_declaration, is_attachee_decoration, is_attachee_loop, is_attachee_module_head, is_attachee_out_regions, is_attachee_preconditions, is_attachee_privatized_regions, is_attachee_proper_effects, is_attachee_proper_regions, is_attachee_reference, is_attachee_regions, is_attachee_statement_line_number, is_attachee_static_control, is_attachee_transformers, is_attachee_type, and string_undefined.
void attachment_assign_contents | ( | attachment | r, |
attachment | v | ||
) |
Definition at line 168 of file word_attachment.c.
References attachment_defined_p(), check_attachment(), and message_assert.
bool attachment_consistent_p | ( | attachment | p | ) |
Definition at line 158 of file word_attachment.c.
References check_attachment(), and gen_consistent_p().
bool attachment_defined_p | ( | attachment | p | ) |
Definition at line 162 of file word_attachment.c.
References gen_defined_p().
void attachment_non_recursive_free | ( | attachment | p | ) |
Definition at line 175 of file word_attachment.c.
References free().
void attachments_assign_contents | ( | attachments | r, |
attachments | v | ||
) |
Definition at line 210 of file word_attachment.c.
References attachments_defined_p(), check_attachments(), and message_assert.
bool attachments_consistent_p | ( | attachments | p | ) |
Definition at line 200 of file word_attachment.c.
References check_attachments(), and gen_consistent_p().
bool attachments_defined_p | ( | attachments | p | ) |
Definition at line 204 of file word_attachment.c.
References gen_defined_p().
void attachments_non_recursive_free | ( | attachments | p | ) |
Definition at line 217 of file word_attachment.c.
References free().
bool bound_word_to_attachments_p | ( | word_to_attachments | f, |
void_star | k | ||
) |
Definition at line 284 of file word_attachment.c.
References f(), HASH_BOUND_P, intptr_t, and word_to_attachments_hash_table.
Definition at line 24 of file word_attachment.c.
References attachee_domain, and gen_check().
attachment check_attachment | ( | attachment | p | ) |
Definition at line 155 of file word_attachment.c.
References attachment_domain, and gen_check().
attachments check_attachments | ( | attachments | p | ) |
Definition at line 197 of file word_attachment.c.
References attachments_domain, and gen_check().
word_to_attachments check_word_to_attachments | ( | word_to_attachments | p | ) |
Definition at line 239 of file word_attachment.c.
References gen_check(), and word_to_attachments_domain.
ATTACHEE.
Definition at line 18 of file word_attachment.c.
References gen_copy_tree().
attachment copy_attachment | ( | attachment | p | ) |
ATTACHMENT.
Definition at line 149 of file word_attachment.c.
References gen_copy_tree().
attachments copy_attachments | ( | attachments | p | ) |
ATTACHMENTS.
Definition at line 191 of file word_attachment.c.
References gen_copy_tree().
word_to_attachments copy_word_to_attachments | ( | word_to_attachments | p | ) |
WORD_TO_ATTACHMENTS.
Definition at line 233 of file word_attachment.c.
References gen_copy_tree().
attachments delete_word_to_attachments | ( | word_to_attachments | f, |
void_star | k | ||
) |
Definition at line 281 of file word_attachment.c.
References f(), HASH_DELETE, intptr_t, and word_to_attachments_hash_table.
void extend_word_to_attachments | ( | word_to_attachments | f, |
void_star | k, | ||
attachments | v | ||
) |
Definition at line 278 of file word_attachment.c.
References f(), HASH_EXTEND, intptr_t, and word_to_attachments_hash_table.
void free_attachee | ( | attachee | p | ) |
Definition at line 21 of file word_attachment.c.
References gen_free().
void free_attachment | ( | attachment | p | ) |
Definition at line 152 of file word_attachment.c.
References gen_free().
void free_attachments | ( | attachments | p | ) |
Definition at line 194 of file word_attachment.c.
References gen_free().
void free_word_to_attachments | ( | word_to_attachments | p | ) |
Definition at line 236 of file word_attachment.c.
References gen_free().
Definition at line 34 of file word_attachment.c.
References ATTACHEE_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_attachment_cons | ( | attachment | p, |
list | l | ||
) |
Definition at line 165 of file word_attachment.c.
References ATTACHMENT_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_attachments_cons | ( | attachments | p, |
list | l | ||
) |
Definition at line 207 of file word_attachment.c.
References ATTACHMENTS_NEWGEN_DOMAIN, and gen_typed_cons().
list gen_word_to_attachments_cons | ( | word_to_attachments | p, |
list | l | ||
) |
Definition at line 249 of file word_attachment.c.
References gen_typed_cons(), and WORD_TO_ATTACHMENTS_NEWGEN_DOMAIN.
attachee make_attachee | ( | enum attachee_utype | tag, |
void * | val | ||
) |
Definition at line 80 of file word_attachment.c.
References attachee_domain, gen_alloc(), and GEN_CHECK_ALLOC.
Definition at line 89 of file word_attachment.c.
References intptr_t, is_attachee_call, and make_attachee().
attachee make_attachee_comment | ( | void | ) |
Definition at line 143 of file word_attachment.c.
References is_attachee_comment, make_attachee(), and UU.
attachee make_attachee_complementary_sections | ( | void | ) |
Definition at line 104 of file word_attachment.c.
References is_attachee_complementary_sections, make_attachee(), and UU.
attachee make_attachee_complexities | ( | void | ) |
Definition at line 107 of file word_attachment.c.
References is_attachee_complexities, make_attachee(), and UU.
attachee make_attachee_continuation_conditions | ( | void | ) |
Definition at line 110 of file word_attachment.c.
References is_attachee_continuation_conditions, make_attachee(), and UU.
attachee make_attachee_cumulated_effects | ( | void | ) |
Definition at line 113 of file word_attachment.c.
References is_attachee_cumulated_effects, make_attachee(), and UU.
Definition at line 92 of file word_attachment.c.
References intptr_t, is_attachee_declaration, and make_attachee().
attachee make_attachee_decoration | ( | void | ) |
Definition at line 140 of file word_attachment.c.
References is_attachee_decoration, make_attachee(), and UU.
Definition at line 98 of file word_attachment.c.
References intptr_t, is_attachee_loop, and make_attachee().
Definition at line 101 of file word_attachment.c.
References intptr_t, is_attachee_module_head, and make_attachee().
attachee make_attachee_out_regions | ( | void | ) |
Definition at line 116 of file word_attachment.c.
References is_attachee_out_regions, make_attachee(), and UU.
attachee make_attachee_preconditions | ( | void | ) |
Definition at line 119 of file word_attachment.c.
References is_attachee_preconditions, make_attachee(), and UU.
attachee make_attachee_privatized_regions | ( | void | ) |
Definition at line 122 of file word_attachment.c.
References is_attachee_privatized_regions, make_attachee(), and UU.
attachee make_attachee_proper_effects | ( | void | ) |
Definition at line 125 of file word_attachment.c.
References is_attachee_proper_effects, make_attachee(), and UU.
attachee make_attachee_proper_regions | ( | void | ) |
Definition at line 128 of file word_attachment.c.
References is_attachee_proper_regions, make_attachee(), and UU.
Definition at line 86 of file word_attachment.c.
References intptr_t, is_attachee_reference, and make_attachee().
attachee make_attachee_regions | ( | void | ) |
Definition at line 131 of file word_attachment.c.
References is_attachee_regions, make_attachee(), and UU.
Definition at line 83 of file word_attachment.c.
References intptr_t, is_attachee_statement_line_number, and make_attachee().
attachee make_attachee_static_control | ( | void | ) |
Definition at line 134 of file word_attachment.c.
References is_attachee_static_control, make_attachee(), and UU.
attachee make_attachee_transformers | ( | void | ) |
Definition at line 137 of file word_attachment.c.
References is_attachee_transformers, make_attachee(), and UU.
Definition at line 95 of file word_attachment.c.
References intptr_t, is_attachee_type, and make_attachee().
attachment make_attachment | ( | attachee | a1, |
intptr_t | a2, | ||
intptr_t | a3 | ||
) |
Definition at line 185 of file word_attachment.c.
References attachment_domain, gen_alloc(), and GEN_CHECK_ALLOC.
attachments make_attachments | ( | list | a | ) |
Definition at line 227 of file word_attachment.c.
References attachments_domain, gen_alloc(), and GEN_CHECK_ALLOC.
word_to_attachments make_word_to_attachments | ( | void | ) |
Definition at line 269 of file word_attachment.c.
References gen_alloc(), GEN_CHECK_ALLOC, and word_to_attachments_domain.
attachee read_attachee | ( | FILE * | f | ) |
Definition at line 51 of file word_attachment.c.
References f(), and gen_read().
attachment read_attachment | ( | FILE * | f | ) |
Definition at line 182 of file word_attachment.c.
References f(), and gen_read().
attachments read_attachments | ( | FILE * | f | ) |
Definition at line 224 of file word_attachment.c.
References f(), and gen_read().
word_to_attachments read_word_to_attachments | ( | FILE * | f | ) |
Definition at line 266 of file word_attachment.c.
References f(), and gen_read().
void update_word_to_attachments | ( | word_to_attachments | f, |
void_star | k, | ||
attachments | v | ||
) |
Definition at line 275 of file word_attachment.c.
References f(), HASH_UPDATE, intptr_t, and word_to_attachments_hash_table.
void word_to_attachments_assign_contents | ( | word_to_attachments | r, |
word_to_attachments | v | ||
) |
Definition at line 252 of file word_attachment.c.
References check_word_to_attachments(), message_assert, and word_to_attachments_defined_p().
bool word_to_attachments_consistent_p | ( | word_to_attachments | p | ) |
Definition at line 242 of file word_attachment.c.
References check_word_to_attachments(), and gen_consistent_p().
bool word_to_attachments_defined_p | ( | word_to_attachments | p | ) |
Definition at line 246 of file word_attachment.c.
References gen_defined_p().
void word_to_attachments_non_recursive_free | ( | word_to_attachments | p | ) |
Definition at line 259 of file word_attachment.c.
References free().
void write_attachee | ( | FILE * | f, |
attachee | p | ||
) |
Definition at line 48 of file word_attachment.c.
References f(), and gen_write().
void write_attachment | ( | FILE * | f, |
attachment | p | ||
) |
Definition at line 179 of file word_attachment.c.
References f(), and gen_write().
void write_attachments | ( | FILE * | f, |
attachments | p | ||
) |
Definition at line 221 of file word_attachment.c.
References f(), and gen_write().
void write_word_to_attachments | ( | FILE * | f, |
word_to_attachments | p | ||
) |
Definition at line 263 of file word_attachment.c.
References f(), and gen_write().