goto_convertt::leave_targett Struct Reference

#include <goto_convert_class.h>

Public Member Functions
	leave_targett (const targetst &targets)
void	restore (targetst &targets)

Public Attributes
goto_programt::targett	leave_target
bool	leave_set
std::size_t	leave_stack_size

Detailed Description

Definition at line 446 of file goto_convert_class.h.

Constructor & Destructor Documentation

leave_targett()

goto_convertt::leave_targett::leave_targett ( const targetst &  targets )

inlineexplicit

Definition at line 450 of file goto_convert_class.h.

References goto_convertt::targetst::destructor_stack, goto_convertt::targetst::leave_set, leave_set, leave_stack_size, goto_convertt::targetst::leave_target, leave_target, and goto_convertt::targets.

Member Function Documentation

restore()

void goto_convertt::leave_targett::restore ( targetst &  targets )

inline

Definition at line 457 of file goto_convert_class.h.

References goto_convertt::targetst::leave_set, leave_set, goto_convertt::targetst::leave_target, leave_target, and goto_convertt::targets.

Member Data Documentation

leave_set

bool goto_convertt::leave_targett::leave_set

Definition at line 464 of file goto_convert_class.h.

Referenced by leave_targett(), and restore().

leave_stack_size

std::size_t goto_convertt::leave_targett::leave_stack_size

Definition at line 465 of file goto_convert_class.h.

Referenced by leave_targett().

leave_target

goto_programt::targett goto_convertt::leave_targett::leave_target

Definition at line 463 of file goto_convert_class.h.

Referenced by leave_targett(), and restore().

---

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

• goto-programs/goto_convert_class.h