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 86 of file unwind.h.
References forall_goto_program_instructions, goto_program, and location_map.
|
inline |
Definition at line 92 of file unwind.h.
References INVARIANT, 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 330 of file unwind.cpp.
References location_map, jsont::make_array(), jsont::make_object(), json_arrayt::push_back(), and to_string().
Referenced by goto_unwindt::output_log_json().
location_mapt goto_unwindt::unwind_logt::location_map |
Definition at line 101 of file unwind.h.
Referenced by cleanup(), insert(), and output_log_json().