translator.cpp

Go to the documentation of this file.

//
// Date:      14 November   2005   
//
// Copyright (c) Sergey Satskiy 2003 - 2005
//               <sergesatsky@yahoo.com>
//
// Permission to copy, use, modify, sell and distribute this software 
// is granted provided this copyright notice appears in all copies. 
// This software is provided "as is" without express or implied
// warranty, and with no claim as to its suitability for any purpose.
//


#include <iostream>
#include <string>
#include <vector>
using namespace std;

#include "FormulaGrammar.h"



    // The translator takes no arguments or
    // a help key
int  main( int  argc, char **  argv )
{

        // Check the command line arguments first
    if ( argc != 1 )
    {
        if ( (argc == 2 && ( string( argv[ 1 ] ) == "-h" ))     ||
             (argc == 2 && ( string( argv[ 1 ] ) == "--help" ))    )
        {
            cout << "Usage: " << argv[ 0 ] << " [-h | --help]" << endl
                 << "Expects a formula on the standard input." << endl;
            return 0;
        }

            // Unexpected arguments
        cerr << "Unexpected arguments. Type " << argv[ 0 ]
             << " --help for usage." << endl;
        return 1;
    }

    
    string                      InputFormula;           // Found start state
    vector< string >            Code;                   // List of transitions
    parse_info< const char * >  Info;                   // Line parsing result object
    SFormulaGrammar             FormulaGrammar( Code ); // Grammar rules


        // Input the formula to be translated
    cin >> InputFormula;
    if ( cin.fail() )
    {
        cerr << "Wrong input stream" << endl;
        return 2;
    }


    try
    {
            // Parse the input formula using the grammar and standard space parser
        Info = parse( InputFormula.c_str(), FormulaGrammar, space_p );
        if ( !Info.full )
        {
            cerr << "Parsing error. Stopped at: '" << Info.stop << "'" << endl;
            return 3;
        }

            // Print the resulting vector of code on the standard output
        for ( vector< string >::const_iterator  k( Code.begin() );
              k != Code.end(); ++k )
        {
            cout << *k << endl;
        }
    }
    catch ( exception &  Exception )
    {
        cerr << Exception.what() << endl;
        return 4;
    }
    catch ( ... )
    {
        cerr << "Unknown exception." << endl;
        return 4;
    }

    return 0;
}

---