effects-generic-local.h File Reference

#include "effects.h"
#include "text.h"

Include dependency graph for effects-generic-local.h:

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 }

Macro Definition Documentation

ACTION_COPYIN

#define ACTION_COPYIN   "COPYIN"

Definition at line 35 of file effects-generic-local.h.

ACTION_COPYOUT

#define ACTION_COPYOUT   "COPYOUT"

Definition at line 36 of file effects-generic-local.h.

ACTION_IN

#define ACTION_IN   "IN"

Definition at line 33 of file effects-generic-local.h.

ACTION_LIVE_IN

#define ACTION_LIVE_IN   "ALIVE (IN)"

Definition at line 38 of file effects-generic-local.h.

ACTION_LIVE_OUT

#define ACTION_LIVE_OUT   "ALIVE (OUT)"

Definition at line 39 of file effects-generic-local.h.

ACTION_OUT

#define ACTION_OUT   "OUT"

Definition at line 34 of file effects-generic-local.h.

ACTION_PRIVATE

#define ACTION_PRIVATE   "PRIVATE"

Definition at line 37 of file effects-generic-local.h.

ACTION_READ

#define ACTION_READ   "R"

Definition at line 31 of file effects-generic-local.h.

ACTION_UNDEFINED

#define ACTION_UNDEFINED   string_undefined

some string constants for prettyprints...

Definition at line 30 of file effects-generic-local.h.

ACTION_WRITE

#define ACTION_WRITE   "W"

Definition at line 32 of file effects-generic-local.h.

DB_GET_EE

#define DB_GET_EE	(		name,
			NAME
	)

Value:

  static entity_effects db_get_##name(const char *module_name)    \
  {                                                               \
    return (entity_effects)                                       \
      db_get_memory_resource(DBR_##NAME, module_name, true);      \
  }

Definition at line 78 of file effects-generic-local.h.

DB_GET_LS

#define DB_GET_LS	(		name,
			NAME
	)

Value:

  static list db_get_##name(const char *module_name)                    \
  {                                                                     \
    return effects_to_list(                                             \
      (effects) db_get_memory_resource(DBR_##NAME, module_name, true)); \
  }

Definition at line 71 of file effects-generic-local.h.

DB_GET_SE

#define DB_GET_SE	(		name,
			NAME
	)

Value:

  static statement_effects db_get_##name(const char *module_name) \
  {                                                               \
    return (statement_effects)                                    \
      db_get_memory_resource(DBR_##NAME, module_name, true);      \
  }

for db_* functions

Definition at line 64 of file effects-generic-local.h.

DB_GETNOPUT_EE

#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.

DB_GETNOPUT_LS

#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.

DB_GETNOPUT_SE

#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.

DB_GETPUT_EE

#define DB_GETPUT_EE	(		name,
			NAME
	)		DB_GET_EE(name, NAME) DB_PUT_EE(name, NAME)

Definition at line 128 of file effects-generic-local.h.

DB_GETPUT_LS

#define DB_GETPUT_LS	(		name,
			NAME
	)		DB_GET_LS(name, NAME) DB_PUT_LS(name, NAME)

Definition at line 126 of file effects-generic-local.h.

DB_GETPUT_SE

#define DB_GETPUT_SE	(		name,
			NAME
	)		DB_GET_SE(name, NAME) DB_PUT_SE(name, NAME)

Definition at line 124 of file effects-generic-local.h.

DB_NOPUT_EE

#define DB_NOPUT_EE

(

name

)

Value:

  static void db_put_##name(_UNUSED_ const char *m, entity_effects ee) \
  {                                                                    \
    free_entity_effects(se);                                           \
  }

Definition at line 118 of file effects-generic-local.h.

DB_NOPUT_LS

#define DB_NOPUT_LS

(

name

)

Value:

  static void db_put_##name(_UNUSED_ const char *m, list l) \
  {                                                         \
    gen_full_free_list(l);                                  \
  }

Definition at line 112 of file effects-generic-local.h.

DB_NOPUT_SE

#define DB_NOPUT_SE

(

name

)

Value:

  static void db_put_##name(_UNUSED_ const char *m, statement_effects se) \
  {                                                                     \
    free_statement_effects(se);                                         \
  }

Definition at line 106 of file effects-generic-local.h.

DB_PUT_EE

#define DB_PUT_EE	(		name,
			NAME
	)

Value:

  static void db_put_##name(                                            \
    const char *module_name, entity_effects ee)                         \
  {                                                                     \
    DB_PUT_MEMORY_RESOURCE(DBR_##NAME, module_name, (void*) ee);        \
  }

Definition at line 99 of file effects-generic-local.h.

DB_PUT_LS

#define DB_PUT_LS	(		name,
			NAME
	)

Value:

  static void db_put_##name(const char *module_name, list l)            \
  {                                                                     \
    DB_PUT_MEMORY_RESOURCE(DBR_##NAME, module_name,                     \
                           (void*) list_to_effects(l));                 \
  }

Definition at line 92 of file effects-generic-local.h.

DB_PUT_SE

#define DB_PUT_SE	(		name,
			NAME
	)

Value:

  static void db_put_##name(                                            \
    const char *module_name, statement_effects se)                      \
  {                                                                     \
    DB_PUT_MEMORY_RESOURCE(DBR_##NAME, module_name, (void*) se);        \
  }

Definition at line 85 of file effects-generic-local.h.

pips_debug_effect

#define pips_debug_effect	(		level,
			message,
			eff
	)

Value:

  ifdebug(level) { pips_debug(level, "%s\n", message); \
  (*effect_consistent_p_func)(eff); \
  (*effect_prettyprint_func)(eff);}

for debug

Definition at line 46 of file effects-generic-local.h.

pips_debug_effects

#define pips_debug_effects	(		level,
			message,
			l_eff
	)

Value:

  ifdebug(level) { pips_debug(level, "%s\n", message); \
  generic_print_effects(l_eff);}

Definition at line 51 of file effects-generic-local.h.

Typedef Documentation

generic_attachment_function

typedef void(* generic_attachment_function) (text)

Definition at line 60 of file effects-generic-local.h.

generic_prettyprint_function

typedef void(* generic_prettyprint_function) (list)

Definition at line 59 of file effects-generic-local.h.

generic_text_function

typedef text(* generic_text_function) (list)

prettyprint function types:

hum...

Definition at line 58 of file effects-generic-local.h.

Enumeration Type Documentation

effects_representation_val

enum effects_representation_val

Enumerator
simple
convex
simple
convex

Definition at line 134 of file effects-generic-local.h.

{ simple, convex } effects_representation_val;

pointer_info_val

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.

{ with_no_pointer_info, with_points_to, with_pointer_values }