Data Structures
struct	_newgen_struct_action_kind_

struct	_newgen_struct_action_

struct	_newgen_struct_approximation_

struct	_newgen_struct_cell_interpretation_

struct	_newgen_struct_cell_

struct	_newgen_struct_cell_relation_

struct	_newgen_struct_cell_relations_

struct	_newgen_struct_descriptor_

struct	_newgen_struct_effect_

struct	_newgen_struct_effects_classes_

struct	_newgen_struct_effects_

struct	_newgen_struct_entity_effects_

struct	_newgen_struct_gap_

struct	_newgen_struct_interpreted_cell_

struct	_newgen_struct_path_selector_

struct	_newgen_struct_path_selectors_

struct	_newgen_struct_persistant_expression_to_effects_

struct	_newgen_struct_recursive_selector_

struct	_newgen_struct_statement_cell_relations_

struct	_newgen_struct_statement_effects_

Macros
#define	_gen_effects_start 132

#define	_newgen_entity_domain_defined_

#define	ENTITY_NEWGEN_DOMAIN (entity_domain)

#define	entity_NEWGEN_DOMAIN (entity_domain)

#define	_newgen_reference_domain_defined_
	newgen_entity_domain_defined More...

#define	REFERENCE_NEWGEN_DOMAIN (reference_domain)

#define	reference_NEWGEN_DOMAIN (reference_domain)

#define	_newgen_preference_domain_defined_
	newgen_reference_domain_defined More...

#define	PREFERENCE_NEWGEN_DOMAIN (preference_domain)

#define	preference_NEWGEN_DOMAIN (preference_domain)

#define	_newgen_expression_domain_defined_
	newgen_preference_domain_defined More...

#define	EXPRESSION_NEWGEN_DOMAIN (expression_domain)

#define	expression_NEWGEN_DOMAIN (expression_domain)

#define	_newgen_statement_domain_defined_
	newgen_expression_domain_defined More...

#define	STATEMENT_NEWGEN_DOMAIN (statement_domain)

#define	statement_NEWGEN_DOMAIN (statement_domain)

#define	_newgen_Psysteme_domain_defined_
	newgen_statement_domain_defined More...

#define	newgen_Psysteme(p) (p) /*old hack compatible /

#define	PSYSTEME_NEWGEN_EXTERNAL (_gen_effects_start+0)

#define	PSYSTEME_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL)

#define	Psysteme_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL)

#define	action_kind_domain (_gen_effects_start+1)
	newgen_Psysteme_domain_defined More...

#define	_newgen_action_kind_domain_defined_

#define	ACTION_KIND_NEWGEN_DOMAIN (action_kind_domain)

#define	action_kind_NEWGEN_DOMAIN (action_kind_domain)

#define	action_domain (_gen_effects_start+2)
	newgen_action_kind_domain_defined More...

#define	_newgen_action_domain_defined_

#define	ACTION_NEWGEN_DOMAIN (action_domain)

#define	action_NEWGEN_DOMAIN (action_domain)

#define	approximation_domain (_gen_effects_start+3)
	newgen_action_domain_defined More...

#define	_newgen_approximation_domain_defined_

#define	APPROXIMATION_NEWGEN_DOMAIN (approximation_domain)

#define	approximation_NEWGEN_DOMAIN (approximation_domain)

#define	cell_interpretation_domain (_gen_effects_start+4)
	newgen_approximation_domain_defined More...

#define	_newgen_cell_interpretation_domain_defined_

#define	CELL_INTERPRETATION_NEWGEN_DOMAIN (cell_interpretation_domain)

#define	cell_interpretation_NEWGEN_DOMAIN (cell_interpretation_domain)

#define	cell_domain (_gen_effects_start+5)
	newgen_cell_interpretation_domain_defined More...

#define	_newgen_cell_domain_defined_

#define	CELL_NEWGEN_DOMAIN (cell_domain)

#define	cell_NEWGEN_DOMAIN (cell_domain)

#define	cell_relation_domain (_gen_effects_start+6)
	newgen_cell_domain_defined More...

#define	_newgen_cell_relation_domain_defined_

#define	CELL_RELATION_NEWGEN_DOMAIN (cell_relation_domain)

#define	cell_relation_NEWGEN_DOMAIN (cell_relation_domain)

#define	cell_relations_domain (_gen_effects_start+7)
	newgen_cell_relation_domain_defined More...

#define	_newgen_cell_relations_domain_defined_

#define	CELL_RELATIONS_NEWGEN_DOMAIN (cell_relations_domain)

#define	cell_relations_NEWGEN_DOMAIN (cell_relations_domain)

#define	descriptor_domain (_gen_effects_start+8)
	newgen_cell_relations_domain_defined More...

#define	_newgen_descriptor_domain_defined_

#define	DESCRIPTOR_NEWGEN_DOMAIN (descriptor_domain)

#define	descriptor_NEWGEN_DOMAIN (descriptor_domain)

#define	effect_domain (_gen_effects_start+9)
	newgen_descriptor_domain_defined More...

#define	_newgen_effect_domain_defined_

#define	EFFECT_NEWGEN_DOMAIN (effect_domain)

#define	effect_NEWGEN_DOMAIN (effect_domain)

#define	effects_classes_domain (_gen_effects_start+10)
	newgen_effect_domain_defined More...

#define	_newgen_effects_classes_domain_defined_

#define	EFFECTS_CLASSES_NEWGEN_DOMAIN (effects_classes_domain)

#define	effects_classes_NEWGEN_DOMAIN (effects_classes_domain)

#define	effects_domain (_gen_effects_start+11)
	newgen_effects_classes_domain_defined More...

#define	_newgen_effects_domain_defined_

#define	EFFECTS_NEWGEN_DOMAIN (effects_domain)

#define	effects_NEWGEN_DOMAIN (effects_domain)

#define	entity_effects_domain (_gen_effects_start+12)
	newgen_effects_domain_defined More...

#define	_newgen_entity_effects_domain_defined_

#define	ENTITY_EFFECTS_NEWGEN_DOMAIN (entity_effects_domain)

#define	entity_effects_NEWGEN_DOMAIN (entity_effects_domain)

#define	gap_domain (_gen_effects_start+13)
	newgen_entity_effects_domain_defined More...

#define	_newgen_gap_domain_defined_

#define	GAP_NEWGEN_DOMAIN (gap_domain)

#define	gap_NEWGEN_DOMAIN (gap_domain)

#define	interpreted_cell_domain (_gen_effects_start+14)
	newgen_gap_domain_defined More...

#define	_newgen_interpreted_cell_domain_defined_

#define	INTERPRETED_CELL_NEWGEN_DOMAIN (interpreted_cell_domain)

#define	interpreted_cell_NEWGEN_DOMAIN (interpreted_cell_domain)

#define	path_selector_domain (_gen_effects_start+15)
	newgen_interpreted_cell_domain_defined More...

#define	_newgen_path_selector_domain_defined_

#define	PATH_SELECTOR_NEWGEN_DOMAIN (path_selector_domain)

#define	path_selector_NEWGEN_DOMAIN (path_selector_domain)

#define	path_selectors_domain (_gen_effects_start+16)
	newgen_path_selector_domain_defined More...

#define	_newgen_path_selectors_domain_defined_

#define	PATH_SELECTORS_NEWGEN_DOMAIN (path_selectors_domain)

#define	path_selectors_NEWGEN_DOMAIN (path_selectors_domain)

#define	persistant_expression_to_effects_domain (_gen_effects_start+17)
	newgen_path_selectors_domain_defined More...

#define	_newgen_persistant_expression_to_effects_domain_defined_

#define	PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN (persistant_expression_to_effects_domain)

#define	persistant_expression_to_effects_NEWGEN_DOMAIN (persistant_expression_to_effects_domain)

#define	recursive_selector_domain (_gen_effects_start+18)
	newgen_persistant_expression_to_effects_domain_defined More...

#define	_newgen_recursive_selector_domain_defined_

#define	RECURSIVE_SELECTOR_NEWGEN_DOMAIN (recursive_selector_domain)

#define	recursive_selector_NEWGEN_DOMAIN (recursive_selector_domain)

#define	statement_cell_relations_domain (_gen_effects_start+19)
	newgen_recursive_selector_domain_defined More...

#define	_newgen_statement_cell_relations_domain_defined_

#define	STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN (statement_cell_relations_domain)

#define	statement_cell_relations_NEWGEN_DOMAIN (statement_cell_relations_domain)

#define	statement_effects_domain (_gen_effects_start+20)
	newgen_statement_cell_relations_domain_defined More...

#define	_newgen_statement_effects_domain_defined_

#define	STATEMENT_EFFECTS_NEWGEN_DOMAIN (statement_effects_domain)

#define	statement_effects_NEWGEN_DOMAIN (statement_effects_domain)

#define	ACTION_KIND(x) ((action_kind)((x).p))
	newgen_statement_effects_domain_defined More...

#define	action_kind_CAST(x) ACTION_KIND(x)

#define	ACTION_KIND_CAST(x) ACTION_KIND(x)

#define	ACTION_KIND_(x) ((x).e)

#define	ACTION_KIND_TYPE action_kind

#define	action_kind_TYPE action_kind

#define	action_kind_undefined ((action_kind)gen_chunk_undefined)

#define	action_kind_undefined_p(x) ((x)==action_kind_undefined)

#define	gen_ACTION_KIND_cons gen_action_kind_cons

#define	action_kind_domain_number(x) ((x)->_type_)

#define	action_kind_tag(x) ((x)->_action_kind_tag__)

#define	action_kind_store_p(x) (action_kind_tag(x)==is_action_kind_store)

#define	action_kind_store_(x) action_kind_store(x) /*old hack compatible /

#define	action_kind_store(x) ((x)->_action_kind_union_._action_kind_store_.u)

#define	action_kind_environment_p(x) (action_kind_tag(x)==is_action_kind_environment)

#define	action_kind_environment_(x) action_kind_environment(x) /*old hack compatible /

#define	action_kind_environment(x) ((x)->_action_kind_union_._action_kind_environment_.u)

#define	action_kind_type_declaration_p(x) (action_kind_tag(x)==is_action_kind_type_declaration)

#define	action_kind_type_declaration_(x) action_kind_type_declaration(x) /*old hack compatible /

#define	action_kind_type_declaration(x) ((x)->_action_kind_union_._action_kind_type_declaration_.u)

#define	ACTION(x) ((action)((x).p))
	ACTION. More...

#define	action_CAST(x) ACTION(x)

#define	ACTION_CAST(x) ACTION(x)

#define	ACTION_(x) ((x).e)

#define	ACTION_TYPE action

#define	action_TYPE action

#define	action_undefined ((action)gen_chunk_undefined)

#define	action_undefined_p(x) ((x)==action_undefined)

#define	gen_ACTION_cons gen_action_cons

#define	action_domain_number(x) ((x)->_type_)

#define	action_tag(x) ((x)->_action_tag__)

#define	action_read_p(x) (action_tag(x)==is_action_read)

#define	action_read_(x) action_read(x) /*old hack compatible /

#define	action_read(x) ((x)->_action_union_._action_read_)

#define	action_write_p(x) (action_tag(x)==is_action_write)

#define	action_write_(x) action_write(x) /*old hack compatible /

#define	action_write(x) ((x)->_action_union_._action_write_)

#define	APPROXIMATION(x) ((approximation)((x).p))
	APPROXIMATION. More...

#define	approximation_CAST(x) APPROXIMATION(x)

#define	APPROXIMATION_CAST(x) APPROXIMATION(x)

#define	APPROXIMATION_(x) ((x).e)

#define	APPROXIMATION_TYPE approximation

#define	approximation_TYPE approximation

#define	approximation_undefined ((approximation)gen_chunk_undefined)

#define	approximation_undefined_p(x) ((x)==approximation_undefined)

#define	gen_APPROXIMATION_cons gen_approximation_cons

#define	approximation_domain_number(x) ((x)->_type_)

#define	approximation_tag(x) ((x)->_approximation_tag__)

#define	approximation_may_p(x) (approximation_tag(x)==is_approximation_may)

#define	approximation_may_(x) approximation_may(x) /*old hack compatible /

#define	approximation_may(x) ((x)->_approximation_union_._approximation_may_.u)

#define	approximation_must_p(x) (approximation_tag(x)==is_approximation_must)

#define	approximation_must_(x) approximation_must(x) /*old hack compatible /

#define	approximation_must(x) ((x)->_approximation_union_._approximation_must_.u)

#define	approximation_exact_p(x) (approximation_tag(x)==is_approximation_exact)

#define	approximation_exact_(x) approximation_exact(x) /*old hack compatible /

#define	approximation_exact(x) ((x)->_approximation_union_._approximation_exact_.u)

#define	CELL_INTERPRETATION(x) ((cell_interpretation)((x).p))
	CELL_INTERPRETATION. More...

#define	cell_interpretation_CAST(x) CELL_INTERPRETATION(x)

#define	CELL_INTERPRETATION_CAST(x) CELL_INTERPRETATION(x)

#define	CELL_INTERPRETATION_(x) ((x).e)

#define	CELL_INTERPRETATION_TYPE cell_interpretation

#define	cell_interpretation_TYPE cell_interpretation

#define	cell_interpretation_undefined ((cell_interpretation)gen_chunk_undefined)

#define	cell_interpretation_undefined_p(x) ((x)==cell_interpretation_undefined)

#define	gen_CELL_INTERPRETATION_cons gen_cell_interpretation_cons

#define	cell_interpretation_domain_number(x) ((x)->_type_)

#define	cell_interpretation_tag(x) ((x)->_cell_interpretation_tag__)

#define	cell_interpretation_value_of_p(x) (cell_interpretation_tag(x)==is_cell_interpretation_value_of)

#define	cell_interpretation_value_of_(x) cell_interpretation_value_of(x) /*old hack compatible /

#define	cell_interpretation_value_of(x) ((x)->_cell_interpretation_union_._cell_interpretation_value_of_.u)

#define	cell_interpretation_address_of_p(x) (cell_interpretation_tag(x)==is_cell_interpretation_address_of)

#define	cell_interpretation_address_of_(x) cell_interpretation_address_of(x) /*old hack compatible /

#define	cell_interpretation_address_of(x) ((x)->_cell_interpretation_union_._cell_interpretation_address_of_.u)

#define	CELL(x) ((cell)((x).p))
	CELL. More...

#define	cell_CAST(x) CELL(x)

#define	CELL_CAST(x) CELL(x)

#define	CELL_(x) ((x).e)

#define	CELL_TYPE cell

#define	cell_TYPE cell

#define	cell_undefined ((cell)gen_chunk_undefined)

#define	cell_undefined_p(x) ((x)==cell_undefined)

#define	gen_CELL_cons gen_cell_cons

#define	cell_domain_number(x) ((x)->_type_)

#define	cell_tag(x) ((x)->_cell_tag__)

#define	cell_reference_p(x) (cell_tag(x)==is_cell_reference)

#define	cell_reference_(x) cell_reference(x) /*old hack compatible /

#define	cell_reference(x) ((x)->_cell_union_._cell_reference_)

#define	cell_preference_p(x) (cell_tag(x)==is_cell_preference)

#define	cell_preference_(x) cell_preference(x) /*old hack compatible /

#define	cell_preference(x) ((x)->_cell_union_._cell_preference_)

#define	cell_gap_p(x) (cell_tag(x)==is_cell_gap)

#define	cell_gap_(x) cell_gap(x) /*old hack compatible /

#define	cell_gap(x) ((x)->_cell_union_._cell_gap_)

#define	CELL_RELATION(x) ((cell_relation)((x).p))
	CELL_RELATION. More...

#define	cell_relation_CAST(x) CELL_RELATION(x)

#define	CELL_RELATION_CAST(x) CELL_RELATION(x)

#define	CELL_RELATION_(x) ((x).e)

#define	CELL_RELATION_TYPE cell_relation

#define	cell_relation_TYPE cell_relation

#define	cell_relation_undefined ((cell_relation)gen_chunk_undefined)

#define	cell_relation_undefined_p(x) ((x)==cell_relation_undefined)

#define	gen_CELL_RELATION_cons gen_cell_relation_cons

#define	cell_relation_domain_number(x) ((x)->_type_)

#define	cell_relation_first_(x) cell_relation_first(x) /*old hack compatible /

#define	cell_relation_first(x) ((x)->_cell_relation_first_)

#define	cell_relation_second_(x) cell_relation_second(x) /*old hack compatible /

#define	cell_relation_second(x) ((x)->_cell_relation_second_)

#define	cell_relation_approximation_(x) cell_relation_approximation(x) /*old hack compatible /

#define	cell_relation_approximation(x) ((x)->_cell_relation_approximation_)

#define	cell_relation_descriptor_(x) cell_relation_descriptor(x) /*old hack compatible /

#define	cell_relation_descriptor(x) ((x)->_cell_relation_descriptor_)

#define	CELL_RELATIONS(x) ((cell_relations)((x).p))
	CELL_RELATIONS. More...

#define	cell_relations_CAST(x) CELL_RELATIONS(x)

#define	CELL_RELATIONS_CAST(x) CELL_RELATIONS(x)

#define	CELL_RELATIONS_(x) ((x).e)

#define	CELL_RELATIONS_TYPE cell_relations

#define	cell_relations_TYPE cell_relations

#define	cell_relations_undefined ((cell_relations)gen_chunk_undefined)

#define	cell_relations_undefined_p(x) ((x)==cell_relations_undefined)

#define	gen_CELL_RELATIONS_cons gen_cell_relations_cons

#define	cell_relations_domain_number(x) ((x)->_type_)

#define	cell_relations_list(x) ((x)->_cell_relations_holder_)

#define	DESCRIPTOR(x) ((descriptor)((x).p))
	DESCRIPTOR. More...

#define	descriptor_CAST(x) DESCRIPTOR(x)

#define	DESCRIPTOR_CAST(x) DESCRIPTOR(x)

#define	DESCRIPTOR_(x) ((x).e)

#define	DESCRIPTOR_TYPE descriptor

#define	descriptor_TYPE descriptor

#define	descriptor_undefined ((descriptor)gen_chunk_undefined)

#define	descriptor_undefined_p(x) ((x)==descriptor_undefined)

#define	gen_DESCRIPTOR_cons gen_descriptor_cons

#define	descriptor_domain_number(x) ((x)->_type_)

#define	descriptor_tag(x) ((x)->_descriptor_tag__)

#define	descriptor_convexunion_p(x) (descriptor_tag(x)==is_descriptor_convexunion)

#define	descriptor_convexunion_(x) descriptor_convexunion(x) /*old hack compatible /

#define	descriptor_convexunion(x) ((x)->_descriptor_union_._descriptor_convexunion_)

#define	descriptor_convex_p(x) (descriptor_tag(x)==is_descriptor_convex)

#define	descriptor_convex_(x) descriptor_convex(x) /*old hack compatible /

#define	descriptor_convex(x) ((x)->_descriptor_union_._descriptor_convex_)

#define	descriptor_none_p(x) (descriptor_tag(x)==is_descriptor_none)

#define	descriptor_none_(x) descriptor_none(x) /*old hack compatible /

#define	descriptor_none(x) ((x)->_descriptor_union_._descriptor_none_.u)

#define	EFFECT(x) ((effect)((x).p))
	EFFECT. More...

#define	effect_CAST(x) EFFECT(x)

#define	EFFECT_CAST(x) EFFECT(x)

#define	EFFECT_(x) ((x).e)

#define	EFFECT_TYPE effect

#define	effect_TYPE effect

#define	effect_undefined ((effect)gen_chunk_undefined)

#define	effect_undefined_p(x) ((x)==effect_undefined)

#define	gen_EFFECT_cons gen_effect_cons

#define	effect_domain_number(x) ((x)->_type_)

#define	effect_cell_(x) effect_cell(x) /*old hack compatible /

#define	effect_cell(x) ((x)->_effect_cell_)

#define	effect_action_(x) effect_action(x) /*old hack compatible /

#define	effect_action(x) ((x)->_effect_action_)

#define	effect_approximation_(x) effect_approximation(x) /*old hack compatible /

#define	effect_approximation(x) ((x)->_effect_approximation_)

#define	effect_descriptor_(x) effect_descriptor(x) /*old hack compatible /

#define	effect_descriptor(x) ((x)->_effect_descriptor_)

#define	EFFECTS_CLASSES(x) ((effects_classes)((x).p))
	EFFECTS_CLASSES. More...

#define	effects_classes_CAST(x) EFFECTS_CLASSES(x)

#define	EFFECTS_CLASSES_CAST(x) EFFECTS_CLASSES(x)

#define	EFFECTS_CLASSES_(x) ((x).e)

#define	EFFECTS_CLASSES_TYPE effects_classes

#define	effects_classes_TYPE effects_classes

#define	effects_classes_undefined ((effects_classes)gen_chunk_undefined)

#define	effects_classes_undefined_p(x) ((x)==effects_classes_undefined)

#define	gen_EFFECTS_CLASSES_cons gen_effects_classes_cons

#define	effects_classes_domain_number(x) ((x)->_type_)

#define	effects_classes_classes(x) ((x)->_effects_classes_holder_)

#define	EFFECTS(x) ((effects)((x).p))
	EFFECTS. More...

#define	effects_CAST(x) EFFECTS(x)

#define	EFFECTS_CAST(x) EFFECTS(x)

#define	EFFECTS_(x) ((x).e)

#define	EFFECTS_TYPE effects

#define	effects_TYPE effects

#define	effects_undefined ((effects)gen_chunk_undefined)

#define	effects_undefined_p(x) ((x)==effects_undefined)

#define	gen_EFFECTS_cons gen_effects_cons

#define	effects_domain_number(x) ((x)->_type_)

#define	effects_effects(x) ((x)->_effects_holder_)

#define	ENTITY_EFFECTS(x) ((entity_effects)((x).p))
	ENTITY_EFFECTS. More...

#define	entity_effects_CAST(x) ENTITY_EFFECTS(x)

#define	ENTITY_EFFECTS_CAST(x) ENTITY_EFFECTS(x)

#define	ENTITY_EFFECTS_(x) ((x).e)

#define	ENTITY_EFFECTS_TYPE entity_effects

#define	entity_effects_TYPE entity_effects

#define	entity_effects_undefined ((entity_effects)gen_chunk_undefined)

#define	entity_effects_undefined_p(x) ((x)==entity_effects_undefined)

#define	gen_ENTITY_EFFECTS_cons gen_entity_effects_cons

#define	entity_effects_domain_number(x) ((x)->_type_)

#define	entity_effects_hash_table(x) ((x)->_entity_effects_holder_)

#define	entity_effects_key_type entity

#define	entity_effects_value_type effects

#define	ENTITY_EFFECTS_MAP(k, v, c, f) FUNCTION_MAP(entity_effects,p,p,k,v,c,f)

#define	ENTITY_EFFECTS_FOREACH(k, v, f) FUNCTION_FOREACH(entity_effects,p,p,k,v,f)

#define	GAP(x) ((gap)((x).p))
	GAP. More...

#define	gap_CAST(x) GAP(x)

#define	GAP_CAST(x) GAP(x)

#define	GAP_(x) ((x).e)

#define	GAP_TYPE gap

#define	gap_TYPE gap

#define	gap_undefined ((gap)gen_chunk_undefined)

#define	gap_undefined_p(x) ((x)==gap_undefined)

#define	gen_GAP_cons gen_gap_cons

#define	gap_domain_number(x) ((x)->_type_)

#define	gap_variable_(x) gap_variable(x) /*old hack compatible /

#define	gap_variable(x) ((x)->_gap_variable_)

#define	gap_path_selectors_(x) gap_path_selectors(x) /*old hack compatible /

#define	gap_path_selectors(x) ((x)->_gap_path_selectors_)

#define	INTERPRETED_CELL(x) ((interpreted_cell)((x).p))
	INTERPRETED_CELL. More...

#define	interpreted_cell_CAST(x) INTERPRETED_CELL(x)

#define	INTERPRETED_CELL_CAST(x) INTERPRETED_CELL(x)

#define	INTERPRETED_CELL_(x) ((x).e)

#define	INTERPRETED_CELL_TYPE interpreted_cell

#define	interpreted_cell_TYPE interpreted_cell

#define	interpreted_cell_undefined ((interpreted_cell)gen_chunk_undefined)

#define	interpreted_cell_undefined_p(x) ((x)==interpreted_cell_undefined)

#define	gen_INTERPRETED_CELL_cons gen_interpreted_cell_cons

#define	interpreted_cell_domain_number(x) ((x)->_type_)

#define	interpreted_cell_cell_(x) interpreted_cell_cell(x) /*old hack compatible /

#define	interpreted_cell_cell(x) ((x)->_interpreted_cell_cell_)

#define	interpreted_cell_cell_interpretation_(x) interpreted_cell_cell_interpretation(x) /*old hack compatible /

#define	interpreted_cell_cell_interpretation(x) ((x)->_interpreted_cell_cell_interpretation_)

#define	PATH_SELECTOR(x) ((path_selector)((x).p))
	PATH_SELECTOR. More...

#define	path_selector_CAST(x) PATH_SELECTOR(x)

#define	PATH_SELECTOR_CAST(x) PATH_SELECTOR(x)

