CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
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 350 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: