test_bison.cpp

Go to the documentation of this file.

#include <iostream>
#include <fstream>

#include <limbo/parsers/lp/bison/LpDriver.h>

using std::cout;
using std::cin;
using std::endl;
using std::string;

class LpDataBase : public LpParser::LpDataBase
{
    public:
        typedef LpParser::int64_t int64_t;
        LpDataBase()
        {
            cout << "constructing LpDataBase" << endl;
        }
        void add_variable(string const& vname, double l, double r) 
        {
            cout << l << " <= " << vname << " <= " << r << endl;
        }
        void add_constraint(string const& cname, LpParser::TermArray const& terms, char compare, double constant) 
        {
            cout << cname << ": ";
            for (LpParser::TermArray::const_iterator it = terms.begin(); it != terms.end(); ++it)
                cout << " + " << it->coef << " " << it->var; 
            cout << " " << compare << " " << constant << endl; 
        }
        void add_objective(bool minimize, LpParser::TermArray const& terms)
        {
            if (minimize)
                cout << "Minimize\n"; 
            else 
                cout << "Maximize\n";
            for (LpParser::TermArray::const_iterator it = terms.begin(); it != terms.end(); ++it)
                cout << " + " << it->coef << " " << it->var; 
            cout << endl; 
            cout << "Subject To\n";
        }
        void set_integer(string const& vname, bool binary)
        {
            if (binary)
                cout << vname << ": BINARY\n";
            else 
                cout << vname << ": INTEGER\n";
        }
};

void test1(string const& filename)
{
    cout << "////////////// test1 ////////////////" << endl;
    LpDataBase db;
    LpParser::read(db, filename);
}

void test2(string const& filename)
{
    cout << "////////////// test2 ////////////////" << endl;
    LpDataBase db;
    LpParser::Driver driver (db);
    //driver.trace_scanning = true;
    //driver.trace_parsing = true;

    driver.parse_file(filename);
}

int main(int argc, char** argv)
{
    if (argc > 1)
    {
        test1(argv[1]);
        test2(argv[1]);
    }
    else 
        cout << "at least 1 argument is required" << endl;

    return 0;
}