PIPS
|
#include "linear.h"
#include "newgen.h"
#include "ri.h"
#include "effects.h"
#include "points_to_private.h"
Go to the source code of this file.
Data Structures | |
struct | sensitivity_information |
#define ANY_MODULE_NAME "*ANY_MODULE*" |
Definition at line 31 of file effects-util-local.h.
#define ANYWHERE_LOCATION "*ANYWHERE*" |
Definition at line 32 of file effects-util-local.h.
#define BETA_PREFIX "BETA" |
Definition at line 44 of file effects-util-local.h.
#define cell_relation_approximation_tag | ( | cr | ) | approximation_tag(cell_relation_approximation(cr)) |
Definition at line 180 of file effects-util-local.h.
#define cell_relation_exact_p | ( | cr | ) | approximation_tag(cell_relation_approximation(cr))==is_approximation_exact |
Definition at line 186 of file effects-util-local.h.
#define cell_relation_first_address_of_p | ( | cr | ) | cell_interpretation_address_of_p(interpreted_cell_cell_interpretation(cell_relation_first(cr))) |
Definition at line 165 of file effects-util-local.h.
#define cell_relation_first_cell | ( | cr | ) | interpreted_cell_cell(cell_relation_first(cr)) |
Definition at line 156 of file effects-util-local.h.
#define cell_relation_first_interpretation_tag | ( | cr | ) | cell_interpretation_tag(interpreted_cell_cell_interpretation(cell_relation_first(cr))) |
Definition at line 159 of file effects-util-local.h.
#define cell_relation_first_value_of_p | ( | cr | ) | cell_interpretation_value_of_p(interpreted_cell_cell_interpretation(cell_relation_first(cr))) |
Definition at line 162 of file effects-util-local.h.
#define cell_relation_may_p | ( | cr | ) | approximation_tag(cell_relation_approximation(cr))==is_approximation_may |
Definition at line 183 of file effects-util-local.h.
#define cell_relation_second_address_of_p | ( | cr | ) | cell_interpretation_address_of_p(interpreted_cell_cell_interpretation(cell_relation_second(cr))) |
Definition at line 177 of file effects-util-local.h.
#define cell_relation_second_cell | ( | cr | ) | interpreted_cell_cell(cell_relation_second(cr)) |
Definition at line 168 of file effects-util-local.h.
#define cell_relation_second_interpretation_tag | ( | cr | ) | cell_interpretation_tag(interpreted_cell_cell_interpretation(cell_relation_second(cr))) |
Definition at line 171 of file effects-util-local.h.
#define cell_relation_second_value_of_p | ( | cr | ) | cell_interpretation_value_of_p(interpreted_cell_cell_interpretation(cell_relation_second(cr))) |
Definition at line 174 of file effects-util-local.h.
#define effect_action_tag | ( | eff | ) | action_tag(effect_action(eff)) |
Definition at line 52 of file effects-util-local.h.
#define effect_any_entity | ( | e | ) | effect_to_entity(e) |
some useful SHORTHANDS for EFFECT:
FI: Let's hope this one is not used as lhs!
Definition at line 51 of file effects-util-local.h.
#define effect_any_reference | ( | e | ) | (cell_preference_p(effect_cell(e))? preference_reference(cell_preference(effect_cell(e))) : cell_reference(effect_cell(e))) |
FI: cannot be used as a left hand side.
Definition at line 131 of file effects-util-local.h.
#define effect_approximation_tag | ( | eff | ) | approximation_tag(effect_approximation(eff)) |
Definition at line 53 of file effects-util-local.h.
#define effect_exact_p | ( | eff | ) | (approximation_tag(effect_approximation(eff)) ==is_approximation_exact) |
Definition at line 78 of file effects-util-local.h.
#define effect_may_p | ( | eff | ) | (approximation_tag(effect_approximation(eff)) == is_approximation_may) |
Definition at line 74 of file effects-util-local.h.
#define effect_must_p | ( | eff | ) | (approximation_tag(effect_approximation(eff)) == is_approximation_must) |
Definition at line 76 of file effects-util-local.h.
#define effect_read_p | ( | eff | ) | (action_tag(effect_action(eff))==is_action_read) |
#define effect_scalar_p(eff) entity_scalar_p(effect_entity(eff))
The semantics of effects_scalar_p() must be refined. If all the indices are constant expressions, we still have a scalar effect, unless they are later replaced by "*", as is the case currently for summary effects.
Potential bug: eff is evaluated twice. Should be copied in a local variable and braces be used.
Definition at line 72 of file effects-util-local.h.
#define effect_reference | ( | e | ) |
FI: it would be useful to assert cell_preference_p(effect_cell(e)), but I do not know how to do it in such a way that it works both for left hand sides and right hand sides using commas.
I definitely remove this one : it is too dangerous. #define effect_reference(e) \ preference_reference(cell_preference(effect_cell(e)))
Definition at line 126 of file effects-util-local.h.
#define effect_system | ( | e | ) |
Definition at line 115 of file effects-util-local.h.
#define effect_variable | ( | e | ) | reference_variable(effect_any_reference(e)) |
For COMPATIBILITY purpose only - DO NOT USE anymore.
Definition at line 86 of file effects-util-local.h.
#define effect_write_p | ( | eff | ) | (action_tag(effect_action(eff))==is_action_write) |
Definition at line 73 of file effects-util-local.h.
#define make_convex_effect | ( | reference, | |
action, | |||
approximation, | |||
system | |||
) |
Definition at line 148 of file effects-util-local.h.
#define make_preference_simple_effect | ( | reference, | |
action, | |||
approximation | |||
) |
Definition at line 133 of file effects-util-local.h.
#define make_reference_simple_effect | ( | reference, | |
action, | |||
approximation | |||
) |
Definition at line 138 of file effects-util-local.h.
#define make_simple_effect | ( | reference, | |
action, | |||
approximation | |||
) |
Definition at line 143 of file effects-util-local.h.
#define NOWHERE_LOCATION "*NOWHERE*" |
Definition at line 33 of file effects-util-local.h.
#define NULL_POINTER_NAME "*NULL*" |
Definition at line 35 of file effects-util-local.h.
#define NULL_POINTER_VALUE_NAME "*NULL*" |
Definition at line 39 of file effects-util-local.h.
#define PHI_PREFIX "PHI" |
Definition at line 41 of file effects-util-local.h.
Definition at line 189 of file effects-util-local.h.
Definition at line 193 of file effects-util-local.h.
#define PROPER true |
Definition at line 45 of file effects-util-local.h.
#define PSI_PREFIX "PSI" |
Definition at line 42 of file effects-util-local.h.
#define RHO_PREFIX "RHO" |
Definition at line 43 of file effects-util-local.h.
#define SUMMARY false |
Definition at line 46 of file effects-util-local.h.
#define UNDEFINED_LOCATION "*UNDEFINED*" |
Definition at line 36 of file effects-util-local.h.
#define UNDEFINED_POINTER_VALUE_NAME "*UNDEFINED*" |
Definition at line 38 of file effects-util-local.h.
#define variable_beta_p | ( | e | ) |
Definition at line 110 of file effects-util-local.h.
#define variable_phi_p | ( | e | ) |
true if e is a phi variable PHI entities have a name like: REGIONS:PHI#, where # is a number.
takes care if TCST and undefined entities, just in case. FC, 09/12/94
Definition at line 95 of file effects-util-local.h.
#define variable_psi_p | ( | e | ) |
Definition at line 100 of file effects-util-local.h.
#define variable_rho_p | ( | e | ) |
Definition at line 105 of file effects-util-local.h.