Loading...

Searching...

No Matches

Public Member Functions | Protected Types | Protected Member Functions | Protected Attributes | List of all members

unwindsett Class Reference

#include <unwindset.h>

+ Collaboration diagram for unwindsett:

[フレーム]

[legend]

Public Member Functions

unwindsett ()=default

void parse_unwind (const std::string &unwind)

void parse_unwindset (const std::list< std::string > &unwindset, abstract_goto_modelt &goto_model, 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, abstract_goto_modelt &goto_model, 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, abstract_goto_modelt &goto_model, message_handlert &message_handler)

Protected Attributes

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 59 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 63 of file unwindset.h.

Constructor & Destructor Documentation

◆ unwindsett()

unwindsett::unwindsett ( )

default

Member Function Documentation

◆ get_limit()

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

unsigned thread_id

) const

Definition at line 193 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,

abstract_goto_modelt & goto_model,

message_handlert & message_handler

)

Definition at line 183 of file unwindset.cpp.

◆ parse_unwindset_file()

void unwindsett::parse_unwindset_file ( const std::string & file_name,

abstract_goto_modelt & goto_model,

message_handlert & message_handler

)

Definition at line 214 of file unwindset.cpp.

◆ parse_unwindset_one_loop()

void unwindsett::parse_unwindset_one_loop ( std::string loop_limit,

abstract_goto_modelt & goto_model,

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 55 of file unwindset.h.

◆ loop_map

loop_mapt unwindsett::loop_map

protected

Definition at line 60 of file unwindset.h.

◆ thread_loop_map

thread_loop_mapt unwindsett::thread_loop_map

protected

Definition at line 65 of file unwindset.h.

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

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