infinite_loop Struct Reference

Collaboration diagram for infinite_loop:

Public Member Functions
	infinite_loop (const exploded_node &enode, location_t loc, std::vector< const exploded_edge * > &&eedges, logger *logger)
bool	operator== (const infinite_loop &other) const
std::unique_ptr< json::object >	to_json () const

Data Fields
const exploded_node &	m_enode
location_t	m_loc
std::vector< const exploded_edge * >	m_eedge_vec

Detailed Description

A bundle of data characterizing a particular infinite loop
identified within the exploded graph.   

Constructor & Destructor Documentation

infinite_loop()

infinite_loop::infinite_loop ( const exploded_node & enode, location_t loc, std::vector< const exploded_edge * > && eedges, logger * logger )

inline

References ana::logger::end_log_line(), ana::logger::get_printer(), ana::logger::log_partial(), LOG_SCOPE, m_eedge_vec, m_enode, ana::exploded_node::m_index, and ana::logger::start_log_line().

Member Function Documentation

operator==()

bool infinite_loop::operator== ( const infinite_loop & other ) const

inline

References ana::exploded_node::get_supernode(), m_enode, and m_loc.

to_json()

std::unique_ptr< json::object > infinite_loop::to_json ( ) const

inline

References m_eedge_vec, m_enode, ana::exploded_node::m_index, and make_unique().

Field Documentation

m_eedge_vec

std::vector<const exploded_edge *> infinite_loop::m_eedge_vec

Referenced by infinite_loop(), and to_json().

m_enode

const exploded_node& infinite_loop::m_enode

Referenced by infinite_loop(), operator==(), and to_json().

m_loc

location_t infinite_loop::m_loc

Referenced by operator==().

---

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

• infinite-loop.cc