Changeset 7d4f6ed for tools/prettyprinter/main.cc

Timestamp:

Jun 29, 2017, 8:04:42 AM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

2b7afbd

Parents:

9335ecc

Message:

remainder of pretty printer

File:

• tools/prettyprinter/main.cc (modified) (2 diffs)

tools/prettyprinter/main.cc

@@ -1 @@
-#include <cstdlib>
+// 
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+// 
+// main.cc -- 
+// 
+// Author           : Peter A. Buhr
+// Created On       : Wed Jun 28 22:57:26 2017
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed Jun 28 22:58:40 2017
+// Update Count     : 3
+// 
+
+#include <iostream>
+#include <string>
+using namespace std;
 #include "filter.h"
 
@@ -6 +23 @@
 
 int main( int argc, char *argv[] ) {
-    switch ( argc ) {
-      case 2: {
-          string arg( argv[1] );
+        switch ( argc ) {
+          case 2: {
+                  string arg( argv[1] );
 
-          if ( arg == "-identity" ) {
-              filter = Identity;
-          } else if ( arg == "-parse_tree" ) {
-              filter = Parse_Tree;
-          } else if ( arg == "-nocode" ) {
-              filter = Nocode;
-          } else if ( arg == "-latex" ) {
-              filter = LaTeX;
-          } else if ( arg == "-html" ) {
-              filter = HTML;
-          } else {
-              cerr << "Unknown printer option: " << argv[1] << endl;
-              goto usage;
-          } // if
-          break;
-      }
-      usage:
-      default:
-        cerr << "Usage: " << argv[0] << " [-identity | -parse_tree | -nocode | -latex | -html] < bison.y" << endl;
-        exit( -1 );
-    }
+                  if ( arg == "-identity" ) {
+                          filter = Identity;
+                  } else if ( arg == "-parse_tree" ) {
+                          filter = Parse_Tree;
+                  } else if ( arg == "-nocode" ) {
+                          filter = Nocode;
+                  } else if ( arg == "-latex" ) {
+                          filter = LaTeX;
+                  } else if ( arg == "-html" ) {
+                          filter = HTML;
+                  } else {
+                          cerr << "Unknown printer option: " << argv[1] << endl;
+                          goto usage;
+                  } // if
+                  break;
+          }
+          usage:
+          default:
+                cerr << "Usage: " << argv[0] << " [-identity | -parse_tree | -nocode | -latex | -html] < bison.y" << endl;
+                exit( -1 );
+        }
 
-    //yydebug = 1;
-    yyparse();
+        //yydebug = 1;
+        yyparse();
 }
 
 // Local Variables: //
-// compile-command: "gmake" //
+// mode: c++ //
+// tab-width: 4 //
+// compile-command: "make install" //
 // End: //