cprover
|
#include <locs.h>
Classes | |
class | function_entryt |
Public Types | |
typedef std::vector< loct > | loc_vectort |
typedef std::map< irep_idt, function_entryt > | function_mapt |
Public Member Functions | |
locst (const namespacet &_ns) | |
void | build (const goto_functionst &goto_functions) |
void | output (std::ostream &out) const |
loct & | operator[] (loc_reft l) |
const loct & | operator[] (loc_reft l) const |
loc_reft | end () const |
std::size_t | size () const |
Static Public Member Functions | |
static loc_reft | begin () |
Public Attributes | |
loc_vectort | loc_vector |
loc_reft | entry_loc |
function_mapt | function_map |
Protected Attributes | |
const namespacet & | ns |
typedef std::map<irep_idt, function_entryt> locst::function_mapt |
typedef std::vector<loct> locst::loc_vectort |
|
explicit |
|
inlinestatic |
Definition at line 72 of file locs.h.
References loc_reft::loc_number.
Referenced by target_to_loc_mapt::target_to_loc_mapt().
void locst::build | ( | const goto_functionst & | goto_functions | ) |
Definition at line 20 of file locs.cpp.
References goto_function_templatet< bodyT >::body, goto_function_templatet< bodyT >::body_available(), end(), entry_loc, goto_functions_templatet< goto_programt >::entry_point(), locst::function_entryt::first_loc, forall_goto_functions, forall_goto_program_instructions, function_map, loc_reft::loc_number, loc_vector, loc_reft::nil(), goto_function_templatet< bodyT >::type, and locst::function_entryt::type.
Referenced by symex_parse_optionst::doit(), and path_searcht::operator()().
|
inline |
Definition at line 79 of file locs.h.
References loc_reft::loc_number, and loc_vector.
Referenced by build(), and target_to_loc_mapt::target_to_loc_mapt().
Definition at line 60 of file locs.h.
References loc_reft::loc_number, and loc_vector.
Definition at line 66 of file locs.h.
References loc_reft::loc_number, and loc_vector.
void locst::output | ( | std::ostream & | out | ) | const |
Definition at line 84 of file locs.cpp.
References as_string(), entry_loc, loc, loc_vector, and ns.
Referenced by symex_parse_optionst::doit().
|
inline |
Definition at line 86 of file locs.h.
References loc_vector.
Referenced by path_searcht::operator()().
loc_reft locst::entry_loc |
Definition at line 44 of file locs.h.
Referenced by build(), initial_state(), and output().
function_mapt locst::function_map |
Definition at line 54 of file locs.h.
Referenced by build(), and path_symext::function_call_rec().
loc_vectort locst::loc_vector |
|
protected |