localst Class Reference

#include <locals.h>

Collaboration diagram for localst:

Public Types
typedef std::map< irep_idt, symbol_exprt >	locals_mapt

Public Member Functions
	localst (const goto_functiont &goto_function)
void	output (std::ostream &out) const
bool	is_local (const irep_idt &identifier) const

Public Attributes
locals_mapt	locals_map

Protected Member Functions
void	build (const goto_functiont &goto_function)

Detailed Description

Definition at line 19 of file locals.h.

Member Typedef Documentation

locals_mapt

typedef std::map<irep_idt, symbol_exprt> localst::locals_mapt

Definition at line 37 of file locals.h.

Constructor & Destructor Documentation

localst()

localst::localst ( const goto_functiont &  goto_function )

inlineexplicit

Definition at line 22 of file locals.h.

Member Function Documentation

build()

void localst::build ( const goto_functiont &  goto_function )

protected

Definition at line 18 of file locals.cpp.

is_local()

bool localst::is_local ( const irep_idt &  identifier ) const

inline

Definition at line 32 of file locals.h.

output()

void localst::output

(

std::ostream &

out

)

const

Definition at line 32 of file locals.cpp.

Member Data Documentation

locals_map

locals_mapt localst::locals_map

Definition at line 38 of file locals.h.

---

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

• analyses/locals.h
• analyses/locals.cpp