saveDotAnalysis.h

#include <featureTests.h>
#ifdef ROSE_ENABLE_SOURCE_ANALYSIS

#ifndef SAVEDOT_ANALYSIS_H
#define SAVEDOT_ANALYSIS_H

#include "genericDataflowCommon.h"
#include "VirtualCFGIterator.h"
#include "cfgUtils.h"
#include "CallGraphTraverse.h"
#include "analysisCommon.h"
#include "analysis.h"
#include "dataflow.h"
#include "latticeFull.h"


extern int divAnalysisDebugLevel;

/***********************
 *** SaveDotAnalysis ***
 ***********************/
// The SaveDotAnalysis saves its target function's CFG into a file
class SaveDotAnalysis: virtual public IntraProceduralAnalysis
{
        public:
        
        bool runAnalysis(const Function& func, NodeState* state);
};


// Saves the CFGs of all the functions into their own files
// Precondition: initAnalysis() has been called
void saveCFGsToDots();

#endif
#endif