goto_inlinet::goto_inline_logt::goto_inline_log_infot Class Reference

#include <goto_inline_class.h>

Collaboration diagram for goto_inlinet::goto_inline_logt::goto_inline_log_infot:

Public Attributes
unsigned	begin_location_number
unsigned	end_location_number
unsigned	call_location_number
irep_idt	function
goto_programt::const_targett	end

Detailed Description

Definition at line 94 of file goto_inline_class.h.

Member Data Documentation

begin_location_number

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().

call_location_number

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().

end

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().

end_location_number

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().

function

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().

---

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

• goto-programs/goto_inline_class.h