continuation.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	must_continuation_map_undefined_p (void)
	Warning! Do not modify this file that is automatically generated! More...
void	set_must_continuation_map (statement_mapping)
statement_mapping	get_must_continuation_map (void)
void	reset_must_continuation_map (void)
void	free_must_continuation_map (void)
void	make_must_continuation_map (void)
transformer	load_statement_must_continuation (statement)
void	delete_statement_must_continuation (statement)
bool	statement_must_continuation_undefined_p (statement)
void	store_statement_must_continuation (statement, transformer)
void	update_statement_must_continuation (statement, transformer)
bool	may_continuation_map_undefined_p (void)
void	set_may_continuation_map (statement_mapping)
statement_mapping	get_may_continuation_map (void)
void	reset_may_continuation_map (void)
void	free_may_continuation_map (void)
void	make_may_continuation_map (void)
transformer	load_statement_may_continuation (statement)
void	delete_statement_may_continuation (statement)
bool	statement_may_continuation_undefined_p (statement)
void	store_statement_may_continuation (statement, transformer)
void	update_statement_may_continuation (statement, transformer)
bool	continuation_conditions (const string)
	INTERFACE More...
bool	print_code_continuation_conditions (const string)
	prettyprint.c More...
bool	print_source_continuation_conditions (const string)

Function Documentation

continuation_conditions()

bool continuation_conditions

(

const

string

)

INTERFACE

Get the code of the module.

predicates defining summary regions from callees have to be translated into variables local to module

cumulated effects

Get the transformers of the module.

initialisation of local maps

Parameters

string

odule_name

Definition at line 91 of file continuation.c.

{
 
    /* Get the code of the module. */
    set_current_module_statement( (statement)
        db_get_memory_resource(DBR_CODE, module_name, true) );
    /* predicates defining summary regions from callees have to be 
       translated into variables local to module */
    set_current_module_entity( local_name_to_top_level_entity(module_name) );
    /* cumulated effects */
    set_cumulated_rw_effects((statement_effects)
           db_get_memory_resource(DBR_CUMULATED_EFFECTS, module_name, true));
    set_proper_rw_effects((statement_effects)
           db_get_memory_resource(DBR_PROPER_EFFECTS, module_name, true));
    module_to_value_mappings(get_current_module_entity());
    
    /* Get the transformers of the module. */
    set_transformer_map( (statement_mapping)
        db_get_memory_resource(DBR_TRANSFORMERS, module_name, true) );  
 
    /* initialisation of local maps */
    set_must_continuation_map( MAKE_STATEMENT_MAPPING() );
    set_may_continuation_map( MAKE_STATEMENT_MAPPING() );
 
    debug_on("CONTINUATION_DEBUG_LEVEL");
    module_continuation_conditions(get_current_module_statement());
    module_summary_continuation_conditions(get_current_module_statement());
    debug_off();
 
    DB_PUT_MEMORY_RESOURCE(DBR_MUST_CONTINUATION, 
                           strdup(module_name),
                           (char*) get_must_continuation_map() );
    DB_PUT_MEMORY_RESOURCE(DBR_MAY_CONTINUATION, 
                           strdup(module_name),
                           (char*) get_may_continuation_map() );
    DB_PUT_MEMORY_RESOURCE(DBR_MUST_SUMMARY_CONTINUATION, 
                           strdup(module_name),
                           (char*) must_sum_cont_t);
    DB_PUT_MEMORY_RESOURCE(DBR_MAY_SUMMARY_CONTINUATION, 
                           strdup(module_name),
                           (char*) may_sum_cont_t);
    reset_current_module_entity();
    reset_current_module_statement();
    reset_transformer_map();
    reset_cumulated_rw_effects();
    reset_proper_rw_effects();
    reset_must_continuation_map();
    reset_may_continuation_map();
    free_value_mappings();
 
    return(true);
}

References db_get_memory_resource(), DB_PUT_MEMORY_RESOURCE, debug_off, debug_on, free_value_mappings(), get_current_module_entity(), get_current_module_statement(), get_may_continuation_map(), get_must_continuation_map(), local_name_to_top_level_entity(), MAKE_STATEMENT_MAPPING, may_sum_cont_t, module_continuation_conditions(), module_name(), module_summary_continuation_conditions(), module_to_value_mappings(), must_sum_cont_t, reset_cumulated_rw_effects(), reset_current_module_entity(), reset_current_module_statement(), reset_may_continuation_map(), reset_must_continuation_map(), reset_proper_rw_effects(), reset_transformer_map(), set_cumulated_rw_effects(), set_current_module_entity(), set_current_module_statement(), set_may_continuation_map(), set_must_continuation_map(), set_proper_rw_effects(), set_transformer_map(), and strdup().

