cprover
localst Class Reference

#include <locals.h>

Collaboration diagram for localst:
[legend]

Public Types

typedef goto_functionst::goto_functiont goto_functiont
 
typedef std::map< irep_idt, symbol_exprtlocals_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

§ goto_functiont

typedef goto_functionst::goto_functiont localst::goto_functiont

Definition at line 22 of file locals.h.

§ locals_mapt

Definition at line 39 of file locals.h.

Constructor & Destructor Documentation

§ localst()

localst::localst ( const goto_functiont goto_function)
inlineexplicit

Definition at line 24 of file locals.h.

References build(), and output().

Member Function Documentation

§ build()

void localst::build ( const goto_functiont goto_function)
protected

§ is_local()

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

§ output()

void localst::output ( std::ostream &  out) const

Definition at line 33 of file locals.cpp.

References locals_map.

Referenced by localst(), and operator<<().

Member Data Documentation

§ locals_map


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