PIPS
|
Go to the source code of this file.
Macros | |
#define | ACTION_UNDEFINED string_undefined |
some string constants for prettyprints... More... | |
#define | ACTION_READ "R" |
#define | ACTION_WRITE "W" |
#define | ACTION_IN "IN" |
#define | ACTION_OUT "OUT" |
#define | ACTION_COPYIN "COPYIN" |
#define | ACTION_COPYOUT "COPYOUT" |
#define | ACTION_PRIVATE "PRIVATE" |
#define | ACTION_LIVE_IN "ALIVE (IN)" |
#define | ACTION_LIVE_OUT "ALIVE (OUT)" |
#define | pips_debug_effect(level, message, eff) |
for debug More... | |
#define | pips_debug_effects(level, message, l_eff) |
#define | DB_GET_SE(name, NAME) |
for db_* functions More... | |
#define | DB_GET_LS(name, NAME) |
#define | DB_GET_EE(name, NAME) |
#define | DB_PUT_SE(name, NAME) |
#define | DB_PUT_LS(name, NAME) |
#define | DB_PUT_EE(name, NAME) |
#define | DB_NOPUT_SE(name) |
#define | DB_NOPUT_LS(name) |
#define | DB_NOPUT_EE(name) |
#define | DB_GETPUT_SE(name, NAME) DB_GET_SE(name, NAME) DB_PUT_SE(name, NAME) |
#define | DB_GETNOPUT_SE(name, NAME) DB_GET_SE(name, NAME) DB_NOPUT_SE(name) |
#define | DB_GETPUT_LS(name, NAME) DB_GET_LS(name, NAME) DB_PUT_LS(name, NAME) |
#define | DB_GETNOPUT_LS(name, NAME) DB_GET_LS(name, NAME) DB_NOPUT_LS(name) |
#define | DB_GETPUT_EE(name, NAME) DB_GET_EE(name, NAME) DB_PUT_EE(name, NAME) |
#define | DB_GETNOPUT_EE(name, NAME) DB_GET_EE(name, NAME) DB_NOPUT_EE(name) |
Typedefs | |
typedef text(* | generic_text_function) (list) |
prettyprint function types: More... | |
typedef void(* | generic_prettyprint_function) (list) |
typedef void(* | generic_attachment_function) (text) |
Enumerations | |
enum | pointer_info_val { with_no_pointer_info , with_points_to , with_pointer_values , with_no_pointer_info , with_points_to , with_pointer_values } |
enum | effects_representation_val { simple , convex , simple , convex } |
#define ACTION_COPYIN "COPYIN" |
Definition at line 35 of file effects-generic-local.h.
#define ACTION_COPYOUT "COPYOUT" |
Definition at line 36 of file effects-generic-local.h.
#define ACTION_IN "IN" |
Definition at line 33 of file effects-generic-local.h.
#define ACTION_LIVE_IN "ALIVE (IN)" |
Definition at line 38 of file effects-generic-local.h.
#define ACTION_LIVE_OUT "ALIVE (OUT)" |
Definition at line 39 of file effects-generic-local.h.
#define ACTION_OUT "OUT" |
Definition at line 34 of file effects-generic-local.h.
#define ACTION_PRIVATE "PRIVATE" |
Definition at line 37 of file effects-generic-local.h.
#define ACTION_READ "R" |
Definition at line 31 of file effects-generic-local.h.
#define ACTION_UNDEFINED string_undefined |
some string constants for prettyprints...
Definition at line 30 of file effects-generic-local.h.
#define ACTION_WRITE "W" |
Definition at line 32 of file effects-generic-local.h.
#define DB_GET_EE | ( | name, | |
NAME | |||
) |
Definition at line 78 of file effects-generic-local.h.
#define DB_GET_LS | ( | name, | |
NAME | |||
) |
Definition at line 71 of file effects-generic-local.h.
#define DB_GET_SE | ( | name, | |
NAME | |||
) |
for db_* functions
Definition at line 64 of file effects-generic-local.h.
#define DB_GETNOPUT_EE | ( | name, | |
NAME | |||
) | DB_GET_EE(name, NAME) DB_NOPUT_EE(name) |
Definition at line 129 of file effects-generic-local.h.
#define DB_GETNOPUT_LS | ( | name, | |
NAME | |||
) | DB_GET_LS(name, NAME) DB_NOPUT_LS(name) |
Definition at line 127 of file effects-generic-local.h.
#define DB_GETNOPUT_SE | ( | name, | |
NAME | |||
) | DB_GET_SE(name, NAME) DB_NOPUT_SE(name) |
Definition at line 125 of file effects-generic-local.h.
Definition at line 128 of file effects-generic-local.h.
Definition at line 126 of file effects-generic-local.h.
Definition at line 124 of file effects-generic-local.h.
#define DB_NOPUT_EE | ( | name | ) |
Definition at line 118 of file effects-generic-local.h.
#define DB_NOPUT_LS | ( | name | ) |
Definition at line 112 of file effects-generic-local.h.
#define DB_NOPUT_SE | ( | name | ) |
Definition at line 106 of file effects-generic-local.h.
#define DB_PUT_EE | ( | name, | |
NAME | |||
) |
Definition at line 99 of file effects-generic-local.h.
#define DB_PUT_LS | ( | name, | |
NAME | |||
) |
Definition at line 92 of file effects-generic-local.h.
#define DB_PUT_SE | ( | name, | |
NAME | |||
) |
Definition at line 85 of file effects-generic-local.h.
for debug
Definition at line 46 of file effects-generic-local.h.
Definition at line 51 of file effects-generic-local.h.
typedef void(* generic_attachment_function) (text) |
Definition at line 60 of file effects-generic-local.h.
typedef void(* generic_prettyprint_function) (list) |
Definition at line 59 of file effects-generic-local.h.
enum pointer_info_val |
Enumerator | |
---|---|
with_no_pointer_info | |
with_points_to | |
with_pointer_values | |
with_no_pointer_info | |
with_points_to | |
with_pointer_values |
Definition at line 131 of file effects-generic-local.h.