ana::superedge Class Reference

#include <supergraph.h>

Inheritance diagram for ana::superedge:

Collaboration diagram for ana::superedge:

Public Types
typedef supergraph_traits::node_t	node_t
typedef supergraph_traits::dump_args_t	dump_args_t

Public Member Functions
virtual	~superedge ()
void	dump (pretty_printer *pp) const
void	dump () const
void	dump_dot (graphviz_out *gv, const dump_args_t &args) const final override
virtual void	dump_label_to_pp (pretty_printer *pp, bool user_facing) const =0
std::unique_ptr< json::object >	to_json () const
enum edge_kind	get_kind () const
virtual cfg_superedge *	dyn_cast_cfg_superedge ()
virtual const cfg_superedge *	dyn_cast_cfg_superedge () const
virtual const switch_cfg_superedge *	dyn_cast_switch_cfg_superedge () const
virtual callgraph_superedge *	dyn_cast_callgraph_superedge ()
virtual const callgraph_superedge *	dyn_cast_callgraph_superedge () const
virtual call_superedge *	dyn_cast_call_superedge ()
virtual const call_superedge *	dyn_cast_call_superedge () const
virtual return_superedge *	dyn_cast_return_superedge ()
virtual const return_superedge *	dyn_cast_return_superedge () const
::edge	get_any_cfg_edge () const
cgraph_edge *	get_any_callgraph_edge () const
label_text	get_description (bool user_facing) const
virtual void	dump_dot (graphviz_out *gv, const dump_args_t &args) const=0

Data Fields
enum edge_kind	m_kind
node_t *const	m_src
node_t *const	m_dest

Protected Member Functions
	superedge (supernode *src, supernode *dest, enum edge_kind kind)

Detailed Description

An abstract base class encapsulating an edge within a supergraph.
Edges can be CFG edges, or calls/returns for callgraph edges.   

Member Typedef Documentation

dump_args_t

supergraph_traits::dump_args_t dedge< supergraph_traits >::dump_args_t

inherited

node_t

supergraph_traits::node_t dedge< supergraph_traits >::node_t

inherited

Constructor & Destructor Documentation

~superedge()

virtual ana::superedge::~superedge ( )

inlinevirtual

superedge()

ana::superedge::superedge ( supernode * src, supernode * dest, enum edge_kind kind )

inlineprotected

Member Function Documentation

dump() [1/2]

void ana::superedge::dump

(

)

const

dump() [2/2]

void ana::superedge::dump

(

pretty_printer *

pp

)

const

dump_dot() [1/2]

void ana::superedge::dump_dot ( graphviz_out * gv, const dump_args_t & args ) const

finaloverride

dump_dot() [2/2]

virtual void dedge< supergraph_traits >::dump_dot ( graphviz_out * gv, const dump_args_t & args ) const

pure virtualinherited

dump_label_to_pp()

virtual void ana::superedge::dump_label_to_pp ( pretty_printer * pp, bool user_facing ) const

pure virtual

Implemented in ana::callgraph_superedge, ana::cfg_superedge, and ana::switch_cfg_superedge.

dyn_cast_call_superedge() [1/2]

virtual call_superedge * ana::superedge::dyn_cast_call_superedge ( )

inlinevirtual

Reimplemented in ana::call_superedge.

References NULL.

dyn_cast_call_superedge() [2/2]

virtual const call_superedge * ana::superedge::dyn_cast_call_superedge ( ) const

inlinevirtual

Reimplemented in ana::call_superedge.

References NULL.

dyn_cast_callgraph_superedge() [1/2]

virtual callgraph_superedge * ana::superedge::dyn_cast_callgraph_superedge ( )

inlinevirtual

Reimplemented in ana::callgraph_superedge.

References NULL.

dyn_cast_callgraph_superedge() [2/2]

virtual const callgraph_superedge * ana::superedge::dyn_cast_callgraph_superedge ( ) const

inlinevirtual

Reimplemented in ana::callgraph_superedge.

References NULL.

dyn_cast_cfg_superedge() [1/2]

virtual cfg_superedge * ana::superedge::dyn_cast_cfg_superedge ( )

inlinevirtual

Reimplemented in ana::cfg_superedge.

References NULL.

Referenced by infinite_recursion_diagnostic::fedge_uses_conjured_svalue_p(), and get_in_edge_back_edge().

dyn_cast_cfg_superedge() [2/2]

virtual const cfg_superedge * ana::superedge::dyn_cast_cfg_superedge ( ) const

inlinevirtual

Reimplemented in ana::cfg_superedge.

References NULL.

dyn_cast_return_superedge() [1/2]

virtual return_superedge * ana::superedge::dyn_cast_return_superedge ( )

inlinevirtual

Reimplemented in ana::return_superedge.

References NULL.

dyn_cast_return_superedge() [2/2]

virtual const return_superedge * ana::superedge::dyn_cast_return_superedge ( ) const

inlinevirtual

Reimplemented in ana::return_superedge.

References NULL.

dyn_cast_switch_cfg_superedge()

virtual const switch_cfg_superedge * ana::superedge::dyn_cast_switch_cfg_superedge ( ) const

inlinevirtual

Reimplemented in ana::switch_cfg_superedge.

References NULL.

Referenced by infinite_loop_diagnostic::add_final_event().

get_any_callgraph_edge()

cgraph_edge * ana::superedge::get_any_callgraph_edge

(

)

const

get_any_cfg_edge()

::edge ana::superedge::get_any_cfg_edge

(

)

const

Referenced by starts_infinite_loop_p().

get_description()

label_text ana::superedge::get_description

(

bool

user_facing

)

const

Referenced by perpetual_start_cfg_edge_event::print_desc().

get_kind()

enum edge_kind ana::superedge::get_kind ( ) const

inline

References m_kind.

to_json()

std::unique_ptr< json::object > ana::superedge::to_json

(

)

const

Field Documentation

m_dest

node_t* const dedge< supergraph_traits >::m_dest

inherited

m_kind

enum edge_kind ana::superedge::m_kind

Referenced by get_kind().

m_src

node_t* const dedge< supergraph_traits >::m_src

inherited

Referenced by ana::switch_cfg_superedge::get_switch_stmt().

---

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

• supergraph.h