CBMC
Public Member Functions | Public Attributes | List of all members
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
 
node_indext throw_stack_node
 

Detailed Description

Definition at line 517 of file goto_convert_class.h.

Constructor & Destructor Documentation

◆ throw_targett()

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

Definition at line 521 of file goto_convert_class.h.

Member Function Documentation

◆ restore()

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

Definition at line 528 of file goto_convert_class.h.

Member Data Documentation

◆ throw_set

bool goto_convertt::throw_targett::throw_set

Definition at line 535 of file goto_convert_class.h.

◆ throw_stack_node

node_indext goto_convertt::throw_targett::throw_stack_node

Definition at line 536 of file goto_convert_class.h.

◆ throw_target

goto_programt::targett goto_convertt::throw_targett::throw_target

Definition at line 534 of file goto_convert_class.h.

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