ROSE
0.9.6a
|
Define the edge type of PDG. More...
#include <PDG.h>
Public Types | |
enum | EdgeType { ControlDependence, DataDependence } |
Public Attributes | |
EdgeType | type |
Indicate the type of this edge, whether control or data dependence. More... | |
VirtualCFG::EdgeConditionKind | condition |
The condition attached to edges in the CDG. More... | |
SgExpression * | caseLabel |
If the condition is a case edge, this expression is the case value. More... | |
std::set< VarName > | varNames |
All variable names in data dependence of this edge. More... | |
Define the edge type of PDG.
Note that in this structure, if its type is "ControlDependence", only the member "key" is used, else only the member "varNames" is used.
EdgeType SDG::PDGEdge::type |
VirtualCFG::EdgeConditionKind SDG::PDGEdge::condition |
SgExpression* SDG::PDGEdge::caseLabel |
std::set<VarName> SDG::PDGEdge::varNames |