#define	PATH_SELECTOR_(x) ((x).e)

#define	PATH_SELECTOR_TYPE path_selector

#define	path_selector_TYPE path_selector

#define	path_selector_undefined ((path_selector)gen_chunk_undefined)

#define	path_selector_undefined_p(x) ((x)==path_selector_undefined)

#define	gen_PATH_SELECTOR_cons gen_path_selector_cons

#define	path_selector_domain_number(x) ((x)->_type_)

#define	path_selector_tag(x) ((x)->_path_selector_tag__)

#define	path_selector_expression_p(x) (path_selector_tag(x)==is_path_selector_expression)

#define	path_selector_expression_(x) path_selector_expression(x) /*old hack compatible /

#define	path_selector_expression(x) ((x)->_path_selector_union_._path_selector_expression_)

#define	path_selector_recursive_selector_p(x) (path_selector_tag(x)==is_path_selector_recursive_selector)

#define	path_selector_recursive_selector_(x) path_selector_recursive_selector(x) /*old hack compatible /

#define	path_selector_recursive_selector(x) ((x)->_path_selector_union_._path_selector_recursive_selector_)

#define	PATH_SELECTORS(x) ((path_selectors)((x).p))
	PATH_SELECTORS. More...

#define	path_selectors_CAST(x) PATH_SELECTORS(x)

#define	PATH_SELECTORS_CAST(x) PATH_SELECTORS(x)

#define	PATH_SELECTORS_(x) ((x).e)

#define	PATH_SELECTORS_TYPE path_selectors

#define	path_selectors_TYPE path_selectors

#define	path_selectors_undefined ((path_selectors)gen_chunk_undefined)

#define	path_selectors_undefined_p(x) ((x)==path_selectors_undefined)

#define	gen_PATH_SELECTORS_cons gen_path_selectors_cons

#define	path_selectors_domain_number(x) ((x)->_type_)

#define	path_selectors_path_selector(x) ((x)->_path_selectors_holder_)

#define	PERSISTANT_EXPRESSION_TO_EFFECTS(x) ((persistant_expression_to_effects)((x).p))
	PERSISTANT_EXPRESSION_TO_EFFECTS. More...

#define	persistant_expression_to_effects_CAST(x) PERSISTANT_EXPRESSION_TO_EFFECTS(x)

#define	PERSISTANT_EXPRESSION_TO_EFFECTS_CAST(x) PERSISTANT_EXPRESSION_TO_EFFECTS(x)

#define	PERSISTANT_EXPRESSION_TO_EFFECTS_(x) ((x).e)

#define	PERSISTANT_EXPRESSION_TO_EFFECTS_TYPE persistant_expression_to_effects

#define	persistant_expression_to_effects_TYPE persistant_expression_to_effects

#define	persistant_expression_to_effects_undefined ((persistant_expression_to_effects)gen_chunk_undefined)

#define	persistant_expression_to_effects_undefined_p(x) ((x)==persistant_expression_to_effects_undefined)

#define	gen_PERSISTANT_EXPRESSION_TO_EFFECTS_cons gen_persistant_expression_to_effects_cons

#define	persistant_expression_to_effects_domain_number(x) ((x)->_type_)

#define	persistant_expression_to_effects_hash_table(x) ((x)->_persistant_expression_to_effects_holder_)

#define	persistant_expression_to_effects_key_type expression

#define	persistant_expression_to_effects_value_type effects

#define	PERSISTANT_EXPRESSION_TO_EFFECTS_MAP(k, v, c, f) FUNCTION_MAP(persistant_expression_to_effects,p,p,k,v,c,f)

#define	PERSISTANT_EXPRESSION_TO_EFFECTS_FOREACH(k, v, f) FUNCTION_FOREACH(persistant_expression_to_effects,p,p,k,v,f)

#define	RECURSIVE_SELECTOR(x) ((recursive_selector)((x).p))
	RECURSIVE_SELECTOR. More...

#define	recursive_selector_CAST(x) RECURSIVE_SELECTOR(x)

#define	RECURSIVE_SELECTOR_CAST(x) RECURSIVE_SELECTOR(x)

#define	RECURSIVE_SELECTOR_(x) ((x).e)

#define	RECURSIVE_SELECTOR_TYPE recursive_selector

#define	recursive_selector_TYPE recursive_selector

#define	recursive_selector_undefined ((recursive_selector)gen_chunk_undefined)

#define	recursive_selector_undefined_p(x) ((x)==recursive_selector_undefined)

#define	gen_RECURSIVE_SELECTOR_cons gen_recursive_selector_cons

#define	recursive_selector_domain_number(x) ((x)->_type_)

#define	recursive_selector_basis_(x) recursive_selector_basis(x) /*old hack compatible /

#define	recursive_selector_basis(x) ((x)->_recursive_selector_basis_)

#define	recursive_selector_coefficient_(x) recursive_selector_coefficient(x) /*old hack compatible /

#define	recursive_selector_coefficient(x) ((x)->_recursive_selector_coefficient_)

#define	STATEMENT_CELL_RELATIONS(x) ((statement_cell_relations)((x).p))
	STATEMENT_CELL_RELATIONS. More...

#define	statement_cell_relations_CAST(x) STATEMENT_CELL_RELATIONS(x)

#define	STATEMENT_CELL_RELATIONS_CAST(x) STATEMENT_CELL_RELATIONS(x)

#define	STATEMENT_CELL_RELATIONS_(x) ((x).e)

#define	STATEMENT_CELL_RELATIONS_TYPE statement_cell_relations

#define	statement_cell_relations_TYPE statement_cell_relations

#define	statement_cell_relations_undefined ((statement_cell_relations)gen_chunk_undefined)

#define	statement_cell_relations_undefined_p(x) ((x)==statement_cell_relations_undefined)

#define	gen_STATEMENT_CELL_RELATIONS_cons gen_statement_cell_relations_cons

#define	statement_cell_relations_domain_number(x) ((x)->_type_)

#define	statement_cell_relations_hash_table(x) ((x)->_statement_cell_relations_holder_)

#define	statement_cell_relations_key_type statement

#define	statement_cell_relations_value_type cell_relations

#define	STATEMENT_CELL_RELATIONS_MAP(k, v, c, f) FUNCTION_MAP(statement_cell_relations,p,p,k,v,c,f)

#define	STATEMENT_CELL_RELATIONS_FOREACH(k, v, f) FUNCTION_FOREACH(statement_cell_relations,p,p,k,v,f)

#define	STATEMENT_EFFECTS(x) ((statement_effects)((x).p))
	STATEMENT_EFFECTS. More...

#define	statement_effects_CAST(x) STATEMENT_EFFECTS(x)

#define	STATEMENT_EFFECTS_CAST(x) STATEMENT_EFFECTS(x)

#define	STATEMENT_EFFECTS_(x) ((x).e)

#define	STATEMENT_EFFECTS_TYPE statement_effects

#define	statement_effects_TYPE statement_effects

#define	statement_effects_undefined ((statement_effects)gen_chunk_undefined)

#define	statement_effects_undefined_p(x) ((x)==statement_effects_undefined)

#define	gen_STATEMENT_EFFECTS_cons gen_statement_effects_cons

#define	statement_effects_domain_number(x) ((x)->_type_)

#define	statement_effects_hash_table(x) ((x)->_statement_effects_holder_)

#define	statement_effects_key_type statement

#define	statement_effects_value_type effects

#define	STATEMENT_EFFECTS_MAP(k, v, c, f) FUNCTION_MAP(statement_effects,p,p,k,v,c,f)

#define	STATEMENT_EFFECTS_FOREACH(k, v, f) FUNCTION_FOREACH(statement_effects,p,p,k,v,f)

#define	effects_spec "\--NEWGEN-START 132\n\import entity from \"ri.newgen\";\n\import reference from \"ri.newgen\";\n\import preference from \"ri.newgen\";\n\import expression from \"ri.newgen\";\n\import statement from \"ri.newgen\";\n\external Psysteme;\n\action_kind = store:unit + environment:unit + type_declaration:unit;\n\action = read:action_kind + write:action_kind;\n\approximation = may:unit + must:unit + exact:unit;\n\cell_interpretation = value_of:unit + address_of:unit;\n\cell = reference:reference + preference:preference + gap:gap;\n\cell_relation = first:interpreted_cell x second:interpreted_cell x approximation:approximation x descriptor:descriptor;\n\cell_relations = list:cell_relation;\n\descriptor = convexunion:Psysteme + convex:Psysteme + none:unit;\n\effect = cell:cell x action:action x approximation:approximation x descriptor:descriptor;\n\effects_classes = classes:effects;\n\effects = effects:effect;\n\entity_effects = entity:entity -> effects:effects;\n\gap = variable:entity x path_selectors:path_selectors;\n\interpreted_cell = cell:cell x cell_interpretation:cell_interpretation;\n\path_selector = expression:expression + recursive_selector:recursive_selector;\n\path_selectors = path_selector:path_selector;\n\persistant_expression_to_effects = persistant expression:expression -> effects:effects;\n\recursive_selector = basis:path_selectors x coefficient:expression;\n\statement_cell_relations = persistant statement:statement -> cell_relations:cell_relations;\n\statement_effects = persistant statement:statement -> effects:effects;\n\"

Typedefs
typedef struct _newgen_struct_entity_ *	entity

typedef struct _newgen_struct_reference_ *	reference

typedef struct _newgen_struct_preference_ *	preference

typedef struct _newgen_struct_expression_ *	expression

typedef struct _newgen_struct_statement_ *	statement

typedef struct _newgen_struct_action_kind_ *	action_kind

typedef struct _newgen_struct_action_ *	action

typedef struct _newgen_struct_approximation_ *	approximation

typedef struct _newgen_struct_cell_interpretation_ *	cell_interpretation

typedef struct _newgen_struct_cell_ *	cell

typedef struct _newgen_struct_cell_relation_ *	cell_relation

typedef struct _newgen_struct_cell_relations_ *	cell_relations

typedef struct _newgen_struct_descriptor_ *	descriptor

typedef struct _newgen_struct_effect_ *	effect

typedef struct _newgen_struct_effects_classes_ *	effects_classes

typedef struct _newgen_struct_effects_ *	effects

typedef struct _newgen_struct_entity_effects_ *	entity_effects

typedef struct _newgen_struct_gap_ *	gap

typedef struct _newgen_struct_interpreted_cell_ *	interpreted_cell

typedef struct _newgen_struct_path_selector_ *	path_selector

typedef struct _newgen_struct_path_selectors_ *	path_selectors

typedef struct _newgen_struct_persistant_expression_to_effects_ *	persistant_expression_to_effects

typedef struct _newgen_struct_recursive_selector_ *	recursive_selector

typedef struct _newgen_struct_statement_cell_relations_ *	statement_cell_relations

typedef struct _newgen_struct_statement_effects_ *	statement_effects

Functions
action_kind	copy_action_kind (action_kind)
	ACTION_KIND. More...

void	free_action_kind (action_kind)

action_kind	check_action_kind (action_kind)

bool	action_kind_consistent_p (action_kind)

bool	action_kind_defined_p (action_kind)

list	gen_action_kind_cons (action_kind, list)

void	action_kind_assign_contents (action_kind, action_kind)

void	action_kind_non_recursive_free (action_kind)

void	write_action_kind (FILE *, action_kind)

action_kind	read_action_kind (FILE *)

string	action_kind_tag_as_string (enum action_kind_utype)

action_kind	make_action_kind (enum action_kind_utype, void *)

action_kind	make_action_kind_store (void)

action_kind	make_action_kind_environment (void)

action_kind	make_action_kind_type_declaration (void)

action	copy_action (action)
	ACTION. More...

void	free_action (action)

action	check_action (action)

bool	action_consistent_p (action)

bool	action_defined_p (action)

list	gen_action_cons (action, list)

void	action_assign_contents (action, action)

void	action_non_recursive_free (action)

void	write_action (FILE *, action)

action	read_action (FILE *)

string	action_tag_as_string (enum action_utype)

action	make_action (enum action_utype, void *)

action	make_action_read (action_kind)

action	make_action_write (action_kind)

approximation	copy_approximation (approximation)
	APPROXIMATION. More...

void	free_approximation (approximation)

approximation	check_approximation (approximation)

bool	approximation_consistent_p (approximation)

bool	approximation_defined_p (approximation)

list	gen_approximation_cons (approximation, list)

void	approximation_assign_contents (approximation, approximation)

void	approximation_non_recursive_free (approximation)

void	write_approximation (FILE *, approximation)

approximation	read_approximation (FILE *)

string	approximation_tag_as_string (enum approximation_utype)

approximation	make_approximation (enum approximation_utype, void *)

approximation	make_approximation_may (void)

approximation	make_approximation_must (void)

approximation	make_approximation_exact (void)

cell_interpretation	copy_cell_interpretation (cell_interpretation)
	CELL_INTERPRETATION. More...

void	free_cell_interpretation (cell_interpretation)

cell_interpretation	check_cell_interpretation (cell_interpretation)

bool	cell_interpretation_consistent_p (cell_interpretation)

bool	cell_interpretation_defined_p (cell_interpretation)

list	gen_cell_interpretation_cons (cell_interpretation, list)

void	cell_interpretation_assign_contents (cell_interpretation, cell_interpretation)

void	cell_interpretation_non_recursive_free (cell_interpretation)

void	write_cell_interpretation (FILE *, cell_interpretation)

cell_interpretation	read_cell_interpretation (FILE *)

string	cell_interpretation_tag_as_string (enum cell_interpretation_utype)

cell_interpretation	make_cell_interpretation (enum cell_interpretation_utype, void *)

cell_interpretation	make_cell_interpretation_value_of (void)

cell_interpretation	make_cell_interpretation_address_of (void)

cell	copy_cell (cell)
	CELL. More...

void	free_cell (cell)

cell	check_cell (cell)

bool	cell_consistent_p (cell)

bool	cell_defined_p (cell)

list	gen_cell_cons (cell, list)

void	cell_assign_contents (cell, cell)

void	cell_non_recursive_free (cell)

void	write_cell (FILE *, cell)

cell	read_cell (FILE *)

string	cell_tag_as_string (enum cell_utype)

cell	make_cell (enum cell_utype, void *)

cell	make_cell_reference (reference)

cell	make_cell_preference (preference)

cell	make_cell_gap (gap)

cell_relation	copy_cell_relation (cell_relation)
	CELL_RELATION. More...

void	free_cell_relation (cell_relation)

cell_relation	check_cell_relation (cell_relation)

bool	cell_relation_consistent_p (cell_relation)

bool	cell_relation_defined_p (cell_relation)

list	gen_cell_relation_cons (cell_relation, list)

void	cell_relation_assign_contents (cell_relation, cell_relation)

void	cell_relation_non_recursive_free (cell_relation)

void	write_cell_relation (FILE *, cell_relation)

cell_relation	read_cell_relation (FILE *)

cell_relation	make_cell_relation (interpreted_cell, interpreted_cell, approximation, descriptor)

cell_relations	copy_cell_relations (cell_relations)
	CELL_RELATIONS. More...

void	free_cell_relations (cell_relations)

cell_relations	check_cell_relations (cell_relations)

bool	cell_relations_consistent_p (cell_relations)

bool	cell_relations_defined_p (cell_relations)

list	gen_cell_relations_cons (cell_relations, list)

void	cell_relations_assign_contents (cell_relations, cell_relations)

void	cell_relations_non_recursive_free (cell_relations)

void	write_cell_relations (FILE *, cell_relations)

cell_relations	read_cell_relations (FILE *)

cell_relations	make_cell_relations (list)

descriptor	copy_descriptor (descriptor)
	DESCRIPTOR. More...

void	free_descriptor (descriptor)

descriptor	check_descriptor (descriptor)

bool	descriptor_consistent_p (descriptor)

bool	descriptor_defined_p (descriptor)

list	gen_descriptor_cons (descriptor, list)

void	descriptor_assign_contents (descriptor, descriptor)

void	descriptor_non_recursive_free (descriptor)

void	write_descriptor (FILE *, descriptor)

descriptor	read_descriptor (FILE *)

string	descriptor_tag_as_string (enum descriptor_utype)

descriptor	make_descriptor (enum descriptor_utype, void *)

descriptor	make_descriptor_convexunion (list)

descriptor	make_descriptor_convex (Psysteme)

descriptor	make_descriptor_none (void)

effect	copy_effect (effect)
	EFFECT. More...

void	free_effect (effect)

effect	check_effect (effect)

bool	effect_consistent_p (effect)

bool	effect_defined_p (effect)

list	gen_effect_cons (effect, list)

void	effect_assign_contents (effect, effect)

void	effect_non_recursive_free (effect)

void	write_effect (FILE *, effect)

effect	read_effect (FILE *)

effect	make_effect (cell, action, approximation, descriptor)

effects_classes	copy_effects_classes (effects_classes)
	EFFECTS_CLASSES. More...

void	free_effects_classes (effects_classes)

effects_classes	check_effects_classes (effects_classes)

bool	effects_classes_consistent_p (effects_classes)

bool	effects_classes_defined_p (effects_classes)

list	gen_effects_classes_cons (effects_classes, list)

void	effects_classes_assign_contents (effects_classes, effects_classes)

void	effects_classes_non_recursive_free (effects_classes)

void	write_effects_classes (FILE *, effects_classes)

effects_classes	read_effects_classes (FILE *)

effects_classes	make_effects_classes (list)

effects	copy_effects (effects)
	EFFECTS. More...

void	free_effects (effects)

effects	check_effects (effects)

bool	effects_consistent_p (effects)

bool	effects_defined_p (effects)

list	gen_effects_cons (effects, list)

void	effects_assign_contents (effects, effects)

void	effects_non_recursive_free (effects)

void	write_effects (FILE *, effects)

effects	read_effects (FILE *)

effects	make_effects (list)

entity_effects	copy_entity_effects (entity_effects)
	ENTITY_EFFECTS. More...

void	free_entity_effects (entity_effects)

entity_effects	check_entity_effects (entity_effects)

bool	entity_effects_consistent_p (entity_effects)

bool	entity_effects_defined_p (entity_effects)

list	gen_entity_effects_cons (entity_effects, list)

void	entity_effects_assign_contents (entity_effects, entity_effects)

void	entity_effects_non_recursive_free (entity_effects)

void	write_entity_effects (FILE *, entity_effects)

entity_effects	read_entity_effects (FILE *)

entity_effects	make_entity_effects (void)

effects	apply_entity_effects (entity_effects, entity)

void	update_entity_effects (entity_effects, entity, effects)

void	extend_entity_effects (entity_effects, entity, effects)

effects	delete_entity_effects (entity_effects, entity)

bool	bound_entity_effects_p (entity_effects, entity)

gap	copy_gap (gap)
	GAP. More...

void	free_gap (gap)

gap	check_gap (gap)

bool	gap_consistent_p (gap)

bool	gap_defined_p (gap)

list	gen_gap_cons (gap, list)

void	gap_assign_contents (gap, gap)

void	gap_non_recursive_free (gap)

void	write_gap (FILE *, gap)

gap	read_gap (FILE *)

gap	make_gap (entity, path_selectors)

interpreted_cell	copy_interpreted_cell (interpreted_cell)
	INTERPRETED_CELL. More...

void	free_interpreted_cell (interpreted_cell)

interpreted_cell	check_interpreted_cell (interpreted_cell)

bool	interpreted_cell_consistent_p (interpreted_cell)

bool	interpreted_cell_defined_p (interpreted_cell)

list	gen_interpreted_cell_cons (interpreted_cell, list)

void	interpreted_cell_assign_contents (interpreted_cell, interpreted_cell)

void	interpreted_cell_non_recursive_free (interpreted_cell)

void	write_interpreted_cell (FILE *, interpreted_cell)

interpreted_cell	read_interpreted_cell (FILE *)

interpreted_cell	make_interpreted_cell (cell, cell_interpretation)

path_selector	copy_path_selector (path_selector)
	PATH_SELECTOR. More...

void	free_path_selector (path_selector)

path_selector	check_path_selector (path_selector)

bool	path_selector_consistent_p (path_selector)

bool	path_selector_defined_p (path_selector)

list	gen_path_selector_cons (path_selector, list)

void	path_selector_assign_contents (path_selector, path_selector)

void	path_selector_non_recursive_free (path_selector)

void	write_path_selector (FILE *, path_selector)

path_selector	read_path_selector (FILE *)

string	path_selector_tag_as_string (enum path_selector_utype)

path_selector	make_path_selector (enum path_selector_utype, void *)

path_selector	make_path_selector_expression (expression)

path_selector	make_path_selector_recursive_selector (recursive_selector)

path_selectors	copy_path_selectors (path_selectors)
	PATH_SELECTORS. More...

void	free_path_selectors (path_selectors)

path_selectors	check_path_selectors (path_selectors)

bool	path_selectors_consistent_p (path_selectors)

bool	path_selectors_defined_p (path_selectors)

list	gen_path_selectors_cons (path_selectors, list)

void	path_selectors_assign_contents (path_selectors, path_selectors)

void	path_selectors_non_recursive_free (path_selectors)

void	write_path_selectors (FILE *, path_selectors)

path_selectors	read_path_selectors (FILE *)

path_selectors	make_path_selectors (list)

persistant_expression_to_effects	copy_persistant_expression_to_effects (persistant_expression_to_effects)
	PERSISTANT_EXPRESSION_TO_EFFECTS. More...

void	free_persistant_expression_to_effects (persistant_expression_to_effects)

persistant_expression_to_effects	check_persistant_expression_to_effects (persistant_expression_to_effects)

bool	persistant_expression_to_effects_consistent_p (persistant_expression_to_effects)

bool	persistant_expression_to_effects_defined_p (persistant_expression_to_effects)

list	gen_persistant_expression_to_effects_cons (persistant_expression_to_effects, list)

void	persistant_expression_to_effects_assign_contents (persistant_expression_to_effects, persistant_expression_to_effects)

void	persistant_expression_to_effects_non_recursive_free (persistant_expression_to_effects)

void	write_persistant_expression_to_effects (FILE *, persistant_expression_to_effects)

persistant_expression_to_effects	read_persistant_expression_to_effects (FILE *)

persistant_expression_to_effects	make_persistant_expression_to_effects (void)

effects	apply_persistant_expression_to_effects (persistant_expression_to_effects, expression)

void	update_persistant_expression_to_effects (persistant_expression_to_effects, expression, effects)

void	extend_persistant_expression_to_effects (persistant_expression_to_effects, expression, effects)

effects	delete_persistant_expression_to_effects (persistant_expression_to_effects, expression)

bool	bound_persistant_expression_to_effects_p (persistant_expression_to_effects, expression)

recursive_selector	copy_recursive_selector (recursive_selector)
	RECURSIVE_SELECTOR. More...

void	free_recursive_selector (recursive_selector)

recursive_selector	check_recursive_selector (recursive_selector)

bool	recursive_selector_consistent_p (recursive_selector)

bool	recursive_selector_defined_p (recursive_selector)

list	gen_recursive_selector_cons (recursive_selector, list)

void	recursive_selector_assign_contents (recursive_selector, recursive_selector)

void	recursive_selector_non_recursive_free (recursive_selector)

void	write_recursive_selector (FILE *, recursive_selector)

recursive_selector	read_recursive_selector (FILE *)

recursive_selector	make_recursive_selector (list, expression)

statement_cell_relations	copy_statement_cell_relations (statement_cell_relations)
	STATEMENT_CELL_RELATIONS. More...

void	free_statement_cell_relations (statement_cell_relations)

statement_cell_relations	check_statement_cell_relations (statement_cell_relations)

bool	statement_cell_relations_consistent_p (statement_cell_relations)

bool	statement_cell_relations_defined_p (statement_cell_relations)

list	gen_statement_cell_relations_cons (statement_cell_relations, list)

void	statement_cell_relations_assign_contents (statement_cell_relations, statement_cell_relations)

void	statement_cell_relations_non_recursive_free (statement_cell_relations)

void	write_statement_cell_relations (FILE *, statement_cell_relations)

statement_cell_relations	read_statement_cell_relations (FILE *)

statement_cell_relations	make_statement_cell_relations (void)

cell_relations	apply_statement_cell_relations (statement_cell_relations, statement)

void	update_statement_cell_relations (statement_cell_relations, statement, cell_relations)

void	extend_statement_cell_relations (statement_cell_relations, statement, cell_relations)

cell_relations	delete_statement_cell_relations (statement_cell_relations, statement)

bool	bound_statement_cell_relations_p (statement_cell_relations, statement)

statement_effects	copy_statement_effects (statement_effects)
	STATEMENT_EFFECTS. More...

void	free_statement_effects (statement_effects)

statement_effects	check_statement_effects (statement_effects)

bool	statement_effects_consistent_p (statement_effects)

bool	statement_effects_defined_p (statement_effects)

list	gen_statement_effects_cons (statement_effects, list)

void	statement_effects_assign_contents (statement_effects, statement_effects)

void	statement_effects_non_recursive_free (statement_effects)

void	write_statement_effects (FILE *, statement_effects)

statement_effects	read_statement_effects (FILE *)

statement_effects	make_statement_effects (void)

effects	apply_statement_effects (statement_effects, statement)

