VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > Struct Template Reference

#include <filteredCFGImpl.h>

Public Member Functions
	MakeClosure (const FindSuccessors &findSuccessors, const FindEnd &findEnd, const DontAddChildren &dontAddChildren, const Join &join)
void	go (const CFGPath &p)
	Process one CFGPath at a time: make sure the end edge is an interesting one (should not be filtered out) More...
std::vector< FilteredEdge >	filter () const
	Process visited CFGPaths: convert them into edges. More...

Public Attributes
std::set< CFGNode >	visitedNodes
std::vector< CFGPath >	visitedPaths
const FindSuccessors &	findSuccessors
const FindEnd &	findEnd
const DontAddChildren &	dontAddChildren
const Join &	join

Detailed Description

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>
struct VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >

Definition at line 29 of file filteredCFGImpl.h.

Constructor & Destructor Documentation

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::MakeClosure ( const FindSuccessors &  findSuccessors, const FindEnd &  findEnd, const DontAddChildren &  dontAddChildren, const Join &  join  )

inline

Definition at line 38 of file filteredCFGImpl.h.

Member Function Documentation

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

void VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go ( const CFGPath &  p)

inline

Process one CFGPath at a time: make sure the end edge is an interesting one (should not be filtered out)

Definition at line 48 of file filteredCFGImpl.h.

References VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::dontAddChildren, VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::findEnd, VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::findSuccessors, VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::join, VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::visitedNodes, and VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::visitedPaths.

Referenced by VirtualCFG::makeClosure().

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

std::vector< FilteredEdge > VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::filter ( ) const

inline

Process visited CFGPaths: convert them into edges.

Definition at line 70 of file filteredCFGImpl.h.

References VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::dontAddChildren, VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::findEnd, and VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::visitedPaths.

Referenced by VirtualCFG::makeClosure().

Member Data Documentation

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

std::set< CFGNode > VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::visitedNodes

Definition at line 31 of file filteredCFGImpl.h.

Referenced by VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go().

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

std::vector< CFGPath > VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::visitedPaths

Definition at line 32 of file filteredCFGImpl.h.

Referenced by VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::filter(), and VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go().

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const FindSuccessors& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::findSuccessors

Definition at line 33 of file filteredCFGImpl.h.

Referenced by VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go().

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const FindEnd& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::findEnd

Definition at line 34 of file filteredCFGImpl.h.

Referenced by VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::filter(), and VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go().

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const DontAddChildren& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::dontAddChildren

Definition at line 35 of file filteredCFGImpl.h.

Referenced by VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::filter(), and VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go().

template<typename FindSuccessors, typename FindEnd, typename DontAddChildren, typename Join, typename FilteredEdge>

const Join& VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::join

Definition at line 36 of file filteredCFGImpl.h.

Referenced by VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >::go().

---

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

• filteredCFGImpl.h