ROSE
0.11.96.11
|
Definition at line 20 of file printAnalysisStates.h.
Public Types | |
enum | ab { above =0, below =1 } |
Public Member Functions | |
printAnalysisStates (Analysis *creator, std::vector< int > &factNames, std::vector< int > &latticeNames, ab latSide, std::string indent) | |
void | visit (const Function &func, const DataflowNode &n, NodeState &state) |
![]() | |
bool | runAnalysis (const Function &func, NodeState *state) |
![]() | |
void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
![]() | |
Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Public Attributes | |
Analysis * | creator |
std::vector< int > | latticeNames |
std::vector< int > | factNames |
std::string | indent |
ab | latSide |
![]() | |
bool(* | filter )(CFGNode cfgn) |
Additional Inherited Members | |
![]() | |
InterProceduralAnalysis * | interAnalysis |