void	update_statement_effects (statement_effects, statement, effects)

void	extend_statement_effects (statement_effects, statement, effects)

effects	delete_statement_effects (statement_effects, statement)

bool	bound_statement_effects_p (statement_effects, statement)

Macro Definition Documentation

◆ _gen_effects_start

#define _gen_effects_start 132

Definition at line 3 of file effects.h.

◆ _newgen_action_domain_defined_

#define _newgen_action_domain_defined_

Definition at line 63 of file effects.h.

◆ _newgen_action_kind_domain_defined_

#define _newgen_action_kind_domain_defined_

Definition at line 55 of file effects.h.

◆ _newgen_approximation_domain_defined_

#define _newgen_approximation_domain_defined_

Definition at line 71 of file effects.h.

◆ _newgen_cell_domain_defined_

#define _newgen_cell_domain_defined_

Definition at line 87 of file effects.h.

◆ _newgen_cell_interpretation_domain_defined_

#define _newgen_cell_interpretation_domain_defined_

Definition at line 79 of file effects.h.

◆ _newgen_cell_relation_domain_defined_

#define _newgen_cell_relation_domain_defined_

Definition at line 95 of file effects.h.

◆ _newgen_cell_relations_domain_defined_

#define _newgen_cell_relations_domain_defined_

Definition at line 103 of file effects.h.

◆ _newgen_descriptor_domain_defined_

#define _newgen_descriptor_domain_defined_

Definition at line 111 of file effects.h.

◆ _newgen_effect_domain_defined_

#define _newgen_effect_domain_defined_

Definition at line 119 of file effects.h.

◆ _newgen_effects_classes_domain_defined_

#define _newgen_effects_classes_domain_defined_

Definition at line 127 of file effects.h.

◆ _newgen_effects_domain_defined_

#define _newgen_effects_domain_defined_

Definition at line 135 of file effects.h.

◆ _newgen_entity_domain_defined_

#define _newgen_entity_domain_defined_

Definition at line 11 of file effects.h.

◆ _newgen_entity_effects_domain_defined_

#define _newgen_entity_effects_domain_defined_

Definition at line 143 of file effects.h.

◆ _newgen_expression_domain_defined_

#define _newgen_expression_domain_defined_

newgen_preference_domain_defined

Definition at line 32 of file effects.h.

◆ _newgen_gap_domain_defined_

#define _newgen_gap_domain_defined_

Definition at line 151 of file effects.h.

◆ _newgen_interpreted_cell_domain_defined_

#define _newgen_interpreted_cell_domain_defined_

Definition at line 159 of file effects.h.

◆ _newgen_path_selector_domain_defined_

#define _newgen_path_selector_domain_defined_

Definition at line 167 of file effects.h.

◆ _newgen_path_selectors_domain_defined_

#define _newgen_path_selectors_domain_defined_

Definition at line 175 of file effects.h.

◆ _newgen_persistant_expression_to_effects_domain_defined_

#define _newgen_persistant_expression_to_effects_domain_defined_

Definition at line 183 of file effects.h.

◆ _newgen_preference_domain_defined_

#define _newgen_preference_domain_defined_

newgen_reference_domain_defined

Definition at line 25 of file effects.h.

◆ _newgen_Psysteme_domain_defined_

#define _newgen_Psysteme_domain_defined_

newgen_statement_domain_defined

Definition at line 46 of file effects.h.

◆ _newgen_recursive_selector_domain_defined_

#define _newgen_recursive_selector_domain_defined_

Definition at line 191 of file effects.h.

◆ _newgen_reference_domain_defined_

#define _newgen_reference_domain_defined_

newgen_entity_domain_defined

Definition at line 18 of file effects.h.

◆ _newgen_statement_cell_relations_domain_defined_

#define _newgen_statement_cell_relations_domain_defined_

Definition at line 199 of file effects.h.

◆ _newgen_statement_domain_defined_

#define _newgen_statement_domain_defined_

newgen_expression_domain_defined

Definition at line 39 of file effects.h.

◆ _newgen_statement_effects_domain_defined_

#define _newgen_statement_effects_domain_defined_

Definition at line 207 of file effects.h.

◆ ACTION

#define ACTION ( x ) ((action)((x).p))

ACTION.

Definition at line 271 of file effects.h.

◆ ACTION_

#define ACTION_ ( x ) ((x).e)

Definition at line 274 of file effects.h.

◆ action_CAST

#define action_CAST ( x ) ACTION(x)

Definition at line 272 of file effects.h.

◆ ACTION_CAST

#define ACTION_CAST ( x ) ACTION(x)

Definition at line 273 of file effects.h.

◆ action_domain

#define action_domain (_gen_effects_start+2)

newgen_action_kind_domain_defined

Definition at line 61 of file effects.h.

◆ action_domain_number

#define action_domain_number ( x ) ((x)->_type_)

Definition at line 309 of file effects.h.

◆ ACTION_KIND

#define ACTION_KIND ( x ) ((action_kind)((x).p))

newgen_statement_effects_domain_defined

ACTION_KIND

Definition at line 216 of file effects.h.

◆ ACTION_KIND_

#define ACTION_KIND_ ( x ) ((x).e)

Definition at line 219 of file effects.h.

◆ action_kind_CAST

#define action_kind_CAST ( x ) ACTION_KIND(x)

Definition at line 217 of file effects.h.

◆ ACTION_KIND_CAST

#define ACTION_KIND_CAST ( x ) ACTION_KIND(x)

Definition at line 218 of file effects.h.

◆ action_kind_domain

#define action_kind_domain (_gen_effects_start+1)

newgen_Psysteme_domain_defined

Definition at line 53 of file effects.h.

◆ action_kind_domain_number

#define action_kind_domain_number ( x ) ((x)->_type_)

Definition at line 257 of file effects.h.

◆ action_kind_environment

#define action_kind_environment ( x ) ((x)->_action_kind_union_._action_kind_environment_.u)

Definition at line 264 of file effects.h.

◆ action_kind_environment_

#define action_kind_environment_ ( x ) action_kind_environment(x) /**old hack compatible */

Definition at line 263 of file effects.h.

◆ action_kind_environment_p

#define action_kind_environment_p ( x ) (action_kind_tag(x)==is_action_kind_environment)

Definition at line 262 of file effects.h.

◆ ACTION_KIND_NEWGEN_DOMAIN

#define ACTION_KIND_NEWGEN_DOMAIN (action_kind_domain)

Definition at line 56 of file effects.h.

◆ action_kind_NEWGEN_DOMAIN

#define action_kind_NEWGEN_DOMAIN (action_kind_domain)

Definition at line 57 of file effects.h.

◆ action_kind_store

#define action_kind_store ( x ) ((x)->_action_kind_union_._action_kind_store_.u)

Definition at line 261 of file effects.h.

◆ action_kind_store_

#define action_kind_store_ ( x ) action_kind_store(x) /**old hack compatible */

Definition at line 260 of file effects.h.

◆ action_kind_store_p

#define action_kind_store_p ( x ) (action_kind_tag(x)==is_action_kind_store)

Definition at line 259 of file effects.h.

◆ action_kind_tag

#define action_kind_tag ( x ) ((x)->_action_kind_tag__)

Definition at line 258 of file effects.h.

◆ ACTION_KIND_TYPE

#define ACTION_KIND_TYPE action_kind

Definition at line 220 of file effects.h.

◆ action_kind_TYPE

#define action_kind_TYPE action_kind

Definition at line 221 of file effects.h.

◆ action_kind_type_declaration

#define action_kind_type_declaration ( x ) ((x)->_action_kind_union_._action_kind_type_declaration_.u)

Definition at line 267 of file effects.h.

◆ action_kind_type_declaration_

#define action_kind_type_declaration_ ( x ) action_kind_type_declaration(x) /**old hack compatible */

Definition at line 266 of file effects.h.

◆ action_kind_type_declaration_p

#define action_kind_type_declaration_p ( x ) (action_kind_tag(x)==is_action_kind_type_declaration)

Definition at line 265 of file effects.h.

◆ action_kind_undefined

#define action_kind_undefined ((action_kind)gen_chunk_undefined)

Definition at line 222 of file effects.h.

◆ action_kind_undefined_p

#define action_kind_undefined_p ( x ) ((x)==action_kind_undefined)

Definition at line 223 of file effects.h.

◆ ACTION_NEWGEN_DOMAIN

#define ACTION_NEWGEN_DOMAIN (action_domain)

Definition at line 64 of file effects.h.

◆ action_NEWGEN_DOMAIN

#define action_NEWGEN_DOMAIN (action_domain)

Definition at line 65 of file effects.h.

◆ action_read

#define action_read ( x ) ((x)->_action_union_._action_read_)

Definition at line 313 of file effects.h.

◆ action_read_

#define action_read_ ( x ) action_read(x) /**old hack compatible */

Definition at line 312 of file effects.h.

◆ action_read_p

#define action_read_p ( x ) (action_tag(x)==is_action_read)

Definition at line 311 of file effects.h.

◆ action_tag

#define action_tag ( x ) ((x)->_action_tag__)

Definition at line 310 of file effects.h.

◆ ACTION_TYPE

#define ACTION_TYPE action

Definition at line 275 of file effects.h.

◆ action_TYPE

#define action_TYPE action

Definition at line 276 of file effects.h.

◆ action_undefined

#define action_undefined ((action)gen_chunk_undefined)

Definition at line 277 of file effects.h.

◆ action_undefined_p

#define action_undefined_p ( x ) ((x)==action_undefined)

Definition at line 278 of file effects.h.

◆ action_write

#define action_write ( x ) ((x)->_action_union_._action_write_)

Definition at line 316 of file effects.h.

◆ action_write_

#define action_write_ ( x ) action_write(x) /**old hack compatible */

Definition at line 315 of file effects.h.

◆ action_write_p

#define action_write_p ( x ) (action_tag(x)==is_action_write)

Definition at line 314 of file effects.h.

◆ APPROXIMATION

#define APPROXIMATION ( x ) ((approximation)((x).p))

APPROXIMATION.

Definition at line 320 of file effects.h.

◆ APPROXIMATION_

#define APPROXIMATION_ ( x ) ((x).e)

Definition at line 323 of file effects.h.

◆ approximation_CAST

#define approximation_CAST ( x ) APPROXIMATION(x)

Definition at line 321 of file effects.h.

◆ APPROXIMATION_CAST

#define APPROXIMATION_CAST ( x ) APPROXIMATION(x)

Definition at line 322 of file effects.h.

◆ approximation_domain

#define approximation_domain (_gen_effects_start+3)

newgen_action_domain_defined

Definition at line 69 of file effects.h.

◆ approximation_domain_number

#define approximation_domain_number ( x ) ((x)->_type_)

Definition at line 361 of file effects.h.

◆ approximation_exact

#define approximation_exact ( x ) ((x)->_approximation_union_._approximation_exact_.u)

Definition at line 371 of file effects.h.

◆ approximation_exact_

#define approximation_exact_ ( x ) approximation_exact(x) /**old hack compatible */

Definition at line 370 of file effects.h.

◆ approximation_exact_p

#define approximation_exact_p ( x ) (approximation_tag(x)==is_approximation_exact)

Definition at line 369 of file effects.h.

◆ approximation_may

#define approximation_may ( x ) ((x)->_approximation_union_._approximation_may_.u)

Definition at line 365 of file effects.h.

◆ approximation_may_

#define approximation_may_ ( x ) approximation_may(x) /**old hack compatible */

Definition at line 364 of file effects.h.

◆ approximation_may_p

#define approximation_may_p ( x ) (approximation_tag(x)==is_approximation_may)

Definition at line 363 of file effects.h.

◆ approximation_must

#define approximation_must ( x ) ((x)->_approximation_union_._approximation_must_.u)

Definition at line 368 of file effects.h.

◆ approximation_must_

#define approximation_must_ ( x ) approximation_must(x) /**old hack compatible */

Definition at line 367 of file effects.h.

◆ approximation_must_p

#define approximation_must_p ( x ) (approximation_tag(x)==is_approximation_must)

Definition at line 366 of file effects.h.

◆ APPROXIMATION_NEWGEN_DOMAIN

#define APPROXIMATION_NEWGEN_DOMAIN (approximation_domain)

Definition at line 72 of file effects.h.

◆ approximation_NEWGEN_DOMAIN

#define approximation_NEWGEN_DOMAIN (approximation_domain)

Definition at line 73 of file effects.h.

◆ approximation_tag

#define approximation_tag ( x ) ((x)->_approximation_tag__)

Definition at line 362 of file effects.h.

◆ APPROXIMATION_TYPE

#define APPROXIMATION_TYPE approximation

Definition at line 324 of file effects.h.

◆ approximation_TYPE

#define approximation_TYPE approximation

Definition at line 325 of file effects.h.

◆ approximation_undefined

#define approximation_undefined ((approximation)gen_chunk_undefined)

Definition at line 326 of file effects.h.

◆ approximation_undefined_p

#define approximation_undefined_p ( x ) ((x)==approximation_undefined)

Definition at line 327 of file effects.h.

◆ CELL

#define CELL ( x ) ((cell)((x).p))

CELL.

Definition at line 424 of file effects.h.

◆ CELL_

#define CELL_ ( x ) ((x).e)

Definition at line 427 of file effects.h.

◆ cell_CAST

#define cell_CAST ( x ) CELL(x)

Definition at line 425 of file effects.h.

◆ CELL_CAST

#define CELL_CAST ( x ) CELL(x)

Definition at line 426 of file effects.h.

◆ cell_domain

#define cell_domain (_gen_effects_start+5)

newgen_cell_interpretation_domain_defined

Definition at line 85 of file effects.h.

◆ cell_domain_number

#define cell_domain_number ( x ) ((x)->_type_)

Definition at line 465 of file effects.h.

◆ cell_gap

#define cell_gap ( x ) ((x)->_cell_union_._cell_gap_)

Definition at line 475 of file effects.h.

◆ cell_gap_

#define cell_gap_ ( x ) cell_gap(x) /**old hack compatible */

Definition at line 474 of file effects.h.

◆ cell_gap_p

#define cell_gap_p ( x ) (cell_tag(x)==is_cell_gap)

Definition at line 473 of file effects.h.

◆ CELL_INTERPRETATION

#define CELL_INTERPRETATION ( x ) ((cell_interpretation)((x).p))

CELL_INTERPRETATION.

Definition at line 375 of file effects.h.

◆ CELL_INTERPRETATION_

#define CELL_INTERPRETATION_ ( x ) ((x).e)

Definition at line 378 of file effects.h.

◆ cell_interpretation_address_of

#define cell_interpretation_address_of ( x ) ((x)->_cell_interpretation_union_._cell_interpretation_address_of_.u)

Definition at line 420 of file effects.h.

◆ cell_interpretation_address_of_

#define cell_interpretation_address_of_ ( x ) cell_interpretation_address_of(x) /**old hack compatible */

Definition at line 419 of file effects.h.

◆ cell_interpretation_address_of_p

#define cell_interpretation_address_of_p ( x ) (cell_interpretation_tag(x)==is_cell_interpretation_address_of)

Definition at line 418 of file effects.h.

◆ cell_interpretation_CAST

#define cell_interpretation_CAST ( x ) CELL_INTERPRETATION(x)

Definition at line 376 of file effects.h.

◆ CELL_INTERPRETATION_CAST

#define CELL_INTERPRETATION_CAST ( x ) CELL_INTERPRETATION(x)

Definition at line 377 of file effects.h.

◆ cell_interpretation_domain

#define cell_interpretation_domain (_gen_effects_start+4)

newgen_approximation_domain_defined

Definition at line 77 of file effects.h.

◆ cell_interpretation_domain_number

#define cell_interpretation_domain_number ( x ) ((x)->_type_)

Definition at line 413 of file effects.h.

◆ CELL_INTERPRETATION_NEWGEN_DOMAIN

#define CELL_INTERPRETATION_NEWGEN_DOMAIN (cell_interpretation_domain)

Definition at line 80 of file effects.h.

◆ cell_interpretation_NEWGEN_DOMAIN

#define cell_interpretation_NEWGEN_DOMAIN (cell_interpretation_domain)

Definition at line 81 of file effects.h.

◆ cell_interpretation_tag

#define cell_interpretation_tag ( x ) ((x)->_cell_interpretation_tag__)

Definition at line 414 of file effects.h.

◆ CELL_INTERPRETATION_TYPE

#define CELL_INTERPRETATION_TYPE cell_interpretation

Definition at line 379 of file effects.h.

◆ cell_interpretation_TYPE

#define cell_interpretation_TYPE cell_interpretation

Definition at line 380 of file effects.h.

◆ cell_interpretation_undefined

#define cell_interpretation_undefined ((cell_interpretation)gen_chunk_undefined)

Definition at line 381 of file effects.h.

◆ cell_interpretation_undefined_p

#define cell_interpretation_undefined_p ( x ) ((x)==cell_interpretation_undefined)

Definition at line 382 of file effects.h.

◆ cell_interpretation_value_of

#define cell_interpretation_value_of ( x ) ((x)->_cell_interpretation_union_._cell_interpretation_value_of_.u)

Definition at line 417 of file effects.h.

◆ cell_interpretation_value_of_

#define cell_interpretation_value_of_ ( x ) cell_interpretation_value_of(x) /**old hack compatible */

Definition at line 416 of file effects.h.

◆ cell_interpretation_value_of_p

#define cell_interpretation_value_of_p ( x ) (cell_interpretation_tag(x)==is_cell_interpretation_value_of)

Definition at line 415 of file effects.h.

◆ CELL_NEWGEN_DOMAIN

#define CELL_NEWGEN_DOMAIN (cell_domain)

Definition at line 88 of file effects.h.

◆ cell_NEWGEN_DOMAIN

#define cell_NEWGEN_DOMAIN (cell_domain)

Definition at line 89 of file effects.h.

◆ cell_preference

#define cell_preference ( x ) ((x)->_cell_union_._cell_preference_)

Definition at line 472 of file effects.h.

◆ cell_preference_

#define cell_preference_ ( x ) cell_preference(x) /**old hack compatible */

Definition at line 471 of file effects.h.

◆ cell_preference_p

#define cell_preference_p ( x ) (cell_tag(x)==is_cell_preference)

Definition at line 470 of file effects.h.

◆ cell_reference

#define cell_reference ( x ) ((x)->_cell_union_._cell_reference_)

Definition at line 469 of file effects.h.

◆ cell_reference_

#define cell_reference_ ( x ) cell_reference(x) /**old hack compatible */

Definition at line 468 of file effects.h.

◆ cell_reference_p

#define cell_reference_p ( x ) (cell_tag(x)==is_cell_reference)

Definition at line 467 of file effects.h.

◆ CELL_RELATION

#define CELL_RELATION ( x ) ((cell_relation)((x).p))

CELL_RELATION.

Definition at line 479 of file effects.h.

◆ CELL_RELATION_

#define CELL_RELATION_ ( x ) ((x).e)

Definition at line 482 of file effects.h.

◆ cell_relation_approximation

#define cell_relation_approximation ( x ) ((x)->_cell_relation_approximation_)

Definition at line 515 of file effects.h.

◆ cell_relation_approximation_

#define cell_relation_approximation_ ( x ) cell_relation_approximation(x) /**old hack compatible */

Definition at line 514 of file effects.h.

◆ cell_relation_CAST

#define cell_relation_CAST ( x ) CELL_RELATION(x)

Definition at line 480 of file effects.h.

◆ CELL_RELATION_CAST

#define CELL_RELATION_CAST ( x ) CELL_RELATION(x)

Definition at line 481 of file effects.h.

◆ cell_relation_descriptor

#define cell_relation_descriptor ( x ) ((x)->_cell_relation_descriptor_)

Definition at line 517 of file effects.h.

◆ cell_relation_descriptor_

#define cell_relation_descriptor_ ( x ) cell_relation_descriptor(x) /**old hack compatible */

Definition at line 516 of file effects.h.

◆ cell_relation_domain

#define cell_relation_domain (_gen_effects_start+6)

newgen_cell_domain_defined

Definition at line 93 of file effects.h.

◆ cell_relation_domain_number

#define cell_relation_domain_number ( x ) ((x)->_type_)

Definition at line 509 of file effects.h.

◆ cell_relation_first

#define cell_relation_first ( x ) ((x)->_cell_relation_first_)

Definition at line 511 of file effects.h.

◆ cell_relation_first_

#define cell_relation_first_ ( x ) cell_relation_first(x) /**old hack compatible */

Definition at line 510 of file effects.h.

◆ CELL_RELATION_NEWGEN_DOMAIN

#define CELL_RELATION_NEWGEN_DOMAIN (cell_relation_domain)

Definition at line 96 of file effects.h.

◆ cell_relation_NEWGEN_DOMAIN

#define cell_relation_NEWGEN_DOMAIN (cell_relation_domain)

Definition at line 97 of file effects.h.

◆ cell_relation_second

#define cell_relation_second ( x ) ((x)->_cell_relation_second_)

Definition at line 513 of file effects.h.

◆ cell_relation_second_

#define cell_relation_second_ ( x ) cell_relation_second(x) /**old hack compatible */

Definition at line 512 of file effects.h.

◆ CELL_RELATION_TYPE

#define CELL_RELATION_TYPE cell_relation

Definition at line 483 of file effects.h.

◆ cell_relation_TYPE

#define cell_relation_TYPE cell_relation

Definition at line 484 of file effects.h.

◆ cell_relation_undefined

#define cell_relation_undefined ((cell_relation)gen_chunk_undefined)

Definition at line 485 of file effects.h.

◆ cell_relation_undefined_p

#define cell_relation_undefined_p ( x ) ((x)==cell_relation_undefined)

Definition at line 486 of file effects.h.

◆ CELL_RELATIONS

#define CELL_RELATIONS ( x ) ((cell_relations)((x).p))

CELL_RELATIONS.

Definition at line 521 of file effects.h.

◆ CELL_RELATIONS_

#define CELL_RELATIONS_ ( x ) ((x).e)

Definition at line 524 of file effects.h.

◆ cell_relations_CAST

#define cell_relations_CAST ( x ) CELL_RELATIONS(x)

Definition at line 522 of file effects.h.

◆ CELL_RELATIONS_CAST

#define CELL_RELATIONS_CAST ( x ) CELL_RELATIONS(x)

Definition at line 523 of file effects.h.

◆ cell_relations_domain

#define cell_relations_domain (_gen_effects_start+7)

newgen_cell_relation_domain_defined

Definition at line 101 of file effects.h.

◆ cell_relations_domain_number

#define cell_relations_domain_number ( x ) ((x)->_type_)

Definition at line 548 of file effects.h.

◆ cell_relations_list

#define cell_relations_list ( x ) ((x)->_cell_relations_holder_)

Definition at line 549 of file effects.h.

◆ CELL_RELATIONS_NEWGEN_DOMAIN

#define CELL_RELATIONS_NEWGEN_DOMAIN (cell_relations_domain)

Definition at line 104 of file effects.h.

◆ cell_relations_NEWGEN_DOMAIN

#define cell_relations_NEWGEN_DOMAIN (cell_relations_domain)

Definition at line 105 of file effects.h.

◆ CELL_RELATIONS_TYPE

#define CELL_RELATIONS_TYPE cell_relations

Definition at line 525 of file effects.h.

◆ cell_relations_TYPE

#define cell_relations_TYPE cell_relations

Definition at line 526 of file effects.h.

◆ cell_relations_undefined

#define cell_relations_undefined ((cell_relations)gen_chunk_undefined)

Definition at line 527 of file effects.h.

◆ cell_relations_undefined_p

#define cell_relations_undefined_p ( x ) ((x)==cell_relations_undefined)

Definition at line 528 of file effects.h.

◆ cell_tag

#define cell_tag ( x ) ((x)->_cell_tag__)

Definition at line 466 of file effects.h.

◆ CELL_TYPE

#define CELL_TYPE cell

Definition at line 428 of file effects.h.

◆ cell_TYPE

#define cell_TYPE cell

Definition at line 429 of file effects.h.

◆ cell_undefined

#define cell_undefined ((cell)gen_chunk_undefined)

Definition at line 430 of file effects.h.

◆ cell_undefined_p

#define cell_undefined_p ( x ) ((x)==cell_undefined)

Definition at line 431 of file effects.h.

◆ DESCRIPTOR

#define DESCRIPTOR ( x ) ((descriptor)((x).p))

DESCRIPTOR.

Definition at line 553 of file effects.h.

◆ DESCRIPTOR_

#define DESCRIPTOR_ ( x ) ((x).e)

Definition at line 556 of file effects.h.

◆ descriptor_CAST

#define descriptor_CAST ( x ) DESCRIPTOR(x)

Definition at line 554 of file effects.h.

◆ DESCRIPTOR_CAST

#define DESCRIPTOR_CAST ( x ) DESCRIPTOR(x)

Definition at line 555 of file effects.h.

◆ descriptor_convex

#define descriptor_convex ( x ) ((x)->_descriptor_union_._descriptor_convex_)

Definition at line 601 of file effects.h.

◆ descriptor_convex_

#define descriptor_convex_ ( x ) descriptor_convex(x) /**old hack compatible */

Definition at line 600 of file effects.h.

◆ descriptor_convex_p

