goto_convertt::targetst Struct Reference

#include <goto_convert_class.h>

Public Member Functions
	targetst ()
void	set_break (goto_programt::targett _break_target)
void	set_continue (goto_programt::targett _continue_target)
void	set_default (goto_programt::targett _default_target)
void	set_return (goto_programt::targett _return_target)
void	set_throw (goto_programt::targett _throw_target)
void	set_leave (goto_programt::targett _leave_target)

Public Attributes
bool	return_set
bool	has_return_value
bool	break_set
bool	continue_set
bool	default_set
bool	throw_set
bool	leave_set
labelst	labels
gotost	gotos
computed_gotost	computed_gotos
destructor_stackt	destructor_stack
casest	cases
cases_mapt	cases_map
case_stackst	case_stacks
	The destructor stack at each case and default label.
goto_programt::targett	return_target
goto_programt::targett	break_target
goto_programt::targett	continue_target
goto_programt::targett	default_target
goto_programt::targett	throw_target
goto_programt::targett	leave_target
std::size_t	break_stack_size
std::size_t	continue_stack_size
std::size_t	throw_stack_size
std::size_t	leave_stack_size

Constructor & Destructor Documentation

targetst()

goto_convertt::targetst::targetst ( )

inline

Member Function Documentation

set_break()

void goto_convertt::targetst::set_break ( goto_programt::targett _break_target )

inline

set_continue()

void goto_convertt::targetst::set_continue ( goto_programt::targett _continue_target )

inline

set_default()

void goto_convertt::targetst::set_default ( goto_programt::targett _default_target )

inline

set_leave()

void goto_convertt::targetst::set_leave ( goto_programt::targett _leave_target )

inline

set_return()

void goto_convertt::targetst::set_return ( goto_programt::targett _return_target )

inline

set_throw()

void goto_convertt::targetst::set_throw ( goto_programt::targett _throw_target )

inline

Member Data Documentation

break_set

bool goto_convertt::targetst::break_set

break_stack_size

std::size_t goto_convertt::targetst::break_stack_size

break_target

goto_programt::targett goto_convertt::targetst::break_target

case_stacks

case_stackst goto_convertt::targetst::case_stacks

The destructor stack at each case and default label.

cases

casest goto_convertt::targetst::cases

cases_map

cases_mapt goto_convertt::targetst::cases_map

computed_gotos

computed_gotost goto_convertt::targetst::computed_gotos

continue_set

bool goto_convertt::targetst::continue_set

continue_stack_size

std::size_t goto_convertt::targetst::continue_stack_size

continue_target

goto_programt::targett goto_convertt::targetst::continue_target

default_set

bool goto_convertt::targetst::default_set

default_target

goto_programt::targett goto_convertt::targetst::default_target

destructor_stack

destructor_stackt goto_convertt::targetst::destructor_stack

gotos

gotost goto_convertt::targetst::gotos

has_return_value

bool goto_convertt::targetst::has_return_value

labels

labelst goto_convertt::targetst::labels

leave_set

bool goto_convertt::targetst::leave_set

leave_stack_size

std::size_t goto_convertt::targetst::leave_stack_size

leave_target

goto_programt::targett goto_convertt::targetst::leave_target

return_set

bool goto_convertt::targetst::return_set

return_target

goto_programt::targett goto_convertt::targetst::return_target

throw_set

bool goto_convertt::targetst::throw_set

throw_stack_size

std::size_t goto_convertt::targetst::throw_stack_size

throw_target

goto_programt::targett goto_convertt::targetst::throw_target

---

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

• src/goto-programs/goto_convert_class.h