ROSE  0.11.145.0
Public Member Functions | Public Attributes | List of all members
VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge > Struct Template Reference

Description

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

Definition at line 31 of file filteredCFGImpl.h.

Collaboration diagram for VirtualCFG::MakeClosure< FindSuccessors, FindEnd, DontAddChildren, Join, FilteredEdge >:
Collaboration graph
[legend]

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)
 
std::vector< FilteredEdge > filter () const
 Process visited CFGPaths: convert them into edges.
 

Public Attributes

std::set< CFGNodevisitedNodes
 
std::vector< CFGPathvisitedPaths
 
const FindSuccessors & findSuccessors
 
const FindEnd & findEnd
 
const DontAddChildren & dontAddChildren
 
const Join & join
 

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