#include <goto_inline_class.h>
|
| goto_inlinet (goto_functionst &goto_functions, const namespacet &ns, message_handlert &message_handler, bool adjust_function, bool caching=true) |
|
void | goto_inline (const irep_idt identifier, goto_functiont &goto_function, const inline_mapt &inline_map, const bool force_full=false) |
|
void | goto_inline (const inline_mapt &inline_map, const bool force_full=false) |
|
void | output_inline_map (std::ostream &out, const inline_mapt &inline_map) |
|
void | output_cache (std::ostream &out) const |
|
jsont | output_inline_log_json () |
|
virtual void | set_message_handler (message_handlert &_message_handler) |
|
message_handlert & | get_message_handler () |
|
| messaget () |
|
| messaget (const messaget &other) |
|
messaget & | operator= (const messaget &other) |
|
| messaget (message_handlert &_message_handler) |
|
virtual | ~messaget () |
|
mstreamt & | get_mstream (unsigned message_level) const |
|
mstreamt & | error () const |
|
mstreamt & | warning () const |
|
mstreamt & | result () const |
|
mstreamt & | status () const |
|
mstreamt & | statistics () const |
|
mstreamt & | progress () const |
|
mstreamt & | debug () const |
|
void | conditional_output (mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const |
| Generate output to message_stream using output_generator if the configured verbosity is at least as high as that of message_stream . More...
|
|
|
void | goto_inline_nontransitive (const irep_idt identifier, goto_functiont &goto_function, const inline_mapt &inline_map, const bool force_full) |
|
const goto_functiont & | goto_inline_transitive (const irep_idt identifier, const goto_functiont &goto_function, const bool force_full) |
|
bool | check_inline_map (const inline_mapt &inline_map) const |
|
bool | check_inline_map (const irep_idt identifier, const inline_mapt &inline_map) const |
|
bool | is_ignored (const irep_idt id) const |
|
void | clear () |
|
void | expand_function_call (goto_programt &dest, const inline_mapt &inline_map, const bool transitive, const bool force_full, goto_programt::targett target) |
|
void | insert_function_body (const goto_functiont &f, goto_programt &dest, goto_programt::targett target, const exprt &lhs, const symbol_exprt &function, const exprt::operandst &arguments) |
|
void | replace_return (goto_programt &body, const exprt &lhs) |
|
void | parameter_assignments (const goto_programt::targett target, const irep_idt &function_name, const goto_functiont::parameter_identifierst ¶meter_identifiers, const exprt::operandst &arguments, goto_programt &dest) |
|
void | parameter_destruction (const goto_programt::targett target, const goto_functiont::parameter_identifierst ¶meter_identifiers, goto_programt &dest) |
|
Definition at line 20 of file goto_inline_class.h.
◆ cachet
◆ call_listt
◆ callt
◆ finished_sett
◆ goto_functiont
◆ inline_mapt
◆ no_body_sett
◆ recursion_sett
◆ goto_inlinet()
◆ check_inline_map() [1/2]
bool goto_inlinet::check_inline_map |
( |
const inline_mapt & |
inline_map | ) |
const |
|
protected |
◆ check_inline_map() [2/2]
bool goto_inlinet::check_inline_map |
( |
const irep_idt |
identifier, |
|
|
const inline_mapt & |
inline_map |
|
) |
| const |
|
protected |
◆ clear()
void goto_inlinet::clear |
( |
void |
| ) |
|
|
inlineprotected |
◆ expand_function_call()
◆ get_call()
◆ goto_inline() [1/2]
void goto_inlinet::goto_inline |
( |
const inline_mapt & |
inline_map, |
|
|
const bool |
force_full = false |
|
) |
| |
◆ goto_inline() [2/2]
◆ goto_inline_nontransitive()
◆ goto_inline_transitive()
◆ insert_function_body()
◆ is_ignored()
bool goto_inlinet::is_ignored |
( |
const irep_idt |
id | ) |
const |
|
protected |
◆ output_cache()
void goto_inlinet::output_cache |
( |
std::ostream & |
out | ) |
const |
◆ output_inline_log_json()
jsont goto_inlinet::output_inline_log_json |
( |
| ) |
|
|
inline |
◆ output_inline_map()
void goto_inlinet::output_inline_map |
( |
std::ostream & |
out, |
|
|
const inline_mapt & |
inline_map |
|
) |
| |
◆ parameter_assignments()
◆ parameter_destruction()
◆ replace_return()
◆ adjust_function
const bool goto_inlinet::adjust_function |
|
protected |
◆ cache
◆ caching
const bool goto_inlinet::caching |
|
protected |
◆ finished_set
◆ goto_functions
◆ inline_log
◆ no_body_set
◆ ns
◆ recursion_set
The documentation for this class was generated from the following files: