uncaught_exceptions_domaint Class Reference

#include <uncaught_exceptions_analysis.h>

Collaboration diagram for uncaught_exceptions_domaint:

Public Member Functions
void	transform (const goto_programt::const_targett, uncaught_exceptions_analysist &, const namespacet &)
	The transformer for the uncaught exceptions domain. More...
void	join (const irep_idt &)
	The join operator for the uncaught exceptions domain. More...
void	join (const std::set< irep_idt > &)
void	join (const std::vector< irep_idt > &)
void	make_top ()
const std::set< irep_idt > &	get_elements () const
	Returns the value of the private member thrown. More...
void	operator() (const namespacet &ns)
	Constructs the class hierarchy. More...

Static Public Member Functions
static irep_idt	get_exception_type (const pointer_typet &)
	Returns the compile type of an exception. More...
static exprt	get_exception_symbol (const exprt &exor)
	Returns the symbol corresponding to an exception. More...

Private Types
typedef std::vector< std::set< irep_idt > >	stack_caughtt

Private Attributes
stack_caughtt	stack_caught
std::set< irep_idt >	thrown
class_hierarchyt	class_hierarchy

Detailed Description

Definition at line 28 of file uncaught_exceptions_analysis.h.

Member Typedef Documentation

stack_caughtt

typedef std::vector<std::set<irep_idt> > uncaught_exceptions_domaint::stack_caughtt

private

Definition at line 54 of file uncaught_exceptions_analysis.h.

Member Function Documentation

get_elements()

const std::set< irep_idt > & uncaught_exceptions_domaint::get_elements

(

)

const

Returns the value of the private member thrown.

Definition at line 165 of file uncaught_exceptions_analysis.cpp.

get_exception_symbol()

exprt uncaught_exceptions_domaint::get_exception_symbol ( const exprt &  exor )

static

Returns the symbol corresponding to an exception.

Definition at line 33 of file uncaught_exceptions_analysis.cpp.

get_exception_type()

irep_idt uncaught_exceptions_domaint::get_exception_type ( const pointer_typet &  type )

static

Returns the compile type of an exception.

Definition at line 24 of file uncaught_exceptions_analysis.cpp.

join() [1/3]

void uncaught_exceptions_domaint::join

(

const irep_idt &

element

)

The join operator for the uncaught exceptions domain.

Definition at line 42 of file uncaught_exceptions_analysis.cpp.

join() [2/3]

void uncaught_exceptions_domaint::join

(

const std::set< irep_idt > &

elements

)

Definition at line 48 of file uncaught_exceptions_analysis.cpp.

join() [3/3]

void uncaught_exceptions_domaint::join

(

const std::vector< irep_idt > &

elements

)

Definition at line 54 of file uncaught_exceptions_analysis.cpp.

make_top()

void uncaught_exceptions_domaint::make_top ( )

inline

Definition at line 39 of file uncaught_exceptions_analysis.h.

operator()()

void uncaught_exceptions_domaint::operator()

(

const namespacet &

ns

)

Constructs the class hierarchy.

Definition at line 171 of file uncaught_exceptions_analysis.cpp.

transform()

void uncaught_exceptions_domaint::transform	(	const goto_programt::const_targett	from,
		uncaught_exceptions_analysist &	uea,
		const namespacet &
	)

The transformer for the uncaught exceptions domain.

Definition at line 62 of file uncaught_exceptions_analysis.cpp.

Member Data Documentation

class_hierarchy

class_hierarchyt uncaught_exceptions_domaint::class_hierarchy

private

Definition at line 57 of file uncaught_exceptions_analysis.h.

stack_caught

stack_caughtt uncaught_exceptions_domaint::stack_caught

private

Definition at line 55 of file uncaught_exceptions_analysis.h.

thrown

std::set<irep_idt> uncaught_exceptions_domaint::thrown

private

Definition at line 56 of file uncaught_exceptions_analysis.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/analyses/uncaught_exceptions_analysis.h
• /home/runner/work/cbmc/cbmc/src/analyses/uncaught_exceptions_analysis.cpp