source: tools/prettyprinter/main.cc @ 2b7afbd

// 
// 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"

extern int yydebug;
extern int yyparse( void );

int main( int argc, char *argv[] ) {
        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 );
        }

        //yydebug = 1;
        yyparse();
}

// Local Variables: //
// mode: c++ //
// tab-width: 4 //
// compile-command: "make install" //
// End: //