cprover
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 > 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 80 of file unwind.h.

Member Typedef Documentation

◆ location_mapt

Definition at line 100 of file unwind.h.

Member Function Documentation

◆ cleanup()

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

Definition at line 86 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 92 of file unwind.h.

◆ output_log_json()

jsont goto_unwindt::unwind_logt::output_log_json ( ) const

Definition at line 331 of file unwind.cpp.

Member Data Documentation

◆ location_map

location_mapt goto_unwindt::unwind_logt::location_map

Definition at line 101 of file unwind.h.


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