cprover
|
#include <goto_inline_class.h>
Public Attributes | |
unsigned | begin_location_number |
unsigned | end_location_number |
unsigned | call_location_number |
irep_idt | function |
goto_programt::const_targett | end |
Definition at line 94 of file goto_inline_class.h.
unsigned goto_inlinet::goto_inline_logt::goto_inline_log_infot::begin_location_number |
Definition at line 98 of file goto_inline_class.h.
Referenced by goto_inlinet::goto_inline_logt::add_segment(), and goto_inlinet::goto_inline_logt::output_inline_log_json().
unsigned goto_inlinet::goto_inline_logt::goto_inline_log_infot::call_location_number |
Definition at line 100 of file goto_inline_class.h.
Referenced by goto_inlinet::goto_inline_logt::add_segment(), and goto_inlinet::goto_inline_logt::output_inline_log_json().
goto_programt::const_targett goto_inlinet::goto_inline_logt::goto_inline_log_infot::end |
Definition at line 102 of file goto_inline_class.h.
Referenced by goto_inlinet::goto_inline_logt::add_segment(), and goto_inlinet::goto_inline_logt::output_inline_log_json().
unsigned goto_inlinet::goto_inline_logt::goto_inline_log_infot::end_location_number |
Definition at line 99 of file goto_inline_class.h.
Referenced by goto_inlinet::goto_inline_logt::add_segment(), and goto_inlinet::goto_inline_logt::output_inline_log_json().
irep_idt goto_inlinet::goto_inline_logt::goto_inline_log_infot::function |
Definition at line 101 of file goto_inline_class.h.
Referenced by goto_inlinet::goto_inline_logt::add_segment(), and goto_inlinet::goto_inline_logt::output_inline_log_json().