cprover
|
#include <goto_functions_template.h>
Public Types | |
typedef std::vector< irep_idt > | parameter_identifierst |
Public Member Functions | |
bool | body_available () const |
bool | is_inlined () const |
bool | is_hidden () const |
void | make_hidden () |
goto_function_templatet () | |
void | clear () |
void | swap (goto_function_templatet &other) |
void | copy_from (const goto_function_templatet &other) |
goto_function_templatet (const goto_function_templatet &)=delete | |
goto_function_templatet & | operator= (const goto_function_templatet &)=delete |
goto_function_templatet (goto_function_templatet &&other) | |
goto_function_templatet & | operator= (goto_function_templatet &&other) |
Public Attributes | |
bodyT | body |
code_typet | type |
parameter_identifierst | parameter_identifiers |
Definition at line 25 of file goto_functions_template.h.
typedef std::vector<irep_idt> goto_function_templatet< bodyT >::parameter_identifierst |
Definition at line 31 of file goto_functions_template.h.
|
inline |
Definition at line 54 of file goto_functions_template.h.
|
delete |
|
inline |
Definition at line 82 of file goto_functions_template.h.
|
inline |
Definition at line 34 of file goto_functions_template.h.
References goto_function_templatet< bodyT >::body.
Referenced by locst::build(), flow_insensitive_analysis_baset::do_function_call(), static_analysis_baset::do_function_call(), interpretert::operator()(), and goto_unwindt::operator()().
|
inline |
Definition at line 58 of file goto_functions_template.h.
References goto_function_templatet< bodyT >::body, irept::clear(), goto_function_templatet< bodyT >::parameter_identifiers, and goto_function_templatet< bodyT >::type.
|
inline |
Definition at line 72 of file goto_functions_template.h.
References goto_function_templatet< bodyT >::body, goto_function_templatet< bodyT >::parameter_identifiers, and goto_function_templatet< bodyT >::type.
Referenced by const_function_pointer_propagationt::dup_caller_and_inline_callee().
|
inline |
Definition at line 44 of file goto_functions_template.h.
References irept::get_bool(), and goto_function_templatet< bodyT >::type.
|
inline |
Definition at line 39 of file goto_functions_template.h.
References irept::get_bool(), and goto_function_templatet< bodyT >::type.
|
inline |
Definition at line 49 of file goto_functions_template.h.
References irept::set(), and goto_function_templatet< bodyT >::type.
|
delete |
|
inline |
Definition at line 89 of file goto_functions_template.h.
References goto_function_templatet< bodyT >::body, goto_function_templatet< bodyT >::parameter_identifiers, and goto_function_templatet< bodyT >::type.
|
inline |
Definition at line 65 of file goto_functions_template.h.
References goto_function_templatet< bodyT >::body, goto_function_templatet< bodyT >::parameter_identifiers, irept::swap(), and goto_function_templatet< bodyT >::type.
bodyT goto_function_templatet< bodyT >::body |
Definition at line 28 of file goto_functions_template.h.
Referenced by goto_function_templatet< bodyT >::body_available(), locst::build(), goto_function_templatet< bodyT >::clear(), goto_function_templatet< bodyT >::copy_from(), flow_insensitive_analysis_baset::do_function_call(), static_analysis_baset::do_function_call(), const_function_pointer_propagationt::dup_caller_and_inline_callee(), get_local_identifiers(), havoc_loopst::havoc_loop(), instrumentert::is_cfg_spurious(), interpretert::operator()(), goto_unwindt::operator()(), goto_function_templatet< bodyT >::operator=(), k_inductiont::process_loop(), goto_function_templatet< bodyT >::swap(), and instrumentert::cfg_visitort::visit_cfg_duplicate().
parameter_identifierst goto_function_templatet< bodyT >::parameter_identifiers |
Definition at line 32 of file goto_functions_template.h.
Referenced by goto_function_templatet< bodyT >::clear(), goto_function_templatet< bodyT >::copy_from(), goto_function_templatet< bodyT >::operator=(), and goto_function_templatet< bodyT >::swap().
code_typet goto_function_templatet< bodyT >::type |
Definition at line 29 of file goto_functions_template.h.
Referenced by locst::build(), goto_function_templatet< bodyT >::clear(), goto_function_templatet< bodyT >::copy_from(), const_function_pointer_propagationt::dup_caller_and_inline_callee(), get_local_identifiers(), goto_function_templatet< bodyT >::is_hidden(), goto_function_templatet< bodyT >::is_inlined(), goto_function_templatet< bodyT >::make_hidden(), goto_function_templatet< bodyT >::operator=(), and goto_function_templatet< bodyT >::swap().