cfgToDot.h

Go to the documentation of this file.

#ifndef CFG_TO_DOT_H
#define CFG_TO_DOT_H
#include <string>

namespace VirtualCFG {

  // From cfgToDot.C:
  std::ostream& cfgToDot(std::ostream& o, std::string graphName, CFGNode start);
  std::ostream& cfgToDot(std::ostream& o, std::string graphName, InterestingNode start);

  std::ostream& cfgToDotForDebugging(std::ostream& o, std::string graphName, CFGNode start);
  std::ostream& cfgToDotForDebugging(std::ostream& o, std::string graphName, InterestingNode start);

  void cfgToDot (SgNode* start, const std::string& file_name);
  
  void interestingCfgToDot (SgNode* start, const std::string& file_name);

  void cfgToDotForDebugging(SgNode* start, const std::string& file_name);
}

// endif for CFG_TO_DOT_H
#endif

---