Joel Grunbaum
2021-08-12 ca483d438742be9650a5045e846b974f57c67e4f
gens/dot.h
@@ -1,12 +1,14 @@
#ifndef DOT_H
#define DOT_H
#include <fstream>
#include "../ast.h"
#include "../gens.h"
#include <fstream>
class dot_gen: public gen {
class dot_gen : public gen
{
   std::ofstream out;
   int node_cnt;
public:
   ~dot_gen();
   void set_file(std::string file_name);
@@ -14,7 +16,7 @@
   void* visit_Document(Document *d);
   void* visit_Block_Table(Block_Table *bt);
   void* visit_Block_Code(Block_Code *bc);
   void* visit_Block_Line(Block_Line *bl);
   void *visit_Block_Word(Block_Word *bl);
   void* visit_Heading(Heading *h);
   void* visit_List(List *l);
   void* visit_MathDisp(MathDisp *md);
@@ -25,5 +27,7 @@
   void* visit_Format_Bold(Format_Bold *fb);
   void* visit_Format_Italic(Format_Italic *fi);
   void* visit_Format_Verbatim(Format_Verbatim *fv);
   void *visit_Format_Strikethrough(Format_Strikethrough *fs);
   void *visit_Format_Underline(Format_Underline *fu);
};
#endif