#ifndef NG_DUMP_H
#define NG_DUMP_H
#include "grey.h"
#include "ng_holder.h"
#include "ue2common.h"
#include <unordered_map>
#ifdef DUMP_SUPPORT
#include <fstream>
#endif
struct RoseEngine;
namespace ue2 {
class NGHolder;
class NG;
class ExpressionInfo;
class ReportManager;
#ifdef DUMP_SUPPORT
template <typename GraphT>
void dumpGraphImpl(const char *name, const GraphT &g);
template <typename GraphT>
void dumpGraphImpl(const char *name, const GraphT &g, const ReportManager &rm);
void dumpDotWrapperImpl(const NGHolder &g, const ExpressionInfo &expr,
const char *name, const Grey &grey);
void dumpComponentImpl(const NGHolder &g, const char *name, u32 expr, u32 comp,
const Grey &grey);
void dumpSomSubComponentImpl(const NGHolder &g, const char *name, u32 expr,
u32 comp, u32 plan, const Grey &grey);
void dumpHolderImpl(const NGHolder &h, unsigned int stageNumber,
const char *stageName, const Grey &grey);
void dumpHolderImpl(const NGHolder &h,
const std::unordered_map<NFAVertex, u32> ®ion_map,
unsigned int stageNumber, const char *stageName,
const Grey &grey);
template <typename GraphT>
static inline void dumpGraph(UNUSED const char *name, UNUSED const GraphT &g) {
dumpGraphImpl(name, g);
}
#endif
UNUSED static inline
void dumpDotWrapper(UNUSED const NGHolder &g, UNUSED const ExpressionInfo &expr,
UNUSED const char *name, UNUSED const Grey &grey) {
#ifdef DUMP_SUPPORT
dumpDotWrapperImpl(g, expr, name, grey);
#endif
}
UNUSED static inline
void dumpComponent(UNUSED const NGHolder &h, UNUSED const char *name,
UNUSED u32 expr, UNUSED u32 comp, UNUSED const Grey &grey) {
#ifdef DUMP_SUPPORT
dumpComponentImpl(h, name, expr, comp, grey);
#endif
}
UNUSED static inline
void dumpSomSubComponent(UNUSED const NGHolder &h, UNUSED const char *name,
UNUSED u32 expr, UNUSED u32 comp, UNUSED u32 plan,
UNUSED const Grey &grey) {
#ifdef DUMP_SUPPORT
dumpSomSubComponentImpl(h, name, expr, comp, plan, grey);
#endif
}
UNUSED static inline
void dumpHolder(UNUSED const NGHolder &h, UNUSED unsigned int stageNumber,
UNUSED const char *name, UNUSED const Grey &grey) {
#ifdef DUMP_SUPPORT
dumpHolderImpl(h, stageNumber, name, grey);
#endif
}
UNUSED static inline
void dumpHolder(UNUSED const NGHolder &h,
UNUSED const std::unordered_map<NFAVertex, u32> ®ion_map,
UNUSED unsigned int stageNumber, UNUSED const char *name,
UNUSED const Grey &grey) {
#ifdef DUMP_SUPPORT
dumpHolderImpl(h, region_map, stageNumber, name, grey);
#endif
}
#ifdef DUMP_SUPPORT
void dumpReportManager(const ReportManager &rm, const Grey &grey);
void dumpSmallWrite(const RoseEngine *rose, const Grey &grey);
#else
static UNUSED
void dumpReportManager(const ReportManager &, const Grey &) {
}
static UNUSED
void dumpSmallWrite(const RoseEngine *, const Grey &) {
}
#endif
#ifdef DUMP_SUPPORT
template <typename GraphT, typename WriterT, typename VertexID>
static void writeGraphviz(std::ostream &out, const GraphT &g, WriterT w,
const VertexID &vertex_id) {
const std::string delimiter(" -> ");
out << "digraph G {" << std::endl;
typename boost::graph_traits<GraphT>::vertex_iterator i, end;
for(boost::tie(i,end) = vertices(g); i != end; ++i) {
out << get(vertex_id, *i);
w(out, *i); out << ";" << std::endl;
}
typename boost::graph_traits<GraphT>::edge_iterator ei, edge_end;
for(boost::tie(ei, edge_end) = edges(g); ei != edge_end; ++ei) {
out << (get(vertex_id, source(*ei, g))) << delimiter
<< (get(vertex_id, target(*ei, g))) << " ";
w(out, *ei); out << ";" << std::endl;
}
out << "}" << std::endl;
}
#endif
}
#endif