#define descriptor_convex_p ( x ) (descriptor_tag(x)==is_descriptor_convex)

Definition at line 599 of file effects.h.

◆ descriptor_convexunion

#define descriptor_convexunion ( x ) ((x)->_descriptor_union_._descriptor_convexunion_)

Definition at line 598 of file effects.h.

◆ descriptor_convexunion_

#define descriptor_convexunion_ ( x ) descriptor_convexunion(x) /**old hack compatible */

Definition at line 597 of file effects.h.

◆ descriptor_convexunion_p

#define descriptor_convexunion_p ( x ) (descriptor_tag(x)==is_descriptor_convexunion)

Definition at line 596 of file effects.h.

◆ descriptor_domain

#define descriptor_domain (_gen_effects_start+8)

newgen_cell_relations_domain_defined

Definition at line 109 of file effects.h.

◆ descriptor_domain_number

#define descriptor_domain_number ( x ) ((x)->_type_)

Definition at line 594 of file effects.h.

◆ DESCRIPTOR_NEWGEN_DOMAIN

#define DESCRIPTOR_NEWGEN_DOMAIN (descriptor_domain)

Definition at line 112 of file effects.h.

◆ descriptor_NEWGEN_DOMAIN

#define descriptor_NEWGEN_DOMAIN (descriptor_domain)

Definition at line 113 of file effects.h.

◆ descriptor_none

#define descriptor_none ( x ) ((x)->_descriptor_union_._descriptor_none_.u)

Definition at line 604 of file effects.h.

◆ descriptor_none_

#define descriptor_none_ ( x ) descriptor_none(x) /**old hack compatible */

Definition at line 603 of file effects.h.

◆ descriptor_none_p

#define descriptor_none_p ( x ) (descriptor_tag(x)==is_descriptor_none)

Definition at line 602 of file effects.h.

◆ descriptor_tag

#define descriptor_tag ( x ) ((x)->_descriptor_tag__)

Definition at line 595 of file effects.h.

◆ DESCRIPTOR_TYPE

#define DESCRIPTOR_TYPE descriptor

Definition at line 557 of file effects.h.

◆ descriptor_TYPE

#define descriptor_TYPE descriptor

Definition at line 558 of file effects.h.

◆ descriptor_undefined

#define descriptor_undefined ((descriptor)gen_chunk_undefined)

Definition at line 559 of file effects.h.

◆ descriptor_undefined_p

#define descriptor_undefined_p ( x ) ((x)==descriptor_undefined)

Definition at line 560 of file effects.h.

◆ EFFECT

#define EFFECT ( x ) ((effect)((x).p))

EFFECT.

Definition at line 608 of file effects.h.

◆ EFFECT_

#define EFFECT_ ( x ) ((x).e)

Definition at line 611 of file effects.h.

◆ effect_action

#define effect_action ( x ) ((x)->_effect_action_)

Definition at line 642 of file effects.h.

◆ effect_action_

#define effect_action_ ( x ) effect_action(x) /**old hack compatible */

Definition at line 641 of file effects.h.

◆ effect_approximation

#define effect_approximation ( x ) ((x)->_effect_approximation_)

Definition at line 644 of file effects.h.

◆ effect_approximation_

#define effect_approximation_ ( x ) effect_approximation(x) /**old hack compatible */

Definition at line 643 of file effects.h.

◆ effect_CAST

#define effect_CAST ( x ) EFFECT(x)

Definition at line 609 of file effects.h.

◆ EFFECT_CAST

#define EFFECT_CAST ( x ) EFFECT(x)

Definition at line 610 of file effects.h.

◆ effect_cell

#define effect_cell ( x ) ((x)->_effect_cell_)

Definition at line 640 of file effects.h.

◆ effect_cell_

#define effect_cell_ ( x ) effect_cell(x) /**old hack compatible */

Definition at line 639 of file effects.h.

◆ effect_descriptor

#define effect_descriptor ( x ) ((x)->_effect_descriptor_)

Definition at line 646 of file effects.h.

◆ effect_descriptor_

#define effect_descriptor_ ( x ) effect_descriptor(x) /**old hack compatible */

Definition at line 645 of file effects.h.

◆ effect_domain

#define effect_domain (_gen_effects_start+9)

newgen_descriptor_domain_defined

Definition at line 117 of file effects.h.

◆ effect_domain_number

#define effect_domain_number ( x ) ((x)->_type_)

Definition at line 638 of file effects.h.

◆ EFFECT_NEWGEN_DOMAIN

#define EFFECT_NEWGEN_DOMAIN (effect_domain)

Definition at line 120 of file effects.h.

◆ effect_NEWGEN_DOMAIN

#define effect_NEWGEN_DOMAIN (effect_domain)

Definition at line 121 of file effects.h.

◆ EFFECT_TYPE

#define EFFECT_TYPE effect

Definition at line 612 of file effects.h.

◆ effect_TYPE

#define effect_TYPE effect

Definition at line 613 of file effects.h.

◆ effect_undefined

#define effect_undefined ((effect)gen_chunk_undefined)

Definition at line 614 of file effects.h.

◆ effect_undefined_p

#define effect_undefined_p ( x ) ((x)==effect_undefined)

Definition at line 615 of file effects.h.

◆ EFFECTS

#define EFFECTS ( x ) ((effects)((x).p))

EFFECTS.

Definition at line 682 of file effects.h.

◆ EFFECTS_

#define EFFECTS_ ( x ) ((x).e)

Definition at line 685 of file effects.h.

◆ effects_CAST

#define effects_CAST ( x ) EFFECTS(x)

Definition at line 683 of file effects.h.

◆ EFFECTS_CAST

#define EFFECTS_CAST ( x ) EFFECTS(x)

Definition at line 684 of file effects.h.

◆ EFFECTS_CLASSES

#define EFFECTS_CLASSES ( x ) ((effects_classes)((x).p))

EFFECTS_CLASSES.

Definition at line 650 of file effects.h.

◆ EFFECTS_CLASSES_

#define EFFECTS_CLASSES_ ( x ) ((x).e)

Definition at line 653 of file effects.h.

◆ effects_classes_CAST

#define effects_classes_CAST ( x ) EFFECTS_CLASSES(x)

Definition at line 651 of file effects.h.

◆ EFFECTS_CLASSES_CAST

#define EFFECTS_CLASSES_CAST ( x ) EFFECTS_CLASSES(x)

Definition at line 652 of file effects.h.

◆ effects_classes_classes

#define effects_classes_classes ( x ) ((x)->_effects_classes_holder_)

Definition at line 678 of file effects.h.

◆ effects_classes_domain

#define effects_classes_domain (_gen_effects_start+10)

newgen_effect_domain_defined

Definition at line 125 of file effects.h.

◆ effects_classes_domain_number

#define effects_classes_domain_number ( x ) ((x)->_type_)

Definition at line 677 of file effects.h.

◆ EFFECTS_CLASSES_NEWGEN_DOMAIN

#define EFFECTS_CLASSES_NEWGEN_DOMAIN (effects_classes_domain)

Definition at line 128 of file effects.h.

◆ effects_classes_NEWGEN_DOMAIN

#define effects_classes_NEWGEN_DOMAIN (effects_classes_domain)

Definition at line 129 of file effects.h.

◆ EFFECTS_CLASSES_TYPE

#define EFFECTS_CLASSES_TYPE effects_classes

Definition at line 654 of file effects.h.

◆ effects_classes_TYPE

#define effects_classes_TYPE effects_classes

Definition at line 655 of file effects.h.

◆ effects_classes_undefined

#define effects_classes_undefined ((effects_classes)gen_chunk_undefined)

Definition at line 656 of file effects.h.

◆ effects_classes_undefined_p

#define effects_classes_undefined_p ( x ) ((x)==effects_classes_undefined)

Definition at line 657 of file effects.h.

◆ effects_domain

#define effects_domain (_gen_effects_start+11)

newgen_effects_classes_domain_defined

Definition at line 133 of file effects.h.

◆ effects_domain_number

#define effects_domain_number ( x ) ((x)->_type_)

Definition at line 709 of file effects.h.

◆ effects_effects

#define effects_effects ( x ) ((x)->_effects_holder_)

Definition at line 710 of file effects.h.

◆ EFFECTS_NEWGEN_DOMAIN

#define EFFECTS_NEWGEN_DOMAIN (effects_domain)

Definition at line 136 of file effects.h.

◆ effects_NEWGEN_DOMAIN

#define effects_NEWGEN_DOMAIN (effects_domain)

Definition at line 137 of file effects.h.

◆ effects_spec

#define effects_spec "\--NEWGEN-START 132\n\import entity from \"ri.newgen\";\n\import reference from \"ri.newgen\";\n\import preference from \"ri.newgen\";\n\import expression from \"ri.newgen\";\n\import statement from \"ri.newgen\";\n\external Psysteme;\n\action_kind = store:unit + environment:unit + type_declaration:unit;\n\action = read:action_kind + write:action_kind;\n\approximation = may:unit + must:unit + exact:unit;\n\cell_interpretation = value_of:unit + address_of:unit;\n\cell = reference:reference + preference:preference + gap:gap;\n\cell_relation = first:interpreted_cell x second:interpreted_cell x approximation:approximation x descriptor:descriptor;\n\cell_relations = list:cell_relation*;\n\descriptor = convexunion:Psysteme* + convex:Psysteme + none:unit;\n\effect = cell:cell x action:action x approximation:approximation x descriptor:descriptor;\n\effects_classes = classes:effects*;\n\effects = effects:effect*;\n\entity_effects = entity:entity -> effects:effects;\n\gap = variable:entity x path_selectors:path_selectors;\n\interpreted_cell = cell:cell x cell_interpretation:cell_interpretation;\n\path_selector = expression:expression + recursive_selector:recursive_selector;\n\path_selectors = path_selector:path_selector*;\n\persistant_expression_to_effects = persistant expression:expression -> effects:effects;\n\recursive_selector = basis:path_selectors* x coefficient:expression;\n\statement_cell_relations = persistant statement:statement -> cell_relations:cell_relations;\n\statement_effects = persistant statement:statement -> effects:effects;\n\"

Definition at line 1065 of file effects.h.

◆ EFFECTS_TYPE

#define EFFECTS_TYPE effects

Definition at line 686 of file effects.h.

◆ effects_TYPE

#define effects_TYPE effects

Definition at line 687 of file effects.h.

◆ effects_undefined

#define effects_undefined ((effects)gen_chunk_undefined)

Definition at line 688 of file effects.h.

◆ effects_undefined_p

#define effects_undefined_p ( x ) ((x)==effects_undefined)

Definition at line 689 of file effects.h.

◆ ENTITY_EFFECTS

#define ENTITY_EFFECTS ( x ) ((entity_effects)((x).p))

ENTITY_EFFECTS.

Definition at line 714 of file effects.h.

◆ ENTITY_EFFECTS_

#define ENTITY_EFFECTS_ ( x ) ((x).e)

Definition at line 717 of file effects.h.

◆ entity_effects_CAST

#define entity_effects_CAST ( x ) ENTITY_EFFECTS(x)

Definition at line 715 of file effects.h.

◆ ENTITY_EFFECTS_CAST

#define ENTITY_EFFECTS_CAST ( x ) ENTITY_EFFECTS(x)

Definition at line 716 of file effects.h.

◆ entity_effects_domain

#define entity_effects_domain (_gen_effects_start+12)

newgen_effects_domain_defined

Definition at line 141 of file effects.h.

◆ entity_effects_domain_number

#define entity_effects_domain_number ( x ) ((x)->_type_)

Definition at line 741 of file effects.h.

◆ ENTITY_EFFECTS_FOREACH

#define ENTITY_EFFECTS_FOREACH	(	k,
		v,
		f
	)	FUNCTION_FOREACH(entity_effects,p,p,k,v,f)

Definition at line 746 of file effects.h.

◆ entity_effects_hash_table

#define entity_effects_hash_table ( x ) ((x)->_entity_effects_holder_)

Definition at line 742 of file effects.h.

◆ entity_effects_key_type

#define entity_effects_key_type entity

Definition at line 743 of file effects.h.

◆ ENTITY_EFFECTS_MAP

#define ENTITY_EFFECTS_MAP	(	k,
		v,
		c,
		f
	)	FUNCTION_MAP(entity_effects,p,p,k,v,c,f)

Definition at line 745 of file effects.h.

◆ ENTITY_EFFECTS_NEWGEN_DOMAIN

#define ENTITY_EFFECTS_NEWGEN_DOMAIN (entity_effects_domain)

Definition at line 144 of file effects.h.

◆ entity_effects_NEWGEN_DOMAIN

#define entity_effects_NEWGEN_DOMAIN (entity_effects_domain)

Definition at line 145 of file effects.h.

◆ ENTITY_EFFECTS_TYPE

#define ENTITY_EFFECTS_TYPE entity_effects

Definition at line 718 of file effects.h.

◆ entity_effects_TYPE

#define entity_effects_TYPE entity_effects

Definition at line 719 of file effects.h.

◆ entity_effects_undefined

#define entity_effects_undefined ((entity_effects)gen_chunk_undefined)

Definition at line 720 of file effects.h.

◆ entity_effects_undefined_p

#define entity_effects_undefined_p ( x ) ((x)==entity_effects_undefined)

Definition at line 721 of file effects.h.

◆ entity_effects_value_type

#define entity_effects_value_type effects

Definition at line 744 of file effects.h.

◆ ENTITY_NEWGEN_DOMAIN

#define ENTITY_NEWGEN_DOMAIN (entity_domain)

Definition at line 12 of file effects.h.

◆ entity_NEWGEN_DOMAIN

#define entity_NEWGEN_DOMAIN (entity_domain)

Definition at line 13 of file effects.h.

◆ EXPRESSION_NEWGEN_DOMAIN

#define EXPRESSION_NEWGEN_DOMAIN (expression_domain)

Definition at line 33 of file effects.h.

◆ expression_NEWGEN_DOMAIN

#define expression_NEWGEN_DOMAIN (expression_domain)

Definition at line 34 of file effects.h.

◆ GAP

#define GAP ( x ) ((gap)((x).p))

GAP.

Definition at line 755 of file effects.h.

◆ GAP_

#define GAP_ ( x ) ((x).e)

Definition at line 758 of file effects.h.

◆ gap_CAST

#define gap_CAST ( x ) GAP(x)

Definition at line 756 of file effects.h.

◆ GAP_CAST

#define GAP_CAST ( x ) GAP(x)

Definition at line 757 of file effects.h.

◆ gap_domain

#define gap_domain (_gen_effects_start+13)

newgen_entity_effects_domain_defined

Definition at line 149 of file effects.h.

◆ gap_domain_number

#define gap_domain_number ( x ) ((x)->_type_)

Definition at line 783 of file effects.h.

◆ GAP_NEWGEN_DOMAIN

#define GAP_NEWGEN_DOMAIN (gap_domain)

Definition at line 152 of file effects.h.

◆ gap_NEWGEN_DOMAIN

#define gap_NEWGEN_DOMAIN (gap_domain)

Definition at line 153 of file effects.h.

◆ gap_path_selectors

#define gap_path_selectors ( x ) ((x)->_gap_path_selectors_)

Definition at line 787 of file effects.h.

◆ gap_path_selectors_

#define gap_path_selectors_ ( x ) gap_path_selectors(x) /**old hack compatible */

Definition at line 786 of file effects.h.

◆ GAP_TYPE

#define GAP_TYPE gap

Definition at line 759 of file effects.h.

◆ gap_TYPE

#define gap_TYPE gap

Definition at line 760 of file effects.h.

◆ gap_undefined

#define gap_undefined ((gap)gen_chunk_undefined)

Definition at line 761 of file effects.h.

◆ gap_undefined_p

#define gap_undefined_p ( x ) ((x)==gap_undefined)

Definition at line 762 of file effects.h.

◆ gap_variable

#define gap_variable ( x ) ((x)->_gap_variable_)

Definition at line 785 of file effects.h.

◆ gap_variable_

#define gap_variable_ ( x ) gap_variable(x) /**old hack compatible */

Definition at line 784 of file effects.h.

◆ gen_ACTION_cons

#define gen_ACTION_cons gen_action_cons

Definition at line 285 of file effects.h.

◆ gen_ACTION_KIND_cons

#define gen_ACTION_KIND_cons gen_action_kind_cons

Definition at line 230 of file effects.h.

◆ gen_APPROXIMATION_cons

#define gen_APPROXIMATION_cons gen_approximation_cons

Definition at line 334 of file effects.h.

◆ gen_CELL_cons

#define gen_CELL_cons gen_cell_cons

Definition at line 438 of file effects.h.

◆ gen_CELL_INTERPRETATION_cons

#define gen_CELL_INTERPRETATION_cons gen_cell_interpretation_cons

Definition at line 389 of file effects.h.

◆ gen_CELL_RELATION_cons

#define gen_CELL_RELATION_cons gen_cell_relation_cons

Definition at line 493 of file effects.h.

◆ gen_CELL_RELATIONS_cons

#define gen_CELL_RELATIONS_cons gen_cell_relations_cons

Definition at line 535 of file effects.h.

◆ gen_DESCRIPTOR_cons

#define gen_DESCRIPTOR_cons gen_descriptor_cons

Definition at line 567 of file effects.h.

◆ gen_EFFECT_cons

#define gen_EFFECT_cons gen_effect_cons

Definition at line 622 of file effects.h.

◆ gen_EFFECTS_CLASSES_cons

#define gen_EFFECTS_CLASSES_cons gen_effects_classes_cons

Definition at line 664 of file effects.h.

◆ gen_EFFECTS_cons

#define gen_EFFECTS_cons gen_effects_cons

Definition at line 696 of file effects.h.

◆ gen_ENTITY_EFFECTS_cons

#define gen_ENTITY_EFFECTS_cons gen_entity_effects_cons

Definition at line 728 of file effects.h.

◆ gen_GAP_cons

#define gen_GAP_cons gen_gap_cons

Definition at line 769 of file effects.h.

◆ gen_INTERPRETED_CELL_cons

#define gen_INTERPRETED_CELL_cons gen_interpreted_cell_cons

Definition at line 805 of file effects.h.

◆ gen_PATH_SELECTOR_cons

#define gen_PATH_SELECTOR_cons gen_path_selector_cons

Definition at line 841 of file effects.h.

◆ gen_PATH_SELECTORS_cons

#define gen_PATH_SELECTORS_cons gen_path_selectors_cons

Definition at line 890 of file effects.h.

◆ gen_PERSISTANT_EXPRESSION_TO_EFFECTS_cons

#define gen_PERSISTANT_EXPRESSION_TO_EFFECTS_cons gen_persistant_expression_to_effects_cons

Definition at line 922 of file effects.h.

◆ gen_RECURSIVE_SELECTOR_cons

#define gen_RECURSIVE_SELECTOR_cons gen_recursive_selector_cons

Definition at line 963 of file effects.h.

◆ gen_STATEMENT_CELL_RELATIONS_cons

#define gen_STATEMENT_CELL_RELATIONS_cons gen_statement_cell_relations_cons

Definition at line 999 of file effects.h.

◆ gen_STATEMENT_EFFECTS_cons

#define gen_STATEMENT_EFFECTS_cons gen_statement_effects_cons

Definition at line 1040 of file effects.h.

◆ INTERPRETED_CELL

#define INTERPRETED_CELL ( x ) ((interpreted_cell)((x).p))

INTERPRETED_CELL.

Definition at line 791 of file effects.h.

◆ INTERPRETED_CELL_

#define INTERPRETED_CELL_ ( x ) ((x).e)

Definition at line 794 of file effects.h.

◆ interpreted_cell_CAST

#define interpreted_cell_CAST ( x ) INTERPRETED_CELL(x)

Definition at line 792 of file effects.h.

◆ INTERPRETED_CELL_CAST

#define INTERPRETED_CELL_CAST ( x ) INTERPRETED_CELL(x)

Definition at line 793 of file effects.h.

◆ interpreted_cell_cell

#define interpreted_cell_cell ( x ) ((x)->_interpreted_cell_cell_)

Definition at line 821 of file effects.h.

◆ interpreted_cell_cell_

#define interpreted_cell_cell_ ( x ) interpreted_cell_cell(x) /**old hack compatible */

Definition at line 820 of file effects.h.

◆ interpreted_cell_cell_interpretation

#define interpreted_cell_cell_interpretation ( x ) ((x)->_interpreted_cell_cell_interpretation_)

Definition at line 823 of file effects.h.

◆ interpreted_cell_cell_interpretation_

#define interpreted_cell_cell_interpretation_ ( x ) interpreted_cell_cell_interpretation(x) /**old hack compatible */

Definition at line 822 of file effects.h.

◆ interpreted_cell_domain

#define interpreted_cell_domain (_gen_effects_start+14)

newgen_gap_domain_defined

Definition at line 157 of file effects.h.

◆ interpreted_cell_domain_number

#define interpreted_cell_domain_number ( x ) ((x)->_type_)

Definition at line 819 of file effects.h.

◆ INTERPRETED_CELL_NEWGEN_DOMAIN

#define INTERPRETED_CELL_NEWGEN_DOMAIN (interpreted_cell_domain)

Definition at line 160 of file effects.h.

◆ interpreted_cell_NEWGEN_DOMAIN

#define interpreted_cell_NEWGEN_DOMAIN (interpreted_cell_domain)

Definition at line 161 of file effects.h.

◆ INTERPRETED_CELL_TYPE

#define INTERPRETED_CELL_TYPE interpreted_cell

Definition at line 795 of file effects.h.

◆ interpreted_cell_TYPE

#define interpreted_cell_TYPE interpreted_cell

Definition at line 796 of file effects.h.

◆ interpreted_cell_undefined

#define interpreted_cell_undefined ((interpreted_cell)gen_chunk_undefined)

Definition at line 797 of file effects.h.

◆ interpreted_cell_undefined_p

#define interpreted_cell_undefined_p ( x ) ((x)==interpreted_cell_undefined)

Definition at line 798 of file effects.h.

◆ newgen_Psysteme

#define newgen_Psysteme ( p ) (p) /**old hack compatible */

Definition at line 47 of file effects.h.

◆ PATH_SELECTOR

#define PATH_SELECTOR ( x ) ((path_selector)((x).p))

PATH_SELECTOR.

Definition at line 827 of file effects.h.

◆ PATH_SELECTOR_

#define PATH_SELECTOR_ ( x ) ((x).e)

Definition at line 830 of file effects.h.

◆ path_selector_CAST

#define path_selector_CAST ( x ) PATH_SELECTOR(x)

Definition at line 828 of file effects.h.

◆ PATH_SELECTOR_CAST

#define PATH_SELECTOR_CAST ( x ) PATH_SELECTOR(x)

Definition at line 829 of file effects.h.

◆ path_selector_domain

#define path_selector_domain (_gen_effects_start+15)

newgen_interpreted_cell_domain_defined

Definition at line 165 of file effects.h.

◆ path_selector_domain_number

#define path_selector_domain_number ( x ) ((x)->_type_)

Definition at line 865 of file effects.h.

◆ path_selector_expression

#define path_selector_expression ( x ) ((x)->_path_selector_union_._path_selector_expression_)

Definition at line 869 of file effects.h.

◆ path_selector_expression_

#define path_selector_expression_ ( x ) path_selector_expression(x) /**old hack compatible */

Definition at line 868 of file effects.h.

◆ path_selector_expression_p

#define path_selector_expression_p ( x ) (path_selector_tag(x)==is_path_selector_expression)

Definition at line 867 of file effects.h.

◆ PATH_SELECTOR_NEWGEN_DOMAIN

#define PATH_SELECTOR_NEWGEN_DOMAIN (path_selector_domain)

Definition at line 168 of file effects.h.

◆ path_selector_NEWGEN_DOMAIN

#define path_selector_NEWGEN_DOMAIN (path_selector_domain)

Definition at line 169 of file effects.h.

◆ path_selector_recursive_selector

#define path_selector_recursive_selector ( x ) ((x)->_path_selector_union_._path_selector_recursive_selector_)

Definition at line 872 of file effects.h.

◆ path_selector_recursive_selector_

#define path_selector_recursive_selector_ ( x ) path_selector_recursive_selector(x) /**old hack compatible */

Definition at line 871 of file effects.h.

◆ path_selector_recursive_selector_p

#define path_selector_recursive_selector_p ( x ) (path_selector_tag(x)==is_path_selector_recursive_selector)

Definition at line 870 of file effects.h.

◆ path_selector_tag

#define path_selector_tag ( x ) ((x)->_path_selector_tag__)

Definition at line 866 of file effects.h.

◆ PATH_SELECTOR_TYPE

#define PATH_SELECTOR_TYPE path_selector

Definition at line 831 of file effects.h.

◆ path_selector_TYPE

#define path_selector_TYPE path_selector

Definition at line 832 of file effects.h.

◆ path_selector_undefined

#define path_selector_undefined ((path_selector)gen_chunk_undefined)

Definition at line 833 of file effects.h.

◆ path_selector_undefined_p

#define path_selector_undefined_p ( x ) ((x)==path_selector_undefined)

Definition at line 834 of file effects.h.

◆ PATH_SELECTORS

#define PATH_SELECTORS ( x ) ((path_selectors)((x).p))

