function_modifiest Class Reference

#include <function_modifies.h>

Collaboration diagram for function_modifiest:

Public Types
typedef std::set< exprt >	modifiest

Public Member Functions
	function_modifiest (const goto_functionst &_goto_functions)
void	get_modifies (const local_may_aliast &local_may_alias, const goto_programt::const_targett, modifiest &)
void	get_modifies_lhs (const local_may_aliast &, const goto_programt::const_targett, const exprt &lhs, modifiest &)
void	get_modifies_function (const exprt &, modifiest &)
void	operator() (const exprt &function, modifiest &modifies)

Protected Types
typedef std::map< irep_idt, modifiest >	function_mapt

Protected Attributes
const goto_functionst &	goto_functions
function_mapt	function_map

Detailed Description

Definition at line 18 of file function_modifies.h.

Member Typedef Documentation

function_mapt

typedef std::map<irep_idt, modifiest> function_modifiest::function_mapt

protected

Definition at line 51 of file function_modifies.h.

modifiest

typedef std::set<exprt> function_modifiest::modifiest

Definition at line 26 of file function_modifies.h.

Constructor & Destructor Documentation

function_modifiest()

function_modifiest::function_modifiest ( const goto_functionst &  _goto_functions )

inlineexplicit

Definition at line 21 of file function_modifies.h.

Member Function Documentation

get_modifies()

void function_modifiest::get_modifies	(	const local_may_aliast &	local_may_alias,
		const goto_programt::const_targett	i_it,
		modifiest &	modifies
	)

Definition at line 45 of file function_modifies.cpp.

get_modifies_function()

void function_modifiest::get_modifies_function	(	const exprt &	function,
		modifiest &	modifies
	)

Definition at line 72 of file function_modifies.cpp.

get_modifies_lhs()

void function_modifiest::get_modifies_lhs	(	const local_may_aliast &	local_may_alias,
		const goto_programt::const_targett	t,
		const exprt &	lhs,
		modifiest &	modifies
	)

Definition at line 16 of file function_modifies.cpp.

operator()()

void function_modifiest::operator() ( const exprt &  function, modifiest &  modifies  )

inline

Definition at line 43 of file function_modifies.h.

Member Data Documentation

function_map

function_mapt function_modifiest::function_map

protected

Definition at line 52 of file function_modifies.h.

goto_functions

const goto_functionst& function_modifiest::goto_functions

protected

Definition at line 49 of file function_modifies.h.

---

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

• goto-instrument/function_modifies.h
• goto-instrument/function_modifies.cpp