Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / GMLMIP-0.1 / parser / test.cpp @ 7c4d2eb4

History | View | Annotate | Download (421 Bytes)

1
#include <iostream>
2
#include "mlf-driver.h"
3

    
4
int main (int argc, char *argv[]){
5
        mlf_driver driver;
6
        for (++argv; argv[0]; ++argv)
7
                if (*argv == std::string ("-p"))
8
                        driver.trace_parsing = true;
9
                else if (*argv == std::string ("-s"))
10
                        driver.trace_scanning = true;
11
                else if (!driver.parse (*argv)){
12
                        std::cout << driver.result << std::endl;
13
                        std::cout << (driver.formula)->logic << std::endl;
14
                }
15
        return 0;
16
}