PATH_SELECTORS.

Definition at line 876 of file effects.h.

◆ PATH_SELECTORS_

#define PATH_SELECTORS_ ( x ) ((x).e)

Definition at line 879 of file effects.h.

◆ path_selectors_CAST

#define path_selectors_CAST ( x ) PATH_SELECTORS(x)

Definition at line 877 of file effects.h.

◆ PATH_SELECTORS_CAST

#define PATH_SELECTORS_CAST ( x ) PATH_SELECTORS(x)

Definition at line 878 of file effects.h.

◆ path_selectors_domain

#define path_selectors_domain (_gen_effects_start+16)

newgen_path_selector_domain_defined

Definition at line 173 of file effects.h.

◆ path_selectors_domain_number

#define path_selectors_domain_number ( x ) ((x)->_type_)

Definition at line 903 of file effects.h.

◆ PATH_SELECTORS_NEWGEN_DOMAIN

#define PATH_SELECTORS_NEWGEN_DOMAIN (path_selectors_domain)

Definition at line 176 of file effects.h.

◆ path_selectors_NEWGEN_DOMAIN

#define path_selectors_NEWGEN_DOMAIN (path_selectors_domain)

Definition at line 177 of file effects.h.

◆ path_selectors_path_selector

#define path_selectors_path_selector ( x ) ((x)->_path_selectors_holder_)

Definition at line 904 of file effects.h.

◆ PATH_SELECTORS_TYPE

#define PATH_SELECTORS_TYPE path_selectors

Definition at line 880 of file effects.h.

◆ path_selectors_TYPE

#define path_selectors_TYPE path_selectors

Definition at line 881 of file effects.h.

◆ path_selectors_undefined

#define path_selectors_undefined ((path_selectors)gen_chunk_undefined)

Definition at line 882 of file effects.h.

◆ path_selectors_undefined_p

#define path_selectors_undefined_p ( x ) ((x)==path_selectors_undefined)

Definition at line 883 of file effects.h.

◆ PERSISTANT_EXPRESSION_TO_EFFECTS

#define PERSISTANT_EXPRESSION_TO_EFFECTS ( x ) ((persistant_expression_to_effects)((x).p))

PERSISTANT_EXPRESSION_TO_EFFECTS.

Definition at line 908 of file effects.h.

◆ PERSISTANT_EXPRESSION_TO_EFFECTS_

#define PERSISTANT_EXPRESSION_TO_EFFECTS_ ( x ) ((x).e)

Definition at line 911 of file effects.h.

◆ persistant_expression_to_effects_CAST

#define persistant_expression_to_effects_CAST ( x ) PERSISTANT_EXPRESSION_TO_EFFECTS(x)

Definition at line 909 of file effects.h.

◆ PERSISTANT_EXPRESSION_TO_EFFECTS_CAST

#define PERSISTANT_EXPRESSION_TO_EFFECTS_CAST ( x ) PERSISTANT_EXPRESSION_TO_EFFECTS(x)

Definition at line 910 of file effects.h.

◆ persistant_expression_to_effects_domain

#define persistant_expression_to_effects_domain (_gen_effects_start+17)

newgen_path_selectors_domain_defined

Definition at line 181 of file effects.h.

◆ persistant_expression_to_effects_domain_number

#define persistant_expression_to_effects_domain_number ( x ) ((x)->_type_)

Definition at line 935 of file effects.h.

◆ PERSISTANT_EXPRESSION_TO_EFFECTS_FOREACH

#define PERSISTANT_EXPRESSION_TO_EFFECTS_FOREACH	(	k,
		v,
		f
	)	FUNCTION_FOREACH(persistant_expression_to_effects,p,p,k,v,f)

Definition at line 940 of file effects.h.

◆ persistant_expression_to_effects_hash_table

#define persistant_expression_to_effects_hash_table ( x ) ((x)->_persistant_expression_to_effects_holder_)

Definition at line 936 of file effects.h.

◆ persistant_expression_to_effects_key_type

#define persistant_expression_to_effects_key_type expression

Definition at line 937 of file effects.h.

◆ PERSISTANT_EXPRESSION_TO_EFFECTS_MAP

#define PERSISTANT_EXPRESSION_TO_EFFECTS_MAP	(	k,
		v,
		c,
		f
	)	FUNCTION_MAP(persistant_expression_to_effects,p,p,k,v,c,f)

Definition at line 939 of file effects.h.

◆ PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN

#define PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN (persistant_expression_to_effects_domain)

Definition at line 184 of file effects.h.

◆ persistant_expression_to_effects_NEWGEN_DOMAIN

#define persistant_expression_to_effects_NEWGEN_DOMAIN (persistant_expression_to_effects_domain)

Definition at line 185 of file effects.h.

◆ PERSISTANT_EXPRESSION_TO_EFFECTS_TYPE

#define PERSISTANT_EXPRESSION_TO_EFFECTS_TYPE persistant_expression_to_effects

Definition at line 912 of file effects.h.

◆ persistant_expression_to_effects_TYPE

#define persistant_expression_to_effects_TYPE persistant_expression_to_effects

Definition at line 913 of file effects.h.

◆ persistant_expression_to_effects_undefined

#define persistant_expression_to_effects_undefined ((persistant_expression_to_effects)gen_chunk_undefined)

Definition at line 914 of file effects.h.

◆ persistant_expression_to_effects_undefined_p

#define persistant_expression_to_effects_undefined_p ( x ) ((x)==persistant_expression_to_effects_undefined)

Definition at line 915 of file effects.h.

◆ persistant_expression_to_effects_value_type

#define persistant_expression_to_effects_value_type effects

Definition at line 938 of file effects.h.

◆ PREFERENCE_NEWGEN_DOMAIN

#define PREFERENCE_NEWGEN_DOMAIN (preference_domain)

Definition at line 26 of file effects.h.

◆ preference_NEWGEN_DOMAIN

#define preference_NEWGEN_DOMAIN (preference_domain)

Definition at line 27 of file effects.h.

◆ PSYSTEME_NEWGEN_DOMAIN

#define PSYSTEME_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL)

Definition at line 49 of file effects.h.

◆ Psysteme_NEWGEN_DOMAIN

#define Psysteme_NEWGEN_DOMAIN (PSYSTEME_NEWGEN_EXTERNAL)

Definition at line 50 of file effects.h.

◆ PSYSTEME_NEWGEN_EXTERNAL

#define PSYSTEME_NEWGEN_EXTERNAL (_gen_effects_start+0)

Definition at line 48 of file effects.h.

◆ RECURSIVE_SELECTOR

#define RECURSIVE_SELECTOR ( x ) ((recursive_selector)((x).p))

RECURSIVE_SELECTOR.

Definition at line 949 of file effects.h.

◆ RECURSIVE_SELECTOR_

#define RECURSIVE_SELECTOR_ ( x ) ((x).e)

Definition at line 952 of file effects.h.

◆ recursive_selector_basis

#define recursive_selector_basis ( x ) ((x)->_recursive_selector_basis_)

Definition at line 979 of file effects.h.

◆ recursive_selector_basis_

#define recursive_selector_basis_ ( x ) recursive_selector_basis(x) /**old hack compatible */

Definition at line 978 of file effects.h.

◆ recursive_selector_CAST

#define recursive_selector_CAST ( x ) RECURSIVE_SELECTOR(x)

Definition at line 950 of file effects.h.

◆ RECURSIVE_SELECTOR_CAST

#define RECURSIVE_SELECTOR_CAST ( x ) RECURSIVE_SELECTOR(x)

Definition at line 951 of file effects.h.

◆ recursive_selector_coefficient

#define recursive_selector_coefficient ( x ) ((x)->_recursive_selector_coefficient_)

Definition at line 981 of file effects.h.

◆ recursive_selector_coefficient_

#define recursive_selector_coefficient_ ( x ) recursive_selector_coefficient(x) /**old hack compatible */

Definition at line 980 of file effects.h.

◆ recursive_selector_domain

#define recursive_selector_domain (_gen_effects_start+18)

newgen_persistant_expression_to_effects_domain_defined

Definition at line 189 of file effects.h.

◆ recursive_selector_domain_number

#define recursive_selector_domain_number ( x ) ((x)->_type_)

Definition at line 977 of file effects.h.

◆ RECURSIVE_SELECTOR_NEWGEN_DOMAIN

#define RECURSIVE_SELECTOR_NEWGEN_DOMAIN (recursive_selector_domain)

Definition at line 192 of file effects.h.

◆ recursive_selector_NEWGEN_DOMAIN

#define recursive_selector_NEWGEN_DOMAIN (recursive_selector_domain)

Definition at line 193 of file effects.h.

◆ RECURSIVE_SELECTOR_TYPE

#define RECURSIVE_SELECTOR_TYPE recursive_selector

Definition at line 953 of file effects.h.

◆ recursive_selector_TYPE

#define recursive_selector_TYPE recursive_selector

Definition at line 954 of file effects.h.

◆ recursive_selector_undefined

#define recursive_selector_undefined ((recursive_selector)gen_chunk_undefined)

Definition at line 955 of file effects.h.

◆ recursive_selector_undefined_p

#define recursive_selector_undefined_p ( x ) ((x)==recursive_selector_undefined)

Definition at line 956 of file effects.h.

◆ REFERENCE_NEWGEN_DOMAIN

#define REFERENCE_NEWGEN_DOMAIN (reference_domain)

Definition at line 19 of file effects.h.

◆ reference_NEWGEN_DOMAIN

#define reference_NEWGEN_DOMAIN (reference_domain)

Definition at line 20 of file effects.h.

◆ STATEMENT_CELL_RELATIONS

#define STATEMENT_CELL_RELATIONS ( x ) ((statement_cell_relations)((x).p))

STATEMENT_CELL_RELATIONS.

Definition at line 985 of file effects.h.

◆ STATEMENT_CELL_RELATIONS_

#define STATEMENT_CELL_RELATIONS_ ( x ) ((x).e)

Definition at line 988 of file effects.h.

◆ statement_cell_relations_CAST

#define statement_cell_relations_CAST ( x ) STATEMENT_CELL_RELATIONS(x)

Definition at line 986 of file effects.h.

◆ STATEMENT_CELL_RELATIONS_CAST

#define STATEMENT_CELL_RELATIONS_CAST ( x ) STATEMENT_CELL_RELATIONS(x)

Definition at line 987 of file effects.h.

◆ statement_cell_relations_domain

#define statement_cell_relations_domain (_gen_effects_start+19)

newgen_recursive_selector_domain_defined

Definition at line 197 of file effects.h.

◆ statement_cell_relations_domain_number

#define statement_cell_relations_domain_number ( x ) ((x)->_type_)

Definition at line 1012 of file effects.h.

◆ STATEMENT_CELL_RELATIONS_FOREACH

#define STATEMENT_CELL_RELATIONS_FOREACH	(	k,
		v,
		f
	)	FUNCTION_FOREACH(statement_cell_relations,p,p,k,v,f)

Definition at line 1017 of file effects.h.

◆ statement_cell_relations_hash_table

#define statement_cell_relations_hash_table ( x ) ((x)->_statement_cell_relations_holder_)

Definition at line 1013 of file effects.h.

◆ statement_cell_relations_key_type

#define statement_cell_relations_key_type statement

Definition at line 1014 of file effects.h.

◆ STATEMENT_CELL_RELATIONS_MAP

#define STATEMENT_CELL_RELATIONS_MAP	(	k,
		v,
		c,
		f
	)	FUNCTION_MAP(statement_cell_relations,p,p,k,v,c,f)

Definition at line 1016 of file effects.h.

◆ STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN

#define STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN (statement_cell_relations_domain)

Definition at line 200 of file effects.h.

◆ statement_cell_relations_NEWGEN_DOMAIN

#define statement_cell_relations_NEWGEN_DOMAIN (statement_cell_relations_domain)

Definition at line 201 of file effects.h.

◆ STATEMENT_CELL_RELATIONS_TYPE

#define STATEMENT_CELL_RELATIONS_TYPE statement_cell_relations

Definition at line 989 of file effects.h.

◆ statement_cell_relations_TYPE

#define statement_cell_relations_TYPE statement_cell_relations

Definition at line 990 of file effects.h.

◆ statement_cell_relations_undefined

#define statement_cell_relations_undefined ((statement_cell_relations)gen_chunk_undefined)

Definition at line 991 of file effects.h.

◆ statement_cell_relations_undefined_p

#define statement_cell_relations_undefined_p ( x ) ((x)==statement_cell_relations_undefined)

Definition at line 992 of file effects.h.

◆ statement_cell_relations_value_type

#define statement_cell_relations_value_type cell_relations

Definition at line 1015 of file effects.h.

◆ STATEMENT_EFFECTS

#define STATEMENT_EFFECTS ( x ) ((statement_effects)((x).p))

STATEMENT_EFFECTS.

Definition at line 1026 of file effects.h.

◆ STATEMENT_EFFECTS_

#define STATEMENT_EFFECTS_ ( x ) ((x).e)

Definition at line 1029 of file effects.h.

◆ statement_effects_CAST

#define statement_effects_CAST ( x ) STATEMENT_EFFECTS(x)

Definition at line 1027 of file effects.h.

◆ STATEMENT_EFFECTS_CAST

#define STATEMENT_EFFECTS_CAST ( x ) STATEMENT_EFFECTS(x)

Definition at line 1028 of file effects.h.

◆ statement_effects_domain

#define statement_effects_domain (_gen_effects_start+20)

newgen_statement_cell_relations_domain_defined

Definition at line 205 of file effects.h.

◆ statement_effects_domain_number

#define statement_effects_domain_number ( x ) ((x)->_type_)

Definition at line 1053 of file effects.h.

◆ STATEMENT_EFFECTS_FOREACH

#define STATEMENT_EFFECTS_FOREACH	(	k,
		v,
		f
	)	FUNCTION_FOREACH(statement_effects,p,p,k,v,f)

Definition at line 1058 of file effects.h.

◆ statement_effects_hash_table

#define statement_effects_hash_table ( x ) ((x)->_statement_effects_holder_)

Definition at line 1054 of file effects.h.

◆ statement_effects_key_type

#define statement_effects_key_type statement

Definition at line 1055 of file effects.h.

◆ STATEMENT_EFFECTS_MAP

#define STATEMENT_EFFECTS_MAP	(	k,
		v,
		c,
		f
	)	FUNCTION_MAP(statement_effects,p,p,k,v,c,f)

Definition at line 1057 of file effects.h.

◆ STATEMENT_EFFECTS_NEWGEN_DOMAIN

#define STATEMENT_EFFECTS_NEWGEN_DOMAIN (statement_effects_domain)

Definition at line 208 of file effects.h.

◆ statement_effects_NEWGEN_DOMAIN

#define statement_effects_NEWGEN_DOMAIN (statement_effects_domain)

Definition at line 209 of file effects.h.

◆ STATEMENT_EFFECTS_TYPE

#define STATEMENT_EFFECTS_TYPE statement_effects

Definition at line 1030 of file effects.h.

◆ statement_effects_TYPE

#define statement_effects_TYPE statement_effects

Definition at line 1031 of file effects.h.

◆ statement_effects_undefined

#define statement_effects_undefined ((statement_effects)gen_chunk_undefined)

Definition at line 1032 of file effects.h.

◆ statement_effects_undefined_p

#define statement_effects_undefined_p ( x ) ((x)==statement_effects_undefined)

Definition at line 1033 of file effects.h.

◆ statement_effects_value_type

#define statement_effects_value_type effects

Definition at line 1056 of file effects.h.

◆ STATEMENT_NEWGEN_DOMAIN

#define STATEMENT_NEWGEN_DOMAIN (statement_domain)

Definition at line 40 of file effects.h.

◆ statement_NEWGEN_DOMAIN

#define statement_NEWGEN_DOMAIN (statement_domain)

Definition at line 41 of file effects.h.

Typedef Documentation

◆ action

typedef struct _newgen_struct_action_* action

Definition at line 66 of file effects.h.

◆ action_kind

typedef struct _newgen_struct_action_kind_* action_kind

Definition at line 58 of file effects.h.

◆ approximation

typedef struct _newgen_struct_approximation_* approximation

Definition at line 74 of file effects.h.

◆ cell

typedef struct _newgen_struct_cell_* cell

Definition at line 90 of file effects.h.

◆ cell_interpretation

typedef struct _newgen_struct_cell_interpretation_* cell_interpretation

Definition at line 82 of file effects.h.

◆ cell_relation

typedef struct _newgen_struct_cell_relation_* cell_relation

Definition at line 98 of file effects.h.

◆ cell_relations

typedef struct _newgen_struct_cell_relations_* cell_relations

Definition at line 106 of file effects.h.

◆ descriptor

typedef struct _newgen_struct_descriptor_* descriptor

Definition at line 114 of file effects.h.

◆ effect

typedef struct _newgen_struct_effect_* effect

Definition at line 122 of file effects.h.

◆ effects

typedef struct _newgen_struct_effects_* effects

Definition at line 138 of file effects.h.

◆ effects_classes

typedef struct _newgen_struct_effects_classes_* effects_classes

Definition at line 130 of file effects.h.

◆ entity

typedef struct _newgen_struct_entity_* entity

Definition at line 14 of file effects.h.

◆ entity_effects

typedef struct _newgen_struct_entity_effects_* entity_effects

Definition at line 146 of file effects.h.

◆ expression

typedef struct _newgen_struct_expression_* expression

Definition at line 35 of file effects.h.

◆ gap

typedef struct _newgen_struct_gap_* gap

Definition at line 154 of file effects.h.

◆ interpreted_cell

typedef struct _newgen_struct_interpreted_cell_* interpreted_cell

Definition at line 162 of file effects.h.

◆ path_selector

typedef struct _newgen_struct_path_selector_* path_selector

Definition at line 170 of file effects.h.

◆ path_selectors

typedef struct _newgen_struct_path_selectors_* path_selectors

Definition at line 178 of file effects.h.

◆ persistant_expression_to_effects

typedef struct _newgen_struct_persistant_expression_to_effects_* persistant_expression_to_effects

Definition at line 186 of file effects.h.

◆ preference

typedef struct _newgen_struct_preference_* preference

Definition at line 28 of file effects.h.

◆ recursive_selector

typedef struct _newgen_struct_recursive_selector_* recursive_selector

Definition at line 194 of file effects.h.

◆ reference

typedef struct _newgen_struct_reference_* reference

Definition at line 21 of file effects.h.

◆ statement

typedef struct _newgen_struct_statement_* statement

Definition at line 42 of file effects.h.

◆ statement_cell_relations

typedef struct _newgen_struct_statement_cell_relations_* statement_cell_relations

Definition at line 202 of file effects.h.

◆ statement_effects

typedef struct _newgen_struct_statement_effects_* statement_effects

Definition at line 210 of file effects.h.

Enumeration Type Documentation

◆ action_kind_utype

enum action_kind_utype

Enumerator
is_action_kind_store
is_action_kind_environment
is_action_kind_type_declaration

Definition at line 236 of file effects.h.

                        {
   is_action_kind_store,
   is_action_kind_environment,
   is_action_kind_type_declaration
 };

◆ action_utype

enum action_utype

Enumerator
is_action_read
is_action_write

Definition at line 291 of file effects.h.

                   {
   is_action_read,
   is_action_write
 };

◆ approximation_utype

enum approximation_utype

Enumerator
is_approximation_may
is_approximation_must
is_approximation_exact

Definition at line 340 of file effects.h.

                          {
   is_approximation_may,
   is_approximation_must,
   is_approximation_exact
 };

◆ cell_interpretation_utype

enum cell_interpretation_utype

Enumerator
is_cell_interpretation_value_of
is_cell_interpretation_address_of

Definition at line 395 of file effects.h.

                                {
   is_cell_interpretation_value_of,
   is_cell_interpretation_address_of
 };

◆ cell_utype

enum cell_utype

Enumerator
is_cell_reference
is_cell_preference
is_cell_gap

Definition at line 444 of file effects.h.

                 {
   is_cell_reference,
   is_cell_preference,
   is_cell_gap
 };

◆ descriptor_utype

enum descriptor_utype

Enumerator
is_descriptor_convexunion
is_descriptor_convex
is_descriptor_none

Definition at line 573 of file effects.h.

                       {
   is_descriptor_convexunion,
   is_descriptor_convex,
   is_descriptor_none
 };

◆ path_selector_utype

enum path_selector_utype

Enumerator
is_path_selector_expression
is_path_selector_recursive_selector

Definition at line 847 of file effects.h.

                          {
   is_path_selector_expression,
   is_path_selector_recursive_selector
 };

Function Documentation

◆ action_assign_contents()

void action_assign_contents	(	action	r,
		action	v
	)

Definition at line 96 of file effects.c.

                                                 {
   check_action(r);
   check_action(v);
   message_assert("defined references to domain action",
                  action_defined_p(r) && action_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_action_));
 }

References action_defined_p(), check_action(), and message_assert.

Here is the call graph for this function:

◆ action_consistent_p()

bool action_consistent_p ( action p )

Definition at line 86 of file effects.c.

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

References check_action(), and gen_consistent_p().

Here is the call graph for this function:

◆ action_defined_p()

bool action_defined_p ( action p )

Definition at line 90 of file effects.c.

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

References gen_defined_p().

Referenced by action_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ action_kind_assign_contents()

void action_kind_assign_contents	(	action_kind	r,
		action_kind	v
	)

Definition at line 37 of file effects.c.

                                                                {
   check_action_kind(r);
   check_action_kind(v);
   message_assert("defined references to domain action_kind",
                  action_kind_defined_p(r) && action_kind_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_action_kind_));
 }

References action_kind_defined_p(), check_action_kind(), and message_assert.

Here is the call graph for this function:

◆ action_kind_consistent_p()

bool action_kind_consistent_p ( action_kind p )

Definition at line 27 of file effects.c.

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

References check_action_kind(), and gen_consistent_p().

Here is the call graph for this function:

◆ action_kind_defined_p()

bool action_kind_defined_p ( action_kind p )

Definition at line 31 of file effects.c.

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

References gen_defined_p().

Referenced by action_kind_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ action_kind_non_recursive_free()

void action_kind_non_recursive_free ( action_kind p )

Definition at line 44 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ action_kind_tag_as_string()

string action_kind_tag_as_string ( enum action_kind_utype )

Definition at line 54 of file effects.c.

                                                              {
   switch (tag) {
   case is_action_kind_store: return "store";
   case is_action_kind_environment: return "environment";
   case is_action_kind_type_declaration: return "type_declaration";
   default: return string_undefined;
   }
 }

References is_action_kind_environment, is_action_kind_store, is_action_kind_type_declaration, and string_undefined.

◆ action_non_recursive_free()

void action_non_recursive_free ( action p )

Definition at line 103 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ action_tag_as_string()

string action_tag_as_string ( enum action_utype )

Definition at line 113 of file effects.c.

                                                    {
   switch (tag) {
   case is_action_read: return "read";
   case is_action_write: return "write";
   default: return string_undefined;
   }
 }

References is_action_read, is_action_write, and string_undefined.

◆ apply_entity_effects()

effects apply_entity_effects	(	entity_effects	f,
		entity	k
	)

Definition at line 613 of file effects.c.

                                                          {
   return (effects) (intptr_t)HASH_GET(p, p, entity_effects_hash_table(f), k);
 }

References entity_effects_hash_table, f(), HASH_GET, and intptr_t.

Here is the call graph for this function:

◆ apply_persistant_expression_to_effects()

effects apply_persistant_expression_to_effects	(	persistant_expression_to_effects	f,
		expression	k
	)

Definition at line 851 of file effects.c.

                                                                                                  {
   return (effects) (intptr_t)HASH_GET(p, p, persistant_expression_to_effects_hash_table(f), k);
 }

References f(), HASH_GET, intptr_t, and persistant_expression_to_effects_hash_table.

Here is the call graph for this function:

◆ apply_statement_cell_relations()

cell_relations apply_statement_cell_relations	(	statement_cell_relations	f,
		statement	k
	)

Definition at line 950 of file effects.c.

                                                                                        {
   return (cell_relations) (intptr_t)HASH_GET(p, p, statement_cell_relations_hash_table(f), k);
 }

References f(), HASH_GET, intptr_t, and statement_cell_relations_hash_table.

Here is the call graph for this function:

◆ apply_statement_effects()

effects apply_statement_effects	(	statement_effects	f,
		statement	k
	)

Definition at line 1007 of file effects.c.

                                                                   {
   return (effects) (intptr_t)HASH_GET(p, p, statement_effects_hash_table(f), k);
 }

References f(), HASH_GET, intptr_t, and statement_effects_hash_table.

Referenced by compile_body(), step_translate_and_map_step_regions(), and stmt_to_fx().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ approximation_assign_contents()

void approximation_assign_contents	(	approximation	r,
		approximation	v
	)

Definition at line 151 of file effects.c.

                                                                      {
   check_approximation(r);
   check_approximation(v);
   message_assert("defined references to domain approximation",
                  approximation_defined_p(r) && approximation_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_approximation_));
 }

References approximation_defined_p(), check_approximation(), and message_assert.

Here is the call graph for this function:

◆ approximation_consistent_p()

bool approximation_consistent_p ( approximation p )

