6 #ifndef properties_header_included
7 #define properties_header_included
34 #define ONE_TRIP_DO "ONE_TRIP_DO"
36 #define PRETTYPRINT_TRANSFORMER "PRETTYPRINT_TRANSFORMER"
37 #define PRETTYPRINT_EXECUTION_CONTEXT "PRETTYPRINT_EXECUTION_CONTEXT"
38 #define PRETTYPRINT_EFFECTS "PRETTYPRINT_EFFECTS"
39 #define PRETTYPRINT_PARALLEL "PRETTYPRINT_PARALLEL"
40 #define PRETTYPRINT_REVERSE_DOALL "PRETTYPRINT_REVERSE_DOALL"
41 #define PRETTYPRINT_REGION "PRETTYPRINT_REGION"
43 #define SEMANTICS_FLOW_SENSITIVE "SEMANTICS_FLOW_SENSITIVE"
44 #define SEMANTICS_INTERPROCEDURAL "SEMANTICS_INTERPROCEDURAL"
45 #define SEMANTICS_INEQUALITY_INVARIANT "SEMANTICS_INEQUALITY_INVARIANT"
46 #define SEMANTICS_FIX_POINT "SEMANTICS_FIX_POINT"
47 #define SEMANTICS_DEBUG_LEVEL "SEMANTICS_DEBUG_LEVEL"
48 #define SEMANTICS_STDOUT "SEMANTICS_STDOUT"
50 #define PARALLELIZE_USE_EXECUTION_CONTEXT "PARALLELIZE_USE_EXECUTION_CONTEXT"
52 #define DEPENDENCE_TEST "DEPENDENCE_TEST"
53 #define RICEDG_PROVIDE_STATISTICS "RICEDG_PROVIDE_STATISTICS"
56 #define pips_flag_p(p) get_bool_property(p)
57 #define pips_flag_set(p) set_bool_property((p), true)
58 #define pips_flag_reset(p) set_bool_property((p), false)
59 #define pips_flag_fprint(fd) fprint_properties(fd)
bool too_many_property_errors_pending_p(void)
int get_int_property(const char *)
const char * get_string_property(const char *)
int prop_lex_destroy(void)
bool get_bool_property(const char *)
FILE * prop_get_out(void)
void set_bool_property(const char *, bool)
void * prop_alloc(size_t)
property get_property(const char *, bool)
void prop_restart(FILE *)
bool properties_initialized_p(void)
FC 2015-07-20: yuk, moved out to prevent an include cycle dependency include "properties....
void prop_set_out(FILE *)
void fprint_property_direct(FILE *, const char *)
int prop_leng
cproto-generated files
void save_properties(void)
int prop_get_lineno(void)
void set_int_property(const char *, int)
void prop_pop_buffer_state(void)
char * prop_get_text(void)
void fprint_properties(FILE *)
void * prop_realloc(void *, size_t)
const char * get_string_property_or_ask(const char *, const char[])
void prop_set_lineno(int)
void fprint_property(FILE *, const char *)
void parse_properties_string(char *, bool)
properties.c
bool open_properties(void)
void set_string_property(const char *, const char *)
void reset_property_error(void)