Changes in src/CodeGen/CodeGenerator.h [42a36d9:0f79853]

File:

• src/CodeGen/CodeGenerator.h (modified) (4 diffs)

src/CodeGen/CodeGenerator.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Tue Apr 30 12:01:00 2019
-// Update Count     : 57
+// Last Modified On : Fri Aug 18 15:40:00 2017
+// Update Count     : 56
 //
 
@@ -20 +20 @@
 #include <string>                 // for string
 
-#include "CodeGen/Options.h"      // for Options
 #include "Common/Indenter.h"      // for Indenter
 #include "Common/PassVisitor.h"   // for PassVisitor
@@ -32 +31 @@
 
                 CodeGenerator( std::ostream &os, bool pretty = false, bool genC = false, bool lineMarks = false, bool printExprTypes = false );
-                CodeGenerator( std::ostream &os, const Options &options );
 
                 //*** Turn off visit_children for all nodes
@@ -146 +144 @@
                 std::ostream & output;
                 LabelPrinter printLabels;
-                Options options;
+                bool pretty = false;  // pretty print
+                bool genC = false;    // true if output has to be C code
+                bool lineMarks = false;
+                bool printExprTypes = false;
         public:
                 LineEnder endl;