Definition at line 141 of file effects.c.

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

References check_approximation(), and gen_consistent_p().

Here is the call graph for this function:

◆ approximation_defined_p()

bool approximation_defined_p ( approximation p )

Definition at line 145 of file effects.c.

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

References gen_defined_p().

Referenced by approximation_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ approximation_non_recursive_free()

void approximation_non_recursive_free ( approximation p )

Definition at line 158 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ approximation_tag_as_string()

string approximation_tag_as_string ( enum approximation_utype )

Definition at line 168 of file effects.c.

                                                                  {
   switch (tag) {
   case is_approximation_may: return "may";
   case is_approximation_must: return "must";
   case is_approximation_exact: return "exact";
   default: return string_undefined;
   }
 }

References is_approximation_exact, is_approximation_may, is_approximation_must, and string_undefined.

◆ bound_entity_effects_p()

bool bound_entity_effects_p	(	entity_effects	f,
		entity	k
	)

Definition at line 625 of file effects.c.

                                                         {
   return (intptr_t)HASH_BOUND_P(p, p, entity_effects_hash_table(f), k);
 }

References entity_effects_hash_table, f(), HASH_BOUND_P, and intptr_t.

Here is the call graph for this function:

◆ bound_persistant_expression_to_effects_p()

bool bound_persistant_expression_to_effects_p	(	persistant_expression_to_effects	f,
		expression	k
	)

Definition at line 863 of file effects.c.

                                                                                                 {
   return (intptr_t)HASH_BOUND_P(p, p, persistant_expression_to_effects_hash_table(f), k);
 }

References f(), HASH_BOUND_P, intptr_t, and persistant_expression_to_effects_hash_table.

Here is the call graph for this function:

◆ bound_statement_cell_relations_p()

bool bound_statement_cell_relations_p	(	statement_cell_relations	f,
		statement	k
	)

Definition at line 962 of file effects.c.

                                                                                {
   return (intptr_t)HASH_BOUND_P(p, p, statement_cell_relations_hash_table(f), k);
 }

References f(), HASH_BOUND_P, intptr_t, and statement_cell_relations_hash_table.

Here is the call graph for this function:

◆ bound_statement_effects_p()

bool bound_statement_effects_p	(	statement_effects	f,
		statement	k
	)

Definition at line 1019 of file effects.c.

                                                                  {
   return (intptr_t)HASH_BOUND_P(p, p, statement_effects_hash_table(f), k);
 }

References f(), HASH_BOUND_P, intptr_t, and statement_effects_hash_table.

Here is the call graph for this function:

◆ cell_assign_contents()

void cell_assign_contents	(	cell	r,
		cell	v
	)

Definition at line 265 of file effects.c.

                                           {
   check_cell(r);
   check_cell(v);
   message_assert("defined references to domain cell",
                  cell_defined_p(r) && cell_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_cell_));
 }

References cell_defined_p(), check_cell(), and message_assert.

Here is the call graph for this function:

◆ cell_consistent_p()

bool cell_consistent_p ( cell p )

Definition at line 255 of file effects.c.

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

References check_cell(), and gen_consistent_p().

Referenced by create_scalar_stub_sink_cell().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ cell_defined_p()

bool cell_defined_p ( cell p )

Definition at line 259 of file effects.c.

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

References gen_defined_p().

Referenced by cell_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ cell_interpretation_assign_contents()

void cell_interpretation_assign_contents	(	cell_interpretation	r,
		cell_interpretation	v
	)

Definition at line 210 of file effects.c.

                                                                                        {
   check_cell_interpretation(r);
   check_cell_interpretation(v);
   message_assert("defined references to domain cell_interpretation",
                  cell_interpretation_defined_p(r) && cell_interpretation_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_cell_interpretation_));
 }

References cell_interpretation_defined_p(), check_cell_interpretation(), and message_assert.

Here is the call graph for this function:

◆ cell_interpretation_consistent_p()

bool cell_interpretation_consistent_p ( cell_interpretation p )

Definition at line 200 of file effects.c.

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

References check_cell_interpretation(), and gen_consistent_p().

Here is the call graph for this function:

◆ cell_interpretation_defined_p()

bool cell_interpretation_defined_p ( cell_interpretation p )

Definition at line 204 of file effects.c.

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

References gen_defined_p().

Referenced by cell_interpretation_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ cell_interpretation_non_recursive_free()

void cell_interpretation_non_recursive_free ( cell_interpretation p )

Definition at line 217 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ cell_interpretation_tag_as_string()

string cell_interpretation_tag_as_string ( enum cell_interpretation_utype )

Definition at line 227 of file effects.c.

                                                                              {
   switch (tag) {
   case is_cell_interpretation_value_of: return "value_of";
   case is_cell_interpretation_address_of: return "address_of";
   default: return string_undefined;
   }
 }

References is_cell_interpretation_address_of, is_cell_interpretation_value_of, and string_undefined.

◆ cell_non_recursive_free()

void cell_non_recursive_free ( cell p )

Definition at line 272 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ cell_relation_assign_contents()

void cell_relation_assign_contents	(	cell_relation	r,
		cell_relation	v
	)

Definition at line 324 of file effects.c.

                                                                      {
   check_cell_relation(r);
   check_cell_relation(v);
   message_assert("defined references to domain cell_relation",
                  cell_relation_defined_p(r) && cell_relation_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_cell_relation_));
 }

References cell_relation_defined_p(), check_cell_relation(), and message_assert.

Here is the call graph for this function:

◆ cell_relation_consistent_p()

bool cell_relation_consistent_p ( cell_relation p )

Definition at line 314 of file effects.c.

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

References check_cell_relation(), and gen_consistent_p().

Here is the call graph for this function:

◆ cell_relation_defined_p()

bool cell_relation_defined_p ( cell_relation p )

Definition at line 318 of file effects.c.

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

References gen_defined_p().

Referenced by cell_relation_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ cell_relation_non_recursive_free()

void cell_relation_non_recursive_free ( cell_relation p )

Definition at line 331 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ cell_relations_assign_contents()

void cell_relations_assign_contents	(	cell_relations	r,
		cell_relations	v
	)

Definition at line 366 of file effects.c.

                                                                         {
   check_cell_relations(r);
   check_cell_relations(v);
   message_assert("defined references to domain cell_relations",
                  cell_relations_defined_p(r) && cell_relations_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_cell_relations_));
 }

References cell_relations_defined_p(), check_cell_relations(), and message_assert.

Here is the call graph for this function:

◆ cell_relations_consistent_p()

bool cell_relations_consistent_p ( cell_relations p )

Definition at line 356 of file effects.c.

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

References check_cell_relations(), and gen_consistent_p().

Here is the call graph for this function:

◆ cell_relations_defined_p()

bool cell_relations_defined_p ( cell_relations p )

Definition at line 360 of file effects.c.

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

References gen_defined_p().

Referenced by cell_relations_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ cell_relations_non_recursive_free()

void cell_relations_non_recursive_free ( cell_relations p )

Definition at line 373 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ cell_tag_as_string()

string cell_tag_as_string ( enum cell_utype )

Definition at line 282 of file effects.c.

                                                {
   switch (tag) {
   case is_cell_reference: return "reference";
   case is_cell_preference: return "preference";
   case is_cell_gap: return "gap";
   default: return string_undefined;
   }
 }

References is_cell_gap, is_cell_preference, is_cell_reference, and string_undefined.

◆ check_action()

action check_action ( action p )

Definition at line 83 of file effects.c.

                               {
   return (action) gen_check((gen_chunk*) p, action_domain);
 }

References action_domain, and gen_check().

Referenced by action_assign_contents(), and action_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_action_kind()

action_kind check_action_kind ( action_kind p )

Definition at line 24 of file effects.c.

                                              {
   return (action_kind) gen_check((gen_chunk*) p, action_kind_domain);
 }

References action_kind_domain, and gen_check().

Referenced by action_kind_assign_contents(), and action_kind_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_approximation()

approximation check_approximation ( approximation p )

Definition at line 138 of file effects.c.

                                                    {
   return (approximation) gen_check((gen_chunk*) p, approximation_domain);
 }

References approximation_domain, and gen_check().

Referenced by approximation_assign_contents(), and approximation_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_cell()

cell check_cell ( cell p )

Definition at line 252 of file effects.c.

                         {
   return (cell) gen_check((gen_chunk*) p, cell_domain);
 }

References cell_domain, and gen_check().

Referenced by cell_assign_contents(), and cell_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_cell_interpretation()

cell_interpretation check_cell_interpretation ( cell_interpretation p )

Definition at line 197 of file effects.c.

                                                                      {
   return (cell_interpretation) gen_check((gen_chunk*) p, cell_interpretation_domain);
 }

References cell_interpretation_domain, and gen_check().

Referenced by cell_interpretation_assign_contents(), and cell_interpretation_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_cell_relation()

cell_relation check_cell_relation ( cell_relation p )

Definition at line 311 of file effects.c.

                                                    {
   return (cell_relation) gen_check((gen_chunk*) p, cell_relation_domain);
 }

References cell_relation_domain, and gen_check().

Referenced by cell_relation_assign_contents(), and cell_relation_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_cell_relations()

cell_relations check_cell_relations ( cell_relations p )

Definition at line 353 of file effects.c.

                                                       {
   return (cell_relations) gen_check((gen_chunk*) p, cell_relations_domain);
 }

References cell_relations_domain, and gen_check().

Referenced by cell_relations_assign_contents(), and cell_relations_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_descriptor()

descriptor check_descriptor ( descriptor p )

Definition at line 395 of file effects.c.

                                           {
   return (descriptor) gen_check((gen_chunk*) p, descriptor_domain);
 }

References descriptor_domain, and gen_check().

Referenced by descriptor_assign_contents(), and descriptor_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_effect()

effect check_effect ( effect p )

Definition at line 454 of file effects.c.

                               {
   return (effect) gen_check((gen_chunk*) p, effect_domain);
 }

References effect_domain, and gen_check().

Referenced by effect_assign_contents(), and effect_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_effects()

effects check_effects ( effects p )

Definition at line 538 of file effects.c.

                                  {
   return (effects) gen_check((gen_chunk*) p, effects_domain);
 }

References effects_domain, and gen_check().

Referenced by effects_assign_contents(), and effects_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_effects_classes()

effects_classes check_effects_classes ( effects_classes p )

Definition at line 496 of file effects.c.

                                                          {
   return (effects_classes) gen_check((gen_chunk*) p, effects_classes_domain);
 }

References effects_classes_domain, and gen_check().

Referenced by effects_classes_assign_contents(), and effects_classes_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_entity_effects()

entity_effects check_entity_effects ( entity_effects p )

Definition at line 580 of file effects.c.

                                                       {
   return (entity_effects) gen_check((gen_chunk*) p, entity_effects_domain);
 }

References entity_effects_domain, and gen_check().

Referenced by entity_effects_assign_contents(), and entity_effects_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_gap()

gap check_gap ( gap p )

Definition at line 637 of file effects.c.

                      {
   return (gap) gen_check((gen_chunk*) p, gap_domain);
 }

References gap_domain, and gen_check().

Referenced by gap_assign_contents(), and gap_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_interpreted_cell()

interpreted_cell check_interpreted_cell ( interpreted_cell p )

Definition at line 679 of file effects.c.

                                                             {
   return (interpreted_cell) gen_check((gen_chunk*) p, interpreted_cell_domain);
 }

References gen_check(), and interpreted_cell_domain.

Referenced by interpreted_cell_assign_contents(), and interpreted_cell_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_path_selector()

path_selector check_path_selector ( path_selector p )

Definition at line 721 of file effects.c.

                                                    {
   return (path_selector) gen_check((gen_chunk*) p, path_selector_domain);
 }

References gen_check(), and path_selector_domain.

Referenced by path_selector_assign_contents(), and path_selector_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_path_selectors()

path_selectors check_path_selectors ( path_selectors p )

Definition at line 776 of file effects.c.

                                                       {
   return (path_selectors) gen_check((gen_chunk*) p, path_selectors_domain);
 }

References gen_check(), and path_selectors_domain.

Referenced by path_selectors_assign_contents(), and path_selectors_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_persistant_expression_to_effects()

persistant_expression_to_effects check_persistant_expression_to_effects ( persistant_expression_to_effects p )

Definition at line 818 of file effects.c.

                                                                                                             {
   return (persistant_expression_to_effects) gen_check((gen_chunk*) p, persistant_expression_to_effects_domain);
 }

References gen_check(), and persistant_expression_to_effects_domain.

Referenced by persistant_expression_to_effects_assign_contents(), and persistant_expression_to_effects_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_recursive_selector()

recursive_selector check_recursive_selector ( recursive_selector p )

Definition at line 875 of file effects.c.

                                                                   {
   return (recursive_selector) gen_check((gen_chunk*) p, recursive_selector_domain);
 }

References gen_check(), and recursive_selector_domain.

Referenced by recursive_selector_assign_contents(), and recursive_selector_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_statement_cell_relations()

statement_cell_relations check_statement_cell_relations ( statement_cell_relations p )

Definition at line 917 of file effects.c.

                                                                                     {
   return (statement_cell_relations) gen_check((gen_chunk*) p, statement_cell_relations_domain);
 }

References gen_check(), and statement_cell_relations_domain.

Referenced by statement_cell_relations_assign_contents(), and statement_cell_relations_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_statement_effects()

statement_effects check_statement_effects ( statement_effects p )

Definition at line 974 of file effects.c.

                                                                {
   return (statement_effects) gen_check((gen_chunk*) p, statement_effects_domain);
 }

References gen_check(), and statement_effects_domain.

Referenced by statement_effects_assign_contents(), and statement_effects_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_action()

action copy_action ( action p )

ACTION.

Definition at line 77 of file effects.c.

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

References gen_copy_tree().

Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), convex_effect_to_constant_path_effects_with_pointer_values(), convex_effect_to_constant_path_effects_with_points_to(), do_isolate_statement_preconditions_satisified_p(), effect_may_union(), effect_must_union(), effect_to_pointer_store_independent_effect(), effect_to_store_independent(), effects_to_dma(), filter_live_out_regions_statement(), generic_effect_find_aliases_with_simple_pointer_values(), region_entities_intersection(), region_intersection(), region_sup_difference(), region_translation(), region_union(), and simple_effect_to_constant_path_effects_with_pointer_values().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_action_kind()

action_kind copy_action_kind ( action_kind p )

ACTION_KIND.

Definition at line 18 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_approximation()

approximation copy_approximation ( approximation p )

APPROXIMATION.

Definition at line 132 of file effects.c.

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

References gen_copy_tree().

Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), compute_points_to_gen_set(), dereferencing_subscript_to_points_to(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), filter_live_out_regions_statement(), free_to_post_pv(), freed_list_to_points_to(), k_limit_points_to(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), points_to_nowhere(), points_to_set_block_projection(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_filter_formal_context_according_to_actual_context(), and remove_points_to_cell().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_cell()

cell copy_cell ( cell p )

CELL.

Definition at line 246 of file effects.c.

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

References gen_copy_tree().

Referenced by any_source_to_sinks(), anywhere_source_to_sinks(), binary_intrinsic_call_to_points_to_sinks(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), dereferencing_subscript_to_points_to(), equal_condition_to_points_to(), extended_source_to_sinks(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), filter_live_out_regions_statement(), free_to_post_pv(), freed_list_to_points_to(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), generic_points_to_cell_to_useful_pointer_cells(), generic_points_to_set_to_stub_cell_list(), generic_points_to_source_to_sinks(), generic_stub_source_to_sinks(), global_source_to_sinks(), internal_pointer_assignment_to_points_to(), kill_pointer_value(), list_assignment_to_points_to(), lower_points_to_approximations_according_to_write_effects(), make_anywhere_anywhere_pvs(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), pointer_formal_parameter_to_stub_points_to(), pointer_source_to_sinks(), points_to_binding(), points_to_binding_arguments(), points_to_cell_translation(), points_to_path_to_k_limited_points_to_path(), points_to_set_block_projection(), points_to_sink_to_sources(), points_to_source_name_to_sinks(), points_to_source_name_to_source_cell(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_cell_to_pointer_cells(), recursive_filter_formal_context_according_to_actual_context(), reference_to_points_to_translations(), remove_arcs_from_pt_map(), remove_points_to_arcs(), remove_points_to_cell(), simple_pv_may_union(), simple_pv_must_union(), simple_pv_translate(), single_pointer_assignment_to_post_pv(), sink_to_sources(), source_to_sinks(), struct_assignment_to_points_to(), struct_variable_to_pointer_subscripts(), type_compatible_super_cell(), type_compatible_with_points_to_cell_p(), upgrade_approximations_in_points_to_set(), user_call_to_points_to_fast_interprocedural(), user_call_to_points_to_sinks(), and variable_to_sinks().

Here is the call graph for this function:

◆ copy_cell_interpretation()

cell_interpretation copy_cell_interpretation ( cell_interpretation p )

CELL_INTERPRETATION.

Definition at line 191 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_cell_relation()

cell_relation copy_cell_relation ( cell_relation p )

CELL_RELATION.

Definition at line 305 of file effects.c.

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

References gen_copy_tree().

Referenced by free_to_post_pv(), kill_pointer_value(), pointer_values_remove_var(), simple_pv_may_union(), and simple_pv_must_union().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_cell_relations()

cell_relations copy_cell_relations ( cell_relations p )

CELL_RELATIONS.

Definition at line 347 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_descriptor()

descriptor copy_descriptor ( descriptor p )

DESCRIPTOR.

Definition at line 389 of file effects.c.

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

References gen_copy_tree().

Referenced by list_assignment_to_points_to().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_effect()

effect copy_effect ( effect p )

EFFECT.

Definition at line 448 of file effects.c.

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

References gen_copy_tree().

Referenced by add_values_for_simple_effects_of_statement(), assignment_to_post_pv(), binary_arithmetic_operator_to_post_pv(), convex_cell_reference_preceding_p(), convex_effect_to_constant_path_effects_with_points_to(), duplicate_regions_referenced_entity(), effect_to_constant_path_effects_with_points_to(), effects_to_dma(), multiple_pointer_assignment_to_post_pv(), region_intersection(), region_sup_difference(), region_union(), regions_may_convex_hull(), regions_must_convex_hull(), single_pointer_assignment_to_post_pv(), summarize_and_map_step_regions(), and update_operator_to_post_pv().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_effects()

effects copy_effects ( effects p )

EFFECTS.

Definition at line 532 of file effects.c.

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

References gen_copy_tree().

Referenced by do_simdizer_auto_tile_generate_all_tests().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_effects_classes()

effects_classes copy_effects_classes ( effects_classes p )

EFFECTS_CLASSES.

Definition at line 490 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_entity_effects()

entity_effects copy_entity_effects ( entity_effects p )

ENTITY_EFFECTS.

Definition at line 574 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_gap()

gap copy_gap ( gap p )

GAP.

Definition at line 631 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_interpreted_cell()

interpreted_cell copy_interpreted_cell ( interpreted_cell p )

INTERPRETED_CELL.

Definition at line 673 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_path_selector()

path_selector copy_path_selector ( path_selector p )

PATH_SELECTOR.

Definition at line 715 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_path_selectors()

path_selectors copy_path_selectors ( path_selectors p )

PATH_SELECTORS.

Definition at line 770 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_persistant_expression_to_effects()

persistant_expression_to_effects copy_persistant_expression_to_effects ( persistant_expression_to_effects p )

PERSISTANT_EXPRESSION_TO_EFFECTS.

Definition at line 812 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_recursive_selector()

recursive_selector copy_recursive_selector ( recursive_selector p )

RECURSIVE_SELECTOR.

Definition at line 869 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_statement_cell_relations()

statement_cell_relations copy_statement_cell_relations ( statement_cell_relations p )

STATEMENT_CELL_RELATIONS.

Definition at line 911 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_statement_effects()

statement_effects copy_statement_effects ( statement_effects p )

STATEMENT_EFFECTS.

Definition at line 968 of file effects.c.

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

References gen_copy_tree().

Here is the call graph for this function:

◆ delete_entity_effects()

effects delete_entity_effects	(	entity_effects	f,
		entity	k
	)

Definition at line 622 of file effects.c.

                                                           {
   return (effects)(intptr_t) HASH_DELETE(p, p, entity_effects_hash_table(f), k);
 }

References entity_effects_hash_table, f(), HASH_DELETE, and intptr_t.

Here is the call graph for this function:

◆ delete_persistant_expression_to_effects()

effects delete_persistant_expression_to_effects	(	persistant_expression_to_effects	f,
		expression	k
	)

Definition at line 860 of file effects.c.

                                                                                                   {
   return (effects)(intptr_t) HASH_DELETE(p, p, persistant_expression_to_effects_hash_table(f), k);
 }

References f(), HASH_DELETE, intptr_t, and persistant_expression_to_effects_hash_table.

Here is the call graph for this function:

◆ delete_statement_cell_relations()

cell_relations delete_statement_cell_relations	(	statement_cell_relations	f,
		statement	k
	)

Definition at line 959 of file effects.c.

                                                                                         {
   return (cell_relations)(intptr_t) HASH_DELETE(p, p, statement_cell_relations_hash_table(f), k);
 }

References f(), HASH_DELETE, intptr_t, and statement_cell_relations_hash_table.

Here is the call graph for this function:

◆ delete_statement_effects()

effects delete_statement_effects	(	statement_effects	f,
		statement	k
	)

Definition at line 1016 of file effects.c.

                                                                    {
   return (effects)(intptr_t) HASH_DELETE(p, p, statement_effects_hash_table(f), k);
 }

References f(), HASH_DELETE, intptr_t, and statement_effects_hash_table.

Here is the call graph for this function:

◆ descriptor_assign_contents()

void descriptor_assign_contents	(	descriptor	r,
		descriptor	v
	)

Definition at line 408 of file effects.c.

                                                             {
   check_descriptor(r);
   check_descriptor(v);
   message_assert("defined references to domain descriptor",
                  descriptor_defined_p(r) && descriptor_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_descriptor_));
 }

References check_descriptor(), descriptor_defined_p(), and message_assert.

Here is the call graph for this function:

◆ descriptor_consistent_p()

bool descriptor_consistent_p ( descriptor p )

Definition at line 398 of file effects.c.

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

References check_descriptor(), and gen_consistent_p().

Here is the call graph for this function:

◆ descriptor_defined_p()

bool descriptor_defined_p ( descriptor p )

Definition at line 402 of file effects.c.

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

References gen_defined_p().

Referenced by descriptor_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ descriptor_non_recursive_free()

void descriptor_non_recursive_free ( descriptor p )

Definition at line 415 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ descriptor_tag_as_string()

string descriptor_tag_as_string ( enum descriptor_utype )

Definition at line 425 of file effects.c.

                                                            {
   switch (tag) {
   case is_descriptor_convexunion: return "convexunion";
   case is_descriptor_convex: return "convex";
   case is_descriptor_none: return "none";
   default: return string_undefined;
   }
 }

References is_descriptor_convex, is_descriptor_convexunion, is_descriptor_none, and string_undefined.

◆ effect_assign_contents()

void effect_assign_contents	(	effect	r,
		effect	v
	)

Definition at line 467 of file effects.c.

                                                 {
   check_effect(r);
   check_effect(v);
   message_assert("defined references to domain effect",
                  effect_defined_p(r) && effect_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_effect_));
 }

References check_effect(), effect_defined_p(), and message_assert.

Here is the call graph for this function:

◆ effect_consistent_p()

bool effect_consistent_p ( effect p )

Definition at line 457 of file effects.c.

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

References check_effect(), and gen_consistent_p().

Referenced by effect_interference(), effect_list_consistent_p(), region_consistent_p(), regions_must_convex_hull(), store_independent_effect_p(), and union_compatible_effects_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ effect_defined_p()

bool effect_defined_p ( effect p )

Definition at line 461 of file effects.c.

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

References gen_defined_p().

Referenced by effect_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ effect_non_recursive_free()

void effect_non_recursive_free ( effect p )

Definition at line 474 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ effects_assign_contents()

void effects_assign_contents	(	effects	r,
		effects	v
	)

Definition at line 551 of file effects.c.

                                                    {
   check_effects(r);
   check_effects(v);
   message_assert("defined references to domain effects",
                  effects_defined_p(r) && effects_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_effects_));
 }

References check_effects(), effects_defined_p(), and message_assert.

Here is the call graph for this function:

◆ effects_classes_assign_contents()

void effects_classes_assign_contents	(	effects_classes	r,
		effects_classes	v
	)

Definition at line 509 of file effects.c.

                                                                            {
   check_effects_classes(r);
   check_effects_classes(v);
   message_assert("defined references to domain effects_classes",
                  effects_classes_defined_p(r) && effects_classes_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_effects_classes_));
 }

References check_effects_classes(), effects_classes_defined_p(), and message_assert.

Here is the call graph for this function:

◆ effects_classes_consistent_p()

bool effects_classes_consistent_p ( effects_classes p )

Definition at line 499 of file effects.c.

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

References check_effects_classes(), and gen_consistent_p().

Here is the call graph for this function:

◆ effects_classes_defined_p()

bool effects_classes_defined_p ( effects_classes p )

Definition at line 503 of file effects.c.

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

References gen_defined_p().

