cprover
|
#include <unwind.h>
Public Types | |
typedef std::map< goto_programt::const_targett, unsigned > | location_mapt |
Public Member Functions | |
jsont | output_log_json () const |
void | cleanup (const goto_programt &goto_program) |
void | insert (const goto_programt::const_targett target, const unsigned location_number) |
Public Attributes | |
location_mapt | location_map |
typedef std::map<goto_programt::const_targett, unsigned> goto_unwindt::unwind_logt::location_mapt |
|
inline |
Definition at line 92 of file unwind.h.
References forall_goto_program_instructions, and location_map.
|
inline |
Definition at line 98 of file unwind.h.
References location_map, and r.
Referenced by goto_unwindt::copy_segment(), and goto_unwindt::unwind().
jsont goto_unwindt::unwind_logt::output_log_json | ( | ) | const |
Definition at line 391 of file unwind.cpp.
References location_map, jsont::make_array(), jsont::make_object(), and json_arrayt::push_back().
Referenced by goto_unwindt::output_log_json().
location_mapt goto_unwindt::unwind_logt::location_map |
Definition at line 107 of file unwind.h.
Referenced by cleanup(), insert(), and output_log_json().