goto_convertt::throw_targett Struct Reference

#include <goto_convert_class.h>

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

Public Attributes
goto_programt::targett	throw_target
bool	throw_set
std::size_t	throw_stack_size

Detailed Description

Definition at line 503 of file goto_convert_class.h.

Constructor & Destructor Documentation

throw_targett()

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

inlineexplicit

Definition at line 507 of file goto_convert_class.h.

Member Function Documentation

restore()

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

inline

Definition at line 514 of file goto_convert_class.h.

Member Data Documentation

throw_set

bool goto_convertt::throw_targett::throw_set

Definition at line 521 of file goto_convert_class.h.

throw_stack_size

std::size_t goto_convertt::throw_targett::throw_stack_size

Definition at line 522 of file goto_convert_class.h.

throw_target

goto_programt::targett goto_convertt::throw_targett::throw_target

Definition at line 520 of file goto_convert_class.h.

---

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

• goto-programs/goto_convert_class.h