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

File:

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

src/CodeGen/CodeGenerator.h

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Andrew Beach
-// Last Modified On : Fri Aug 18 15:40:00 2017
-// Update Count     : 56
+// Last Modified On : Tue Apr 30 12:01:00 2019
+// Update Count     : 57
 //
 
@@ -20 +20 @@
 #include <string>                 // for string
 
+#include "CodeGen/Options.h"      // for Options
 #include "Common/Indenter.h"      // for Indenter
 #include "Common/PassVisitor.h"   // for PassVisitor
@@ -31 +32 @@
 
                 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
@@ -94 +96 @@
                 void postvisit( ConstructorExpr * );
                 void postvisit( DeletedExpr * );
+                void postvisit( DefaultArgExpr * );
                 void postvisit( GenericExpr * );
 
@@ -143 +146 @@
                 std::ostream & output;
                 LabelPrinter printLabels;
-                bool pretty = false;  // pretty print
-                bool genC = false;    // true if output has to be C code
-                bool lineMarks = false;
-                bool printExprTypes = false;
+                Options options;
         public:
                 LineEnder endl;