unwindsett Class Reference

#include <unwindset.h>

Collaboration diagram for unwindsett:

Public Member Functions
	unwindsett (abstract_goto_modelt &goto_model)
void	parse_unwind (const std::string &unwind)
void	parse_unwindset (const std::list< std::string > &unwindset, message_handlert &message_handler)
std::optional< unsigned >	get_limit (const irep_idt &loop, unsigned thread_id) const
void	parse_unwindset_file (const std::string &file_name, message_handlert &message_handler)

Protected Types
typedef std::map< irep_idt, std::optional< unsigned > >	loop_mapt
using	thread_loop_mapt = std::map< std::pair< irep_idt, unsigned >, std::optional< unsigned > >

Protected Member Functions
void	parse_unwindset_one_loop (std::string loop_limit, message_handlert &message_handler)

Protected Attributes
abstract_goto_modelt &	goto_model
std::optional< unsigned >	global_limit
loop_mapt	loop_map
thread_loop_mapt	thread_loop_map

Detailed Description

Definition at line 25 of file unwindset.h.

Member Typedef Documentation

loop_mapt

typedef std::map<irep_idt, std::optional<unsigned> > unwindsett::loop_mapt

protected

Definition at line 61 of file unwindset.h.

thread_loop_mapt

using unwindsett::thread_loop_mapt = std::map<std::pair<irep_idt, unsigned>, std::optional<unsigned> >

protected

Definition at line 65 of file unwindset.h.

Constructor & Destructor Documentation

unwindsett()

unwindsett::unwindsett ( abstract_goto_modelt &  goto_model )

inlineexplicit

Definition at line 33 of file unwindset.h.

Member Function Documentation

get_limit()

std::optional< unsigned > unwindsett::get_limit	(	const irep_idt &	loop,
		unsigned	thread_id
	)		const

Definition at line 191 of file unwindset.cpp.

parse_unwind()

void unwindsett::parse_unwind

(

const std::string &

unwind

)

Definition at line 23 of file unwindset.cpp.

parse_unwindset()

void unwindsett::parse_unwindset	(	const std::list< std::string > &	unwindset,
		message_handlert &	message_handler
	)

Definition at line 182 of file unwindset.cpp.

parse_unwindset_file()

void unwindsett::parse_unwindset_file	(	const std::string &	file_name,
		message_handlert &	message_handler
	)

Definition at line 212 of file unwindset.cpp.

parse_unwindset_one_loop()

void unwindsett::parse_unwindset_one_loop ( std::string  loop_limit, message_handlert &  message_handler  )

protected

Definition at line 29 of file unwindset.cpp.

Member Data Documentation

global_limit

std::optional<unsigned> unwindsett::global_limit

protected

Definition at line 57 of file unwindset.h.

goto_model

abstract_goto_modelt& unwindsett::goto_model

protected

Definition at line 55 of file unwindset.h.

loop_map

loop_mapt unwindsett::loop_map

protected

Definition at line 62 of file unwindset.h.

thread_loop_map

thread_loop_mapt unwindsett::thread_loop_map

protected

Definition at line 67 of file unwindset.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/unwindset.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/unwindset.cpp