Referenced by effects_classes_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ effects_classes_non_recursive_free()

void effects_classes_non_recursive_free ( effects_classes p )

Definition at line 516 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ effects_consistent_p()

bool effects_consistent_p ( effects p )

Definition at line 541 of file effects.c.

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

References check_effects(), and gen_consistent_p().

Referenced by functionnal_on(), step_recv_regions_list_load(), step_recv_regions_list_store(), step_send_regions_list_load(), and step_send_regions_list_store().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ effects_defined_p()

bool effects_defined_p ( effects p )

Definition at line 545 of file effects.c.

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

References gen_defined_p().

Referenced by effects_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ effects_non_recursive_free()

void effects_non_recursive_free ( effects p )

Definition at line 558 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ entity_effects_assign_contents()

void entity_effects_assign_contents	(	entity_effects	r,
		entity_effects	v
	)

Definition at line 593 of file effects.c.

                                                                         {
   check_entity_effects(r);
   check_entity_effects(v);
   message_assert("defined references to domain entity_effects",
                  entity_effects_defined_p(r) && entity_effects_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_entity_effects_));
 }

References check_entity_effects(), entity_effects_defined_p(), and message_assert.

Here is the call graph for this function:

◆ entity_effects_consistent_p()

bool entity_effects_consistent_p ( entity_effects p )

Definition at line 583 of file effects.c.

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

References check_entity_effects(), and gen_consistent_p().

Here is the call graph for this function:

◆ entity_effects_defined_p()

bool entity_effects_defined_p ( entity_effects p )

Definition at line 587 of file effects.c.

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

References gen_defined_p().

Referenced by entity_effects_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ entity_effects_non_recursive_free()

void entity_effects_non_recursive_free ( entity_effects p )

Definition at line 600 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ extend_entity_effects()

void extend_entity_effects	(	entity_effects	f,
		entity	k,
		effects	v
	)

Definition at line 619 of file effects.c.

                                                                   {
   HASH_EXTEND(p, p, entity_effects_hash_table(f), k, (intptr_t)v);
 }

References entity_effects_hash_table, f(), HASH_EXTEND, and intptr_t.

Here is the call graph for this function:

◆ extend_persistant_expression_to_effects()

void extend_persistant_expression_to_effects	(	persistant_expression_to_effects	f,
		expression	k,
		effects	v
	)

