cprover
goto_inlinet::goto_inline_logt Class Reference

#include <goto_inline_class.h>

Collaboration diagram for goto_inlinet::goto_inline_logt:
[legend]

Classes

class  goto_inline_log_infot
 

Public Types

typedef std::map< goto_programt::const_targett, goto_inline_log_infotlog_mapt
 

Public Member Functions

void cleanup (const goto_programt &goto_program)
 
void cleanup (const goto_functionst::function_mapt &function_map)
 
void add_segment (const goto_programt &goto_program, const unsigned begin_location_number, const unsigned end_location_number, const unsigned call_location_number, const irep_idt function)
 
void copy_from (const goto_programt &from, const goto_programt &to)
 
jsont output_inline_log_json () const
 

Public Attributes

log_mapt log_map
 

Detailed Description

Definition at line 91 of file goto_inline_class.h.

Member Typedef Documentation

§ log_mapt

Member Function Documentation

§ add_segment()

§ cleanup() [1/2]

void goto_inlinet::goto_inline_logt::cleanup ( const goto_programt goto_program)

§ cleanup() [2/2]

void goto_inlinet::goto_inline_logt::cleanup ( const goto_functionst::function_mapt function_map)

Definition at line 959 of file goto_inline_class.cpp.

§ copy_from()

void goto_inlinet::goto_inline_logt::copy_from ( const goto_programt from,
const goto_programt to 
)

§ output_inline_log_json()

Member Data Documentation

§ log_map

log_mapt goto_inlinet::goto_inline_logt::log_map

Definition at line 127 of file goto_inline_class.h.


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