#include <goto_convert_class.h>

Collaboration diagram for goto_convertt::break_switch_targetst:

Public Member Functions
	break_switch_targetst (const targetst &targets)

void	restore (targetst &targets)

Public Attributes
goto_programt::targett	break_target

goto_programt::targett	default_target

bool	break_set

bool	default_set

node_indext	break_stack_node

casest	cases

cases_mapt	cases_map

Detailed Description

Definition at line 505 of file goto_convert_class.h.

Constructor & Destructor Documentation

◆ break_switch_targetst()

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

inlineexplicit

Definition at line 509 of file goto_convert_class.h.

Member Function Documentation

◆ restore()

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

inline

Definition at line 520 of file goto_convert_class.h.

Member Data Documentation

◆ break_set

bool goto_convertt::break_switch_targetst::break_set

Definition at line 532 of file goto_convert_class.h.

◆ break_stack_node

node_indext goto_convertt::break_switch_targetst::break_stack_node

Definition at line 533 of file goto_convert_class.h.

◆ break_target

goto_programt::targett goto_convertt::break_switch_targetst::break_target

Definition at line 530 of file goto_convert_class.h.

◆ cases

casest goto_convertt::break_switch_targetst::cases

Definition at line 535 of file goto_convert_class.h.

◆ cases_map

cases_mapt goto_convertt::break_switch_targetst::cases_map

Definition at line 536 of file goto_convert_class.h.

◆ default_set

bool goto_convertt::break_switch_targetst::default_set