Definition at line 857 of file effects.c.

                                                                                                           {
   HASH_EXTEND(p, p, persistant_expression_to_effects_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_EXTEND, intptr_t, and persistant_expression_to_effects_hash_table.

Here is the call graph for this function:

◆ extend_statement_cell_relations()

void extend_statement_cell_relations	(	statement_cell_relations	f,
		statement	k,
		cell_relations	v
	)

Definition at line 956 of file effects.c.

                                                                                                 {
   HASH_EXTEND(p, p, statement_cell_relations_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_EXTEND, intptr_t, and statement_cell_relations_hash_table.

Here is the call graph for this function:

◆ extend_statement_effects()

void extend_statement_effects	(	statement_effects	f,
		statement	k,
		effects	v
	)

Definition at line 1013 of file effects.c.

                                                                            {
   HASH_EXTEND(p, p, statement_effects_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_EXTEND, intptr_t, and statement_effects_hash_table.

Here is the call graph for this function:

◆ free_action()

void free_action ( action p )

Definition at line 80 of file effects.c.

                            {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by create_step_regions(), and real_regions_forward_translation().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_action_kind()

void free_action_kind ( action_kind p )

Definition at line 21 of file effects.c.

                                      {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_approximation()

void free_approximation ( approximation p )

Definition at line 135 of file effects.c.

                                          {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by cells_to_read_or_write_effects(), compute_points_to_gen_set(), compute_send_regions(), filter_formal_context_according_to_actual_context(), formal_source_to_sinks(), global_source_to_sinks(), new_filter_formal_context_according_to_actual_context(), points_to_nowhere(), points_to_translation_of_formal_parameters(), and recursive_filter_formal_context_according_to_actual_context().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_cell()

void free_cell ( cell p )

Definition at line 249 of file effects.c.

                        {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by any_source_to_sinks(), binary_intrinsic_call_to_points_to_sinks(), dereferencing_subscript_to_points_to(), effect_may_union(), effect_must_union(), extended_source_to_sinks(), generic_effect_find_aliases_with_simple_pointer_values(), generic_reference_to_points_to_matching_list(), generic_transform_sink_cells_from_matching_list(), list_assignment_to_points_to(), pointer_values_remove_var(), points_to_translation_of_struct_formal_parameter(), proper_to_summary_simple_effect(), recursive_cell_to_pointer_cells(), reference_to_points_to_sinks(), reference_to_points_to_translations(), reference_to_sinks(), source_to_sinks(), struct_variable_to_pointer_locations(), struct_variable_to_pointer_subscripts(), and type_compatible_with_points_to_cell_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_cell_interpretation()

void free_cell_interpretation ( cell_interpretation p )

Definition at line 194 of file effects.c.

                                                      {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by single_pointer_assignment_to_post_pv().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_cell_relation()

void free_cell_relation ( cell_relation p )

Definition at line 308 of file effects.c.

                                          {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by cell_relations_generic_binary_op(), kill_pointer_value(), make_simple_pv_from_simple_effects(), and pointer_values_remove_var().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_cell_relations()

void free_cell_relations ( cell_relations p )

Definition at line 350 of file effects.c.

                                            {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_descriptor()

void free_descriptor ( descriptor p )

Definition at line 392 of file effects.c.

                                    {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by convex_in_effect_loop_range_fix().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_effect()

void free_effect ( effect p )

Definition at line 451 of file effects.c.

                            {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), convex_cell_reference_preceding_p(), convex_effect_to_constant_path_effects_with_pointer_values(), effect_to_pointer_store_independent_effect(), effect_to_store_independent(), forloop_to_post_pv(), generic_eval_cell_with_points_to(), loop_initialization_to_transformer(), loop_to_post_pv(), region_exact_projection_along_parameters(), region_exact_projection_along_variable(), region_exact_projection_along_variables(), region_non_exact_projection_along_parameters(), region_non_exact_projection_along_variables(), simple_effect_to_constant_path_effects_with_pointer_values(), simple_reference_to_convex_reference_conversion(), single_pointer_assignment_to_post_pv(), and whileloop_to_post_pv().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_effects()

void free_effects ( effects p )

Definition at line 535 of file effects.c.

                              {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by quick_privatize_statement_pair().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ free_effects_classes()

void free_effects_classes ( effects_classes p )

Definition at line 493 of file effects.c.

                                              {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_entity_effects()

void free_entity_effects ( entity_effects p )

Definition at line 577 of file effects.c.

                                            {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_gap()

void free_gap ( gap p )

Definition at line 634 of file effects.c.

                      {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_interpreted_cell()

void free_interpreted_cell ( interpreted_cell p )

Definition at line 676 of file effects.c.

                                                {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_path_selector()

void free_path_selector ( path_selector p )

Definition at line 718 of file effects.c.

                                          {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_path_selectors()

void free_path_selectors ( path_selectors p )

Definition at line 773 of file effects.c.

                                            {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_persistant_expression_to_effects()

void free_persistant_expression_to_effects ( persistant_expression_to_effects p )

Definition at line 815 of file effects.c.

                                                                                {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_recursive_selector()

void free_recursive_selector ( recursive_selector p )

Definition at line 872 of file effects.c.

                                                    {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_statement_cell_relations()

void free_statement_cell_relations ( statement_cell_relations p )

Definition at line 914 of file effects.c.

                                                                {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_statement_effects()

void free_statement_effects ( statement_effects p )

Definition at line 971 of file effects.c.

                                                  {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by step_compile_analysed_module().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ gap_assign_contents()

void gap_assign_contents	(	gap	r,
		gap	v
	)

Definition at line 650 of file effects.c.

                                        {
   check_gap(r);
   check_gap(v);
   message_assert("defined references to domain gap",
                  gap_defined_p(r) && gap_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_gap_));
 }

References check_gap(), gap_defined_p(), and message_assert.

Here is the call graph for this function:

◆ gap_consistent_p()

bool gap_consistent_p ( gap p )

Definition at line 640 of file effects.c.

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

References check_gap(), and gen_consistent_p().

Here is the call graph for this function:

◆ gap_defined_p()

bool gap_defined_p ( gap p )

Definition at line 644 of file effects.c.

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

References gen_defined_p().

Referenced by gap_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ gap_non_recursive_free()

void gap_non_recursive_free ( gap p )

Definition at line 657 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ gen_action_cons()

list gen_action_cons	(	action	p,
		list	l
	)

Definition at line 93 of file effects.c.

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

References ACTION_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_action_kind_cons()

list gen_action_kind_cons	(	action_kind	p,
		list	l
	)

Definition at line 34 of file effects.c.

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

References ACTION_KIND_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_approximation_cons()

list gen_approximation_cons	(	approximation	p,
		list	l
	)

Definition at line 148 of file effects.c.

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

References APPROXIMATION_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_cell_cons()

list gen_cell_cons	(	cell	p,
		list	l
	)

Definition at line 262 of file effects.c.

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

References CELL_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_cell_interpretation_cons()

list gen_cell_interpretation_cons	(	cell_interpretation	p,
		list	l
	)

Definition at line 207 of file effects.c.

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

References CELL_INTERPRETATION_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_cell_relation_cons()

list gen_cell_relation_cons	(	cell_relation	p,
		list	l
	)

Definition at line 321 of file effects.c.

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

References CELL_RELATION_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_cell_relations_cons()

list gen_cell_relations_cons	(	cell_relations	p,
		list	l
	)

Definition at line 363 of file effects.c.

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

References CELL_RELATIONS_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_descriptor_cons()

list gen_descriptor_cons	(	descriptor	p,
		list	l
	)

Definition at line 405 of file effects.c.

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

References DESCRIPTOR_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_effect_cons()

list gen_effect_cons	(	effect	p,
		list	l
	)

Definition at line 464 of file effects.c.

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

References EFFECT_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_effects_classes_cons()

list gen_effects_classes_cons	(	effects_classes	p,
		list	l
	)

Definition at line 506 of file effects.c.

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

References EFFECTS_CLASSES_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_effects_cons()

list gen_effects_cons	(	effects	p,
		list	l
	)

Definition at line 548 of file effects.c.

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

References EFFECTS_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_entity_effects_cons()

list gen_entity_effects_cons	(	entity_effects	p,
		list	l
	)

Definition at line 590 of file effects.c.

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

References ENTITY_EFFECTS_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_gap_cons()

list gen_gap_cons	(	gap	p,
		list	l
	)

Definition at line 647 of file effects.c.

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

References GAP_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_interpreted_cell_cons()

list gen_interpreted_cell_cons	(	interpreted_cell	p,
		list	l
	)

Definition at line 689 of file effects.c.

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

References gen_typed_cons(), and INTERPRETED_CELL_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_path_selector_cons()

list gen_path_selector_cons	(	path_selector	p,
		list	l
	)

Definition at line 731 of file effects.c.

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

References gen_typed_cons(), and PATH_SELECTOR_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_path_selectors_cons()

list gen_path_selectors_cons	(	path_selectors	p,
		list	l
	)

Definition at line 786 of file effects.c.

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

References gen_typed_cons(), and PATH_SELECTORS_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_persistant_expression_to_effects_cons()

list gen_persistant_expression_to_effects_cons	(	persistant_expression_to_effects	p,
		list	l
	)

Definition at line 828 of file effects.c.

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

References gen_typed_cons(), and PERSISTANT_EXPRESSION_TO_EFFECTS_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_recursive_selector_cons()

list gen_recursive_selector_cons	(	recursive_selector	p,
		list	l
	)

Definition at line 885 of file effects.c.

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

References gen_typed_cons(), and RECURSIVE_SELECTOR_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_statement_cell_relations_cons()

list gen_statement_cell_relations_cons	(	statement_cell_relations	p,
		list	l
	)

Definition at line 927 of file effects.c.

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

References gen_typed_cons(), and STATEMENT_CELL_RELATIONS_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ gen_statement_effects_cons()

list gen_statement_effects_cons	(	statement_effects	p,
		list	l
	)

Definition at line 984 of file effects.c.

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

References gen_typed_cons(), and STATEMENT_EFFECTS_NEWGEN_DOMAIN.

Here is the call graph for this function:

◆ interpreted_cell_assign_contents()

void interpreted_cell_assign_contents	(	interpreted_cell	r,
		interpreted_cell	v
	)

Definition at line 692 of file effects.c.

                                                                               {
   check_interpreted_cell(r);
   check_interpreted_cell(v);
   message_assert("defined references to domain interpreted_cell",
                  interpreted_cell_defined_p(r) && interpreted_cell_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_interpreted_cell_));
 }

References check_interpreted_cell(), interpreted_cell_defined_p(), and message_assert.

Here is the call graph for this function:

◆ interpreted_cell_consistent_p()

bool interpreted_cell_consistent_p ( interpreted_cell p )

Definition at line 682 of file effects.c.

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

References check_interpreted_cell(), and gen_consistent_p().

Here is the call graph for this function:

◆ interpreted_cell_defined_p()

bool interpreted_cell_defined_p ( interpreted_cell p )

Definition at line 686 of file effects.c.

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

References gen_defined_p().

Referenced by interpreted_cell_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ interpreted_cell_non_recursive_free()

void interpreted_cell_non_recursive_free ( interpreted_cell p )

Definition at line 699 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ make_action()

action make_action	(	enum	action_utype,
		void *	val
	)

Definition at line 120 of file effects.c.

                                                       {
   return (action) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, action_domain, tag, val);
 }

References action_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by InitCompDesc(), make_action_read(), and make_action_write().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_action_kind()

action_kind make_action_kind	(	enum	action_kind_utype,
		void *	val
	)

Definition at line 62 of file effects.c.

                                                                      {
   return (action_kind) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, action_kind_domain, tag, val);
 }

References action_kind_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by make_action_kind_environment(), make_action_kind_store(), and make_action_kind_type_declaration().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_action_kind_environment()

action_kind make_action_kind_environment ( void )

Definition at line 68 of file effects.c.

                                                {
   return make_action_kind(is_action_kind_environment, UU);
 }

References is_action_kind_environment, make_action_kind(), and UU.

Here is the call graph for this function:

◆ make_action_kind_store()

action_kind make_action_kind_store ( void )

Definition at line 65 of file effects.c.

                                          {
   return make_action_kind(is_action_kind_store, UU);
 }

References is_action_kind_store, make_action_kind(), and UU.

Referenced by make_action_read_memory(), and make_action_write_memory().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_action_kind_type_declaration()

action_kind make_action_kind_type_declaration ( void )

Definition at line 71 of file effects.c.

                                                     {
   return make_action_kind(is_action_kind_type_declaration, UU);
 }

References is_action_kind_type_declaration, make_action_kind(), and UU.

Here is the call graph for this function:

◆ make_action_read()

action make_action_read ( action_kind _field_ )

Definition at line 123 of file effects.c.

                                              {
   return make_action(is_action_read, (void*)(intptr_t) _field_);
 }

References intptr_t, is_action_read, and make_action().

Referenced by make_action_read_memory().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_action_write()

action make_action_write ( action_kind _field_ )

Definition at line 126 of file effects.c.

                                               {
   return make_action(is_action_write, (void*)(intptr_t) _field_);
 }

References intptr_t, is_action_write, and make_action().

Referenced by make_action_write_memory().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_approximation()

approximation make_approximation	(	enum	approximation_utype,
		void *	val
	)

Definition at line 176 of file effects.c.

                                                                            {
   return (approximation) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, approximation_domain, tag, val);
 }

References approximation_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by effect_may_union(), effect_must_union(), generic_transform_sink_cells_from_matching_list(), make_address_of_pointer_value(), make_approximation_exact(), make_approximation_may(), make_approximation_must(), make_value_of_pointer_value(), region_union(), and summary_to_proper_reference().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_approximation_exact()

approximation make_approximation_exact ( void )

Definition at line 185 of file effects.c.

                                              {
   return make_approximation(is_approximation_exact, UU);
 }

References is_approximation_exact, make_approximation(), and UU.

Referenced by array_must_fully_written_by_regions_p(), call_to_post_pv(), compute_points_to_binded_set(), compute_send_regions(), convex_cell_reference_preceding_p(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), declaration_statement_to_points_to(), do_isolate_statement_preconditions_satisified_p(), equal_condition_to_points_to(), expression_to_post_pv(), filter_formal_context_according_to_actual_context(), free_to_post_pv(), gen_may_constant_paths(), gen_must_constant_paths(), generic_effect_find_aliases_with_simple_pointer_values(), global_source_to_sinks(), heap_intrinsic_to_post_pv(), kill_may_set(), loop_initialization_to_transformer(), malloc_to_points_to_sinks(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), null_equal_condition_to_points_to(), opgen_null_location(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_translation_of_formal_parameters(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_arcs_from_pt_map(), remove_points_to_arcs(), simple_reference_to_convex_reference_conversion(), struct_initialization_to_points_to(), upgrade_approximations_in_points_to_set(), and user_call_to_points_to_fast_interprocedural().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_approximation_may()

approximation make_approximation_may ( void )

Definition at line 179 of file effects.c.

                                            {
   return make_approximation(is_approximation_may, UU);
 }

References is_approximation_may, make_approximation(), and UU.

Referenced by anywhere_effect(), anywhere_source_to_sinks(), assignment_to_points_to(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), cells_to_read_or_write_effects(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), do_isolate_statement_preconditions_satisified_p(), exact_to_may_points_to_set(), filter_formal_context_according_to_actual_context(), formal_source_to_sinks(), free_to_post_pv(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), gen_must_constant_paths(), gen_must_set(), generic_effect_find_aliases_with_simple_pointer_values(), generic_eval_cell_with_points_to(), generic_transform_sink_cells_from_matching_list(), global_source_to_sinks(), heap_effect(), list_assignment_to_points_to(), lower_points_to_approximations_according_to_write_effects(), malloc_to_points_to_sinks(), merge_points_to_set(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), pointer_formal_parameter_to_stub_points_to(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_path_to_k_limited_points_to_path(), points_to_translation_of_formal_parameters(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_points_to_arcs(), single_pointer_assignment_to_post_pv(), source_to_sinks(), struct_assignment_to_points_to(), use_default_sink_cell(), and user_call_to_points_to_fast_interprocedural().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_approximation_must()

approximation make_approximation_must ( void )

Definition at line 182 of file effects.c.

                                             {
   return make_approximation(is_approximation_must, UU);
 }

References is_approximation_must, make_approximation(), and UU.

Here is the call graph for this function:

◆ make_cell()

cell make_cell	(	enum	cell_utype,
		void *	val
	)

Definition at line 290 of file effects.c.

                                                 {
   return (cell) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, cell_domain, tag, val);
 }

References cell_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by convex_cell_reference_preceding_p(), generic_transform_sink_cells_from_matching_list(), loop_initialization_to_transformer(), make_cell_gap(), make_cell_preference(), make_cell_reference(), and make_simple_pv_from_simple_effects().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_cell_gap()

cell make_cell_gap ( gap _field_ )

Definition at line 299 of file effects.c.

                                 {
   return make_cell(is_cell_gap, (void*)(intptr_t) _field_);
 }

References intptr_t, is_cell_gap, and make_cell().

Here is the call graph for this function:

◆ make_cell_interpretation()

cell_interpretation make_cell_interpretation	(	enum	cell_interpretation_utype,
		void *	val
	)

Definition at line 234 of file effects.c.

                                                                                              {
   return (cell_interpretation) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, cell_interpretation_domain, tag, val);
 }

References cell_interpretation_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by make_cell_interpretation_address_of(), and make_cell_interpretation_value_of().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_cell_interpretation_address_of()

cell_interpretation make_cell_interpretation_address_of ( void )

Definition at line 240 of file effects.c.

                                                               {
   return make_cell_interpretation(is_cell_interpretation_address_of, UU);
 }

References is_cell_interpretation_address_of, make_cell_interpretation(), and UU.

Referenced by binary_arithmetic_operator_to_post_pv(), call_to_post_pv(), external_call_to_post_pv(), forloop_to_post_pv(), heap_intrinsic_to_post_pv(), loop_to_post_pv(), make_address_of_pointer_value(), multiple_pointer_assignment_to_post_pv(), safe_intrinsic_to_post_pv(), single_pointer_assignment_to_post_pv(), update_operator_to_post_pv(), and whileloop_to_post_pv().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_cell_interpretation_value_of()

cell_interpretation make_cell_interpretation_value_of ( void )

Definition at line 237 of file effects.c.

                                                             {
   return make_cell_interpretation(is_cell_interpretation_value_of, UU);
 }

References is_cell_interpretation_value_of, make_cell_interpretation(), and UU.

Referenced by assignment_to_post_pv(), call_to_post_pv(), expression_to_post_pv(), free_to_post_pv(), make_address_of_pointer_value(), and make_value_of_pointer_value().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_cell_preference()

cell make_cell_preference ( preference _field_ )

Definition at line 296 of file effects.c.

                                               {
   return make_cell(is_cell_preference, (void*)(intptr_t) _field_);
 }

References intptr_t, is_cell_preference, and make_cell().

Here is the call graph for this function:

◆ make_cell_reference()

cell make_cell_reference ( reference _field_ )

Definition at line 293 of file effects.c.

                                             {
   return make_cell(is_cell_reference, (void*)(intptr_t) _field_);
 }

References intptr_t, is_cell_reference, and make_cell().

Referenced by anywhere_effect(), anywhere_source_to_sinks(), application_to_points_to_sinks(), array_formal_parameter_to_stub_points_to(), array_to_constant_paths(), assignment_to_points_to(), binary_intrinsic_call_to_points_to_sinks(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), call_to_points_to_sinks(), call_to_post_pv(), compute_points_to_binded_set(), compute_points_to_kill_set(), create_pointer_to_array_stub_points_to(), create_scalar_stub_sink_cell(), create_stub_points_to(), derived_formal_parameter_to_stub_points_to(), effect_may_union(), effect_must_union(), entity_to_cell(), entity_to_sinks(), flow_sensitive_malloc_to_points_to_sinks(), generic_effect_find_aliases_with_simple_pointer_values(), heap_effect(), heap_intrinsic_to_post_pv(), init_points_to_analysis(), make_anywhere_anywhere_pvs(), make_anywhere_cell(), make_anywhere_points_to_cell(), make_nowhere_cell(), make_null_pointer_value_cell(), make_typed_nowhere_cell(), make_undefined_pointer_value_cell(), max_module(), module_initial_parameter_pv(), opkill_may_name(), opkill_must_name(), points_to_anywhere(), points_to_anywhere_typed(), points_to_cell_to_upper_bound_points_to_cells(), points_to_cell_translation(), points_to_cells_minimal_upper_bound(), points_to_cells_parameters(), points_to_cells_pointer_arguments(), points_to_with_stripped_sink(), proper_to_summary_simple_effect(), reference_condition_to_points_to(), reference_dereferencing_to_points_to(), reference_to_points_to_sinks(), reference_to_points_to_translations(), reference_to_sinks(), remove_arcs_from_pt_map(), simple_cell_to_convex_cell_conversion(), simple_pv_translate(), simple_reference_to_convex_reference_conversion(), source_to_sinks(), struct_assignment_to_points_to(), struct_variable_to_pointer_locations(), typedef_formal_parameter_to_stub_points_to(), user_call_to_points_to_sinks(), and variable_to_pointer_locations().

Here is the call graph for this function:

◆ make_cell_relation()

cell_relation make_cell_relation	(	interpreted_cell	a1,
		interpreted_cell	a2,
		approximation	a3,
		descriptor	a4
	)

Definition at line 341 of file effects.c.

                                                                                                             {
   return (cell_relation) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, cell_relation_domain, a1, a2, a3, a4);
 }

References cell_relation_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by make_address_of_pointer_value(), and make_value_of_pointer_value().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_cell_relations()

cell_relations make_cell_relations ( list a )

Definition at line 383 of file effects.c.

                                            {
   return (cell_relations) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, cell_relations_domain, a);
 }

References cell_relations_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by db_put_in_simple_pv(), db_put_initial_simple_pv(), db_put_out_simple_pv(), db_put_program_simple_pv(), sequence_to_post_pv(), and statement_to_post_pv().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_descriptor()

descriptor make_descriptor	(	enum	descriptor_utype,
		void *	val
	)

Definition at line 433 of file effects.c.

                                                                   {
   return (descriptor) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, descriptor_domain, tag, val);
 }

References descriptor_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by generic_reference_to_points_to_matching_list(), generic_transform_sink_cells_from_matching_list(), make_descriptor_convex(), make_descriptor_convexunion(), make_descriptor_none(), simple_cell_to_simple_cell_conversion(), and simple_reference_to_simple_reference_conversion().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_descriptor_convex()

descriptor make_descriptor_convex ( Psysteme _field_ )

Definition at line 439 of file effects.c.

                                                     {
   return make_descriptor(is_descriptor_convex, (void*)(intptr_t) _field_);
 }

References intptr_t, is_descriptor_convex, and make_descriptor().

Referenced by filter_live_out_regions_statement(), and simple_reference_to_convex_reference_conversion().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_descriptor_convexunion()

descriptor make_descriptor_convexunion ( list _field_ )

Definition at line 436 of file effects.c.

                                                      {
   return make_descriptor(is_descriptor_convexunion, (void*)(intptr_t) _field_);
 }

References intptr_t, is_descriptor_convexunion, and make_descriptor().

Here is the call graph for this function:

◆ make_descriptor_none()

descriptor make_descriptor_none ( void )

Definition at line 442 of file effects.c.

                                       {
   return make_descriptor(is_descriptor_none, UU);
 }

References is_descriptor_none, make_descriptor(), and UU.

Referenced by anywhere_effect(), anywhere_source_to_sinks(), assignment_to_points_to(), call_to_post_pv(), compute_points_to_binded_set(), compute_points_to_gen_set(), create_pointer_to_array_stub_points_to(), create_stub_points_to(), declaration_statement_to_points_to(), dereferencing_subscript_to_points_to(), equal_condition_to_points_to(), expression_to_post_pv(), filter_formal_context_according_to_actual_context(), filter_formal_out_context_according_to_formal_in_context(), free_to_post_pv(), freed_list_to_points_to(), fuse_points_to_sink_cells(), gen_may_constant_paths(), gen_may_set(), gen_must_constant_paths(), gen_must_set(), generic_effect_find_aliases_with_simple_pointer_values(), generic_transform_sink_cells_from_matching_list(), global_source_to_sinks(), heap_effect(), heap_intrinsic_to_post_pv(), k_limit_points_to(), kill_may_set(), kill_pointer_value(), loop_initialization_to_transformer(), lower_points_to_approximations_according_to_write_effects(), make_anywhere_anywhere_pvs(), make_simple_pv_from_simple_effects(), malloc_to_points_to_sinks(), merge_points_to_set(), module_initial_parameter_pv(), new_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context(), new_recursive_filter_formal_context_according_to_actual_context_for_pointer_pair(), non_equal_condition_to_points_to(), null_equal_condition_to_points_to(), null_to_sinks(), offset_cells(), opgen_null_location(), pointer_formal_parameter_to_stub_points_to(), points_to_anywhere(), points_to_anywhere_typed(), points_to_binding_arguments(), points_to_nowhere(), points_to_path_to_k_limited_points_to_path(), points_to_set_block_projection(), points_to_translation_of_formal_parameters(), points_to_translation_of_struct_formal_parameter(), points_to_with_stripped_sink(), recursive_filter_formal_context_according_to_actual_context(), reference_condition_to_points_to(), remove_arcs_from_pt_map(), remove_points_to_arcs(), remove_points_to_cell(), simple_pv_may_union(), simple_pv_must_union(), simple_pv_translate(), single_pointer_assignment_to_post_pv(), source_to_sinks(), struct_assignment_to_points_to(), struct_initialization_to_points_to(), upgrade_approximations_in_points_to_set(), use_default_sink_cell(), and user_call_to_points_to_fast_interprocedural().

Here is the call graph for this function:

◆ make_effect()

effect make_effect	(	cell	a1,
		action	a2,
		approximation	a3,
		descriptor	a4
	)

Definition at line 484 of file effects.c.

                                                                         {
   return (effect) gen_alloc(5*sizeof(gen_chunk), GEN_CHECK_ALLOC, effect_domain, a1, a2, a3, a4);
 }

References effect_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by anywhere_effect(), c_convex_effects_on_actual_parameter_forward_translation(), c_convex_effects_on_formal_parameter_backward_translation(), call_to_post_pv(), convex_cell_reference_preceding_p(), expression_to_post_pv(), filter_live_out_regions_statement(), free_to_post_pv(), generic_effect_find_aliases_with_simple_pointer_values(), generic_transform_sink_cells_from_matching_list(), heap_effect(), heap_intrinsic_to_post_pv(), loop_initialization_to_transformer(), simple_reference_to_convex_reference_conversion(), single_pointer_assignment_to_post_pv(), and use_default_sink_cell().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_effects()

effects make_effects ( list a )

Definition at line 568 of file effects.c.

                              {
   return (effects) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, effects_domain, a);
 }

References effects_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by add_alias_lists_callee(), add_parameter_aliases_for_this_call_site(), add_unmatched_alias_pairs(), compare_matched_alias_pairs(), compare_unmatched_alias_pairs(), list_to_effects(), quick_privatize_statement_pair(), step_recv_regions_list_store(), step_send_regions_list_store(), and unite_lists_containing_same_exact_region().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_effects_classes()

effects_classes make_effects_classes ( list a )

Definition at line 526 of file effects.c.

                                              {
   return (effects_classes) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, effects_classes_domain, a);
 }

References effects_classes_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by alias_classes(), alias_lists(), in_alias_pairs(), and out_alias_pairs().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_entity_effects()

entity_effects make_entity_effects ( void )

Definition at line 610 of file effects.c.

                                          {
   return (entity_effects) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, entity_effects_domain);
 }

References entity_effects_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

◆ make_gap()

gap make_gap	(	entity	a1,
		path_selectors	a2
	)

Definition at line 667 of file effects.c.

                                            {
   return (gap) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, gap_domain, a1, a2);
 }

References gap_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

◆ make_interpreted_cell()

interpreted_cell make_interpreted_cell	(	cell	a1,
		cell_interpretation	a2
	)

Definition at line 709 of file effects.c.

                                                                         {
   return (interpreted_cell) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, interpreted_cell_domain, a1, a2);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and interpreted_cell_domain.

Referenced by make_address_of_pointer_value(), and make_value_of_pointer_value().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_path_selector()

path_selector make_path_selector	(	enum	path_selector_utype,
		void *	val
	)

Definition at line 758 of file effects.c.

                                                                            {
   return (path_selector) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, path_selector_domain, tag, val);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and path_selector_domain.

Referenced by make_path_selector_expression(), and make_path_selector_recursive_selector().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_path_selector_expression()

path_selector make_path_selector_expression ( expression _field_ )

Definition at line 761 of file effects.c.

                                                                 {
   return make_path_selector(is_path_selector_expression, (void*)(intptr_t) _field_);
 }

References intptr_t, is_path_selector_expression, and make_path_selector().

Here is the call graph for this function:

◆ make_path_selector_recursive_selector()

path_selector make_path_selector_recursive_selector ( recursive_selector _field_ )

Definition at line 764 of file effects.c.

                                                                                 {
   return make_path_selector(is_path_selector_recursive_selector, (void*)(intptr_t) _field_);
 }

References intptr_t, is_path_selector_recursive_selector, and make_path_selector().

Here is the call graph for this function:

◆ make_path_selectors()

path_selectors make_path_selectors ( list a )

Definition at line 806 of file effects.c.

                                            {
   return (path_selectors) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, path_selectors_domain, a);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and path_selectors_domain.

Here is the call graph for this function:

◆ make_persistant_expression_to_effects()

persistant_expression_to_effects make_persistant_expression_to_effects ( void )

Definition at line 848 of file effects.c.

                                                                              {
   return (persistant_expression_to_effects) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, persistant_expression_to_effects_domain);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and persistant_expression_to_effects_domain.

Here is the call graph for this function:

◆ make_recursive_selector()

recursive_selector make_recursive_selector	(	list	a1,
		expression	a2
	)

Definition at line 905 of file effects.c.

                                                                    {
   return (recursive_selector) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, recursive_selector_domain, a1, a2);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and recursive_selector_domain.

Here is the call graph for this function:

◆ make_statement_cell_relations()

statement_cell_relations make_statement_cell_relations ( void )

Definition at line 947 of file effects.c.

                                                              {
   return (statement_cell_relations) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, statement_cell_relations_domain);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and statement_cell_relations_domain.

Here is the call graph for this function:

◆ make_statement_effects()

statement_effects make_statement_effects ( void )

Definition at line 1004 of file effects.c.

                                                {
   return (statement_effects) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, statement_effects_domain);
 }

References gen_alloc(), GEN_CHECK_ALLOC, and statement_effects_domain.

Here is the call graph for this function:

◆ path_selector_assign_contents()

void path_selector_assign_contents	(	path_selector	r,
		path_selector	v
	)

Definition at line 734 of file effects.c.

                                                                      {
   check_path_selector(r);
   check_path_selector(v);
   message_assert("defined references to domain path_selector",
                  path_selector_defined_p(r) && path_selector_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_path_selector_));
 }

References check_path_selector(), message_assert, and path_selector_defined_p().

Here is the call graph for this function:

◆ path_selector_consistent_p()

bool path_selector_consistent_p ( path_selector p )

Definition at line 724 of file effects.c.

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

References check_path_selector(), and gen_consistent_p().

Here is the call graph for this function:

◆ path_selector_defined_p()

bool path_selector_defined_p ( path_selector p )

Definition at line 728 of file effects.c.

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

References gen_defined_p().

Referenced by path_selector_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ path_selector_non_recursive_free()

void path_selector_non_recursive_free ( path_selector p )

Definition at line 741 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ path_selector_tag_as_string()

string path_selector_tag_as_string ( enum path_selector_utype )

Definition at line 751 of file effects.c.

                                                                  {
   switch (tag) {
   case is_path_selector_expression: return "expression";
   case is_path_selector_recursive_selector: return "recursive_selector";
   default: return string_undefined;
   }
 }

References is_path_selector_expression, is_path_selector_recursive_selector, and string_undefined.

◆ path_selectors_assign_contents()

void path_selectors_assign_contents	(	path_selectors	r,
		path_selectors	v
	)

Definition at line 789 of file effects.c.

                                                                         {
   check_path_selectors(r);
   check_path_selectors(v);
   message_assert("defined references to domain path_selectors",
                  path_selectors_defined_p(r) && path_selectors_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_path_selectors_));
 }

References check_path_selectors(), message_assert, and path_selectors_defined_p().

Here is the call graph for this function:

◆ path_selectors_consistent_p()

bool path_selectors_consistent_p ( path_selectors p )

Definition at line 779 of file effects.c.

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

References check_path_selectors(), and gen_consistent_p().

Here is the call graph for this function:

◆ path_selectors_defined_p()

bool path_selectors_defined_p ( path_selectors p )

Definition at line 783 of file effects.c.

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

References gen_defined_p().

Referenced by path_selectors_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ path_selectors_non_recursive_free()

void path_selectors_non_recursive_free ( path_selectors p )

Definition at line 796 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ persistant_expression_to_effects_assign_contents()

void persistant_expression_to_effects_assign_contents	(	persistant_expression_to_effects	r,
		persistant_expression_to_effects	v
	)

Definition at line 831 of file effects.c.

                                                                                                                               {
   check_persistant_expression_to_effects(r);
   check_persistant_expression_to_effects(v);
   message_assert("defined references to domain persistant_expression_to_effects",
                  persistant_expression_to_effects_defined_p(r) && persistant_expression_to_effects_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_persistant_expression_to_effects_));
 }

References check_persistant_expression_to_effects(), message_assert, and persistant_expression_to_effects_defined_p().

Here is the call graph for this function:

◆ persistant_expression_to_effects_consistent_p()

bool persistant_expression_to_effects_consistent_p ( persistant_expression_to_effects p )

Definition at line 821 of file effects.c.

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

References check_persistant_expression_to_effects(), and gen_consistent_p().

Here is the call graph for this function:

◆ persistant_expression_to_effects_defined_p()

bool persistant_expression_to_effects_defined_p ( persistant_expression_to_effects p )

Definition at line 825 of file effects.c.

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

References gen_defined_p().

Referenced by persistant_expression_to_effects_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ persistant_expression_to_effects_non_recursive_free()

void persistant_expression_to_effects_non_recursive_free ( persistant_expression_to_effects p )

Definition at line 838 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ read_action()

action read_action ( FILE * f )

Definition at line 110 of file effects.c.

                             {
   return (action) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_action_kind()

action_kind read_action_kind ( FILE * f )

Definition at line 51 of file effects.c.

                                       {
   return (action_kind) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_approximation()

approximation read_approximation ( FILE * f )

Definition at line 165 of file effects.c.

                                           {
   return (approximation) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_cell()

cell read_cell ( FILE * f )

Definition at line 279 of file effects.c.

                         {
   return (cell) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_cell_interpretation()

cell_interpretation read_cell_interpretation ( FILE * f )

Definition at line 224 of file effects.c.

                                                       {
   return (cell_interpretation) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_cell_relation()

cell_relation read_cell_relation ( FILE * f )

Definition at line 338 of file effects.c.

                                           {
   return (cell_relation) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_cell_relations()

cell_relations read_cell_relations ( FILE * f )

Definition at line 380 of file effects.c.

                                             {
   return (cell_relations) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_descriptor()

descriptor read_descriptor ( FILE * f )

Definition at line 422 of file effects.c.

                                     {
   return (descriptor) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_effect()

effect read_effect ( FILE * f )

Definition at line 481 of file effects.c.

                             {
   return (effect) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_effects()

effects read_effects ( FILE * f )

Definition at line 565 of file effects.c.

                               {
   return (effects) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_effects_classes()

effects_classes read_effects_classes ( FILE * f )

Definition at line 523 of file effects.c.

                                               {
   return (effects_classes) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_entity_effects()

entity_effects read_entity_effects ( FILE * f )

Definition at line 607 of file effects.c.

                                             {
   return (entity_effects) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_gap()

gap read_gap ( FILE * f )

Definition at line 664 of file effects.c.

                       {
   return (gap) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_interpreted_cell()

interpreted_cell read_interpreted_cell ( FILE * f )

Definition at line 706 of file effects.c.

                                                 {
   return (interpreted_cell) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_path_selector()

path_selector read_path_selector ( FILE * f )

Definition at line 748 of file effects.c.

                                           {
   return (path_selector) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_path_selectors()

path_selectors read_path_selectors ( FILE * f )

Definition at line 803 of file effects.c.

                                             {
   return (path_selectors) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_persistant_expression_to_effects()

persistant_expression_to_effects read_persistant_expression_to_effects ( FILE * f )

Definition at line 845 of file effects.c.

                                                                                 {
   return (persistant_expression_to_effects) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_recursive_selector()

recursive_selector read_recursive_selector ( FILE * f )

Definition at line 902 of file effects.c.

                                                     {
   return (recursive_selector) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_statement_cell_relations()

statement_cell_relations read_statement_cell_relations ( FILE * f )

Definition at line 944 of file effects.c.

                                                                 {
   return (statement_cell_relations) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_statement_effects()

statement_effects read_statement_effects ( FILE * f )

Definition at line 1001 of file effects.c.

                                                   {
   return (statement_effects) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ recursive_selector_assign_contents()

void recursive_selector_assign_contents	(	recursive_selector	r,
		recursive_selector	v
	)

Definition at line 888 of file effects.c.

                                                                                     {
   check_recursive_selector(r);
   check_recursive_selector(v);
   message_assert("defined references to domain recursive_selector",
                  recursive_selector_defined_p(r) && recursive_selector_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_recursive_selector_));
 }

References check_recursive_selector(), message_assert, and recursive_selector_defined_p().

Here is the call graph for this function:

◆ recursive_selector_consistent_p()

bool recursive_selector_consistent_p ( recursive_selector p )

Definition at line 878 of file effects.c.

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

References check_recursive_selector(), and gen_consistent_p().

Here is the call graph for this function:

◆ recursive_selector_defined_p()

bool recursive_selector_defined_p ( recursive_selector p )

Definition at line 882 of file effects.c.

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

References gen_defined_p().

Referenced by recursive_selector_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ recursive_selector_non_recursive_free()

void recursive_selector_non_recursive_free ( recursive_selector p )

Definition at line 895 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ statement_cell_relations_assign_contents()

void statement_cell_relations_assign_contents	(	statement_cell_relations	r,
		statement_cell_relations	v
	)

Definition at line 930 of file effects.c.

                                                                                                       {
   check_statement_cell_relations(r);
   check_statement_cell_relations(v);
   message_assert("defined references to domain statement_cell_relations",
                  statement_cell_relations_defined_p(r) && statement_cell_relations_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_statement_cell_relations_));
 }

References check_statement_cell_relations(), message_assert, and statement_cell_relations_defined_p().

Here is the call graph for this function:

◆ statement_cell_relations_consistent_p()

bool statement_cell_relations_consistent_p ( statement_cell_relations p )

Definition at line 920 of file effects.c.

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

References check_statement_cell_relations(), and gen_consistent_p().

Here is the call graph for this function:

◆ statement_cell_relations_defined_p()

bool statement_cell_relations_defined_p ( statement_cell_relations p )

Definition at line 924 of file effects.c.

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

References gen_defined_p().

Referenced by statement_cell_relations_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ statement_cell_relations_non_recursive_free()

void statement_cell_relations_non_recursive_free ( statement_cell_relations p )

Definition at line 937 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ statement_effects_assign_contents()

void statement_effects_assign_contents	(	statement_effects	r,
		statement_effects	v
	)

Definition at line 987 of file effects.c.

                                                                                  {
   check_statement_effects(r);
   check_statement_effects(v);
   message_assert("defined references to domain statement_effects",
                  statement_effects_defined_p(r) && statement_effects_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_statement_effects_));
 }

References check_statement_effects(), message_assert, and statement_effects_defined_p().

Here is the call graph for this function:

◆ statement_effects_consistent_p()

bool statement_effects_consistent_p ( statement_effects p )

Definition at line 977 of file effects.c.

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

References check_statement_effects(), and gen_consistent_p().

Here is the call graph for this function:

◆ statement_effects_defined_p()

bool statement_effects_defined_p ( statement_effects p )

Definition at line 981 of file effects.c.

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

References gen_defined_p().

Referenced by statement_effects_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ statement_effects_non_recursive_free()

void statement_effects_non_recursive_free ( statement_effects p )

Definition at line 994 of file effects.c.

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

References free().

Here is the call graph for this function:

◆ update_entity_effects()

void update_entity_effects	(	entity_effects	f,
		entity	k,
		effects	v
	)

Definition at line 616 of file effects.c.

                                                                   {
   HASH_UPDATE(p, p, entity_effects_hash_table(f), k, (intptr_t)v);
 }

References entity_effects_hash_table, f(), HASH_UPDATE, and intptr_t.

Here is the call graph for this function:

◆ update_persistant_expression_to_effects()

void update_persistant_expression_to_effects	(	persistant_expression_to_effects	f,
		expression	k,
		effects	v
	)

Definition at line 854 of file effects.c.

                                                                                                           {
   HASH_UPDATE(p, p, persistant_expression_to_effects_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_UPDATE, intptr_t, and persistant_expression_to_effects_hash_table.

Here is the call graph for this function:

◆ update_statement_cell_relations()

void update_statement_cell_relations	(	statement_cell_relations	f,
		statement	k,
		cell_relations	v
	)

Definition at line 953 of file effects.c.

                                                                                                 {
   HASH_UPDATE(p, p, statement_cell_relations_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_UPDATE, intptr_t, and statement_cell_relations_hash_table.

Here is the call graph for this function:

◆ update_statement_effects()

void update_statement_effects	(	statement_effects	f,
		statement	k,
		effects	v
	)

Definition at line 1010 of file effects.c.

                                                                            {
   HASH_UPDATE(p, p, statement_effects_hash_table(f), k, (intptr_t)v);
 }

References f(), HASH_UPDATE, intptr_t, and statement_effects_hash_table.

Here is the call graph for this function:

◆ write_action()

void write_action	(	FILE *	f,
		action	p
	)

Definition at line 107 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_action_kind()

void write_action_kind	(	FILE *	f,
		action_kind	p
	)

Definition at line 48 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_approximation()

void write_approximation	(	FILE *	f,
		approximation	p
	)

Definition at line 162 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_cell()

void write_cell	(	FILE *	f,
		cell	p
	)

Definition at line 276 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_cell_interpretation()

void write_cell_interpretation	(	FILE *	f,
		cell_interpretation	p
	)

Definition at line 221 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_cell_relation()

void write_cell_relation	(	FILE *	f,
		cell_relation	p
	)

Definition at line 335 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_cell_relations()

void write_cell_relations	(	FILE *	f,
		cell_relations	p
	)

Definition at line 377 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_descriptor()

void write_descriptor	(	FILE *	f,
		descriptor	p
	)

Definition at line 419 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_effect()

void write_effect	(	FILE *	f,
		effect	p
	)

Definition at line 478 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_effects()

void write_effects	(	FILE *	f,
		effects	p
	)

Definition at line 562 of file effects.c.

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

References f(), and gen_write().

Referenced by potential_out_effects_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ write_effects_classes()

void write_effects_classes	(	FILE *	f,
		effects_classes	p
	)

Definition at line 520 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_entity_effects()

void write_entity_effects	(	FILE *	f,
		entity_effects	p
	)

Definition at line 604 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_gap()

void write_gap	(	FILE *	f,
		gap	p
	)

Definition at line 661 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_interpreted_cell()

void write_interpreted_cell	(	FILE *	f,
		interpreted_cell	p
	)

Definition at line 703 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_path_selector()

void write_path_selector	(	FILE *	f,
		path_selector	p
	)

Definition at line 745 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_path_selectors()

void write_path_selectors	(	FILE *	f,
		path_selectors	p
	)

Definition at line 800 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_persistant_expression_to_effects()

void write_persistant_expression_to_effects	(	FILE *	f,
		persistant_expression_to_effects	p
	)

Definition at line 842 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_recursive_selector()

void write_recursive_selector	(	FILE *	f,
		recursive_selector	p
	)

Definition at line 899 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_statement_cell_relations()

void write_statement_cell_relations	(	FILE *	f,
		statement_cell_relations	p
	)

Definition at line 941 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

◆ write_statement_effects()

void write_statement_effects	(	FILE *	f,
		statement_effects	p
	)

Definition at line 998 of file effects.c.

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

References f(), and gen_write().

Here is the call graph for this function:

Enumerations
enum	action_kind_utype { is_action_kind_store , is_action_kind_environment , is_action_kind_type_declaration }

enum	action_utype { is_action_read , is_action_write }

enum	approximation_utype { is_approximation_may , is_approximation_must , is_approximation_exact }

enum	cell_interpretation_utype { is_cell_interpretation_value_of , is_cell_interpretation_address_of }

enum	cell_utype { is_cell_reference , is_cell_preference , is_cell_gap }

enum	descriptor_utype { is_descriptor_convexunion , is_descriptor_convex , is_descriptor_none }

enum	path_selector_utype { is_path_selector_expression , is_path_selector_recursive_selector }

Data Structures

Macros

Typedefs

Enumerations

Functions

Macro Definition Documentation

◆ _gen_effects_start

◆ _newgen_action_domain_defined_

◆ _newgen_action_kind_domain_defined_

◆ _newgen_approximation_domain_defined_

◆ _newgen_cell_domain_defined_

◆ _newgen_cell_interpretation_domain_defined_

◆ _newgen_cell_relation_domain_defined_

◆ _newgen_cell_relations_domain_defined_

◆ _newgen_descriptor_domain_defined_

◆ _newgen_effect_domain_defined_

◆ _newgen_effects_classes_domain_defined_

◆ _newgen_effects_domain_defined_

◆ _newgen_entity_domain_defined_

◆ _newgen_entity_effects_domain_defined_

◆ _newgen_expression_domain_defined_

◆ _newgen_gap_domain_defined_

◆ _newgen_interpreted_cell_domain_defined_

◆ _newgen_path_selector_domain_defined_

◆ _newgen_path_selectors_domain_defined_

◆ _newgen_persistant_expression_to_effects_domain_defined_

◆ _newgen_preference_domain_defined_

◆ _newgen_Psysteme_domain_defined_

◆ _newgen_recursive_selector_domain_defined_

◆ _newgen_reference_domain_defined_

◆ _newgen_statement_cell_relations_domain_defined_

◆ _newgen_statement_domain_defined_

◆ _newgen_statement_effects_domain_defined_

◆ ACTION

◆ ACTION_

◆ action_CAST

◆ ACTION_CAST

◆ action_domain

◆ action_domain_number

◆ ACTION_KIND

◆ ACTION_KIND_

◆ action_kind_CAST

◆ ACTION_KIND_CAST

◆ action_kind_domain

◆ action_kind_domain_number

◆ action_kind_environment

◆ action_kind_environment_

◆ action_kind_environment_p

◆ ACTION_KIND_NEWGEN_DOMAIN

◆ action_kind_NEWGEN_DOMAIN

◆ action_kind_store

◆ action_kind_store_

◆ action_kind_store_p

◆ action_kind_tag

◆ ACTION_KIND_TYPE

◆ action_kind_TYPE

◆ action_kind_type_declaration

◆ action_kind_type_declaration_

◆ action_kind_type_declaration_p

◆ action_kind_undefined

◆ action_kind_undefined_p

◆ ACTION_NEWGEN_DOMAIN

◆ action_NEWGEN_DOMAIN

◆ action_read

◆ action_read_

◆ action_read_p

◆ action_tag

◆ ACTION_TYPE

◆ action_TYPE

◆ action_undefined

◆ action_undefined_p

◆ action_write

◆ action_write_

◆ action_write_p

◆ APPROXIMATION

◆ APPROXIMATION_

◆ approximation_CAST

◆ APPROXIMATION_CAST

◆ approximation_domain

◆ approximation_domain_number