goto_functiont Class Reference

#include <goto_functions.h>

Public Member Functions
void	update_instructions_function (const irep_idt &function_id, bool force=false)
	update the function member in each instruction

Public Attributes
goto_programt	body
type2tc	type
bool	body_available = false
exception_specificationt	exception_spec
std::set< std::string >	inlined_funcs

Member Function Documentation

update_instructions_function()

void goto_functiont::update_instructions_function ( const irep_idt & function_id, bool force = false )

inline

update the function member in each instruction

Parameters

function_id	the function_id used for assigning empty function members
force	when true, overwrite already-set function members too

Member Data Documentation

body

goto_programt goto_functiont::body

body_available

bool goto_functiont::body_available = false

exception_spec

exception_specificationt goto_functiont::exception_spec

inlined_funcs

std::set<std::string> goto_functiont::inlined_funcs

type

type2tc goto_functiont::type

---

The documentation for this class was generated from the following file:

• src/goto-programs/goto_functions.h