14 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_TEMPLATE_H 15 #define CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_TEMPLATE_H 24 template <
class bodyT>
36 return !
body.instructions.empty();
91 body=std::move(other.body);
92 type=std::move(other.type);
98 template <
class bodyT>
131 std::ostream &out)
const;
164 template <
class bodyT>
167 std::ostream &out)
const 169 for(
const auto &fun : function_map)
171 if(fun.second.body_available())
173 out <<
"^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\n";
177 fun.second.body.output(ns, symbol.
name, out);
184 template <
class bodyT>
189 for(
typename function_mapt::iterator
190 it=function_map.begin();
191 it!=function_map.end();
193 it->second.body.compute_location_numbers(nr);
196 template <
class bodyT>
199 for(
typename function_mapt::iterator
200 it=function_map.begin();
201 it!=function_map.end();
203 it->second.body.compute_incoming_edges();
206 template <
class bodyT>
209 for(
typename function_mapt::iterator
210 it=function_map.begin();
211 it!=function_map.end();
213 it->second.body.compute_target_numbers();
216 template <
class bodyT>
219 for(
typename function_mapt::iterator
220 it=function_map.begin();
221 it!=function_map.end();
223 it->second.body.compute_loop_numbers();
226 #endif // CPROVER_GOTO_PROGRAMS_GOTO_FUNCTIONS_TEMPLATE_H bool body_available() const
std::map< irep_idt, goto_functiont > function_mapt
irep_idt name
The unique identifier.
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
goto_function_templatet()
goto_function_templatet & operator=(goto_function_templatet &&other)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
bool get_bool(const irep_namet &name) const
void compute_incoming_edges()
void output(const namespacet &ns, std::ostream &out) const
parameter_identifierst parameter_identifiers
void compute_loop_numbers()
void copy_from(const goto_function_templatet &other)
void compute_location_numbers()
void swap(goto_functions_templatet &other)
goto_function_templatet(goto_function_templatet &&other)
goto_functions_templatet(goto_functions_templatet &&other)
static irep_idt entry_point()
goto_function_templatet< bodyT > goto_functiont
function_mapt function_map
const irep_idt & display_name() const
void swap(goto_function_templatet &other)
void copy_from(const goto_functions_templatet &other)
goto_function_templatet & operator=(const goto_function_templatet &)=delete
goto_functions_templatet & operator=(goto_functions_templatet &&other)
std::vector< irep_idt > parameter_identifierst
goto_functions_templatet & operator=(const goto_functions_templatet &)=delete
void compute_target_numbers()
void set(const irep_namet &name, const irep_idt &value)
goto_functions_templatet()