goto_unwindt::unwind_logt Struct Reference

#include <unwind.h>

Collaboration diagram for goto_unwindt::unwind_logt:

Public Types
typedef std::map< goto_programt::const_targett, unsigned, goto_programt::target_less_than >	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

Detailed Description

Definition at line 87 of file unwind.h.

Member Typedef Documentation

location_mapt

typedef std::map< goto_programt::const_targett, unsigned, goto_programt::target_less_than> goto_unwindt::unwind_logt::location_mapt

Definition at line 111 of file unwind.h.

Member Function Documentation

cleanup()

void goto_unwindt::unwind_logt::cleanup ( const goto_programt &  goto_program )

inline

Definition at line 93 of file unwind.h.

insert()

void goto_unwindt::unwind_logt::insert ( const goto_programt::const_targett  target, const unsigned  location_number  )

inline

Definition at line 99 of file unwind.h.

output_log_json()

jsont goto_unwindt::unwind_logt::output_log_json

(

)

const

Definition at line 349 of file unwind.cpp.

Member Data Documentation

location_map

location_mapt goto_unwindt::unwind_logt::location_map

Definition at line 112 of file unwind.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/unwind.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/unwind.cpp