Here is the call graph for this function:

delete_statement_may_continuation()

void delete_statement_may_continuation

(

statement

)

delete_statement_must_continuation()

void delete_statement_must_continuation

(

statement

)

free_may_continuation_map()

void free_may_continuation_map

(

void

)

free_must_continuation_map()

void free_must_continuation_map

(

void

)

get_may_continuation_map()

statement_mapping get_may_continuation_map

(

void

)

Referenced by continuation_conditions().

Here is the caller graph for this function:

get_must_continuation_map()

statement_mapping get_must_continuation_map

(

void

)

Referenced by continuation_conditions().

Here is the caller graph for this function:

load_statement_may_continuation()

transformer load_statement_may_continuation

(

statement

)

Referenced by text_statement_continuation_conditions(), and unstructured_continuation_conditions().

Here is the caller graph for this function:

load_statement_must_continuation()

transformer load_statement_must_continuation

(

statement

)

Referenced by text_statement_continuation_conditions(), and unstructured_continuation_conditions().

Here is the caller graph for this function:

make_may_continuation_map()

void make_may_continuation_map

(

void

)

make_must_continuation_map()

void make_must_continuation_map

(

void

)

may_continuation_map_undefined_p()

bool may_continuation_map_undefined_p

(

void

)

must_continuation_map_undefined_p()

bool must_continuation_map_undefined_p

(

void

)

Warning! Do not modify this file that is automatically generated!

Modify src/Libs/continuation/continuation-local.h instead, to add your own modifications. header file built by cproto continuation-local.h cproto-generated files continuation.c

print_code_continuation_conditions()

bool print_code_continuation_conditions

(

const

string

)

prettyprint.c

Parameters

string

odule_name

Definition at line 331 of file prettyprint.c.

{
    is_user_view_p = false;
    return print_continuation_conditions(module_name);
}

References is_user_view_p, module_name(), and print_continuation_conditions().

Here is the call graph for this function:

print_source_continuation_conditions()

bool print_source_continuation_conditions

(

const

string

)

Parameters

string

odule_name

Definition at line 338 of file prettyprint.c.

{
    is_user_view_p = true;
    return print_continuation_conditions(module_name);
}

References is_user_view_p, module_name(), and print_continuation_conditions().

Here is the call graph for this function:

reset_may_continuation_map()

void reset_may_continuation_map

(

void

)

Referenced by continuation_conditions(), and get_continuation_condition_text().

Here is the caller graph for this function:

reset_must_continuation_map()

void reset_must_continuation_map

(

void

)

Referenced by continuation_conditions(), and get_continuation_condition_text().

Here is the caller graph for this function:

set_may_continuation_map()

void set_may_continuation_map

(

statement_mapping

)

Referenced by continuation_conditions(), and get_continuation_condition_text().

Here is the caller graph for this function:

set_must_continuation_map()

void set_must_continuation_map

(

statement_mapping

)

Referenced by continuation_conditions(), and get_continuation_condition_text().

Here is the caller graph for this function:

statement_may_continuation_undefined_p()

bool statement_may_continuation_undefined_p

(

statement

)

statement_must_continuation_undefined_p()

bool statement_must_continuation_undefined_p

(

statement

)

store_statement_may_continuation()

void store_statement_may_continuation	(	statement	,
		transformer
	)

Referenced by block_continuation_conditions(), call_continuation_conditions(), loop_continuation_conditions(), statement_continuation_conditions(), test_continuation_conditions(), and unstructured_continuation_conditions().

Here is the caller graph for this function:

store_statement_must_continuation()

void store_statement_must_continuation	(	statement	,
		transformer
	)

Referenced by block_continuation_conditions(), call_continuation_conditions(), loop_continuation_conditions(), statement_continuation_conditions(), test_continuation_conditions(), and unstructured_continuation_conditions().

Here is the caller graph for this function:

update_statement_may_continuation()

void update_statement_may_continuation	(	statement	,
		transformer
	)

update_statement_must_continuation()

void update_statement_must_continuation	(	statement	,
		transformer
	)