ROSE  0.9.9.109
saveDotAnalysis.h
1 #ifndef SAVEDOT_ANALYSIS_H
2 #define SAVEDOT_ANALYSIS_H
3 
4 #include "genericDataflowCommon.h"
5 #include "VirtualCFGIterator.h"
6 #include "cfgUtils.h"
7 #include "CallGraphTraverse.h"
8 #include "analysisCommon.h"
9 #include "analysis.h"
10 #include "dataflow.h"
11 #include "latticeFull.h"
12 
13 
14 extern int divAnalysisDebugLevel;
15 
16 /***********************
17  *** SaveDotAnalysis ***
18  ***********************/
19 // The SaveDotAnalysis saves its target function's CFG into a file
21 {
22  public:
23 
24  bool runAnalysis(const Function& func, NodeState* state);
25 };
26 
27 
28 // Saves the CFGs of all the functions into their own files
29 // Precondition: initAnalysis() has been called
30 void saveCFGsToDots();
31 
32 #endif