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