l-inference-frontend.cpp

#include <iostream>
#include <fstream>
#include <sstream>
#include "ast/expression.h"
#include "TypeInference.h"

using namespace std;

int yylex();
int yyparse();
extern int yy_scan_string(const char* c);


void (*parser_error_fn)(string);
int curr_lineno;
Expression* res_expr;


string int_to_string(long i) {
	char temp[100];
	sprintf(temp, "%ld",  i);
	string res = temp;
	return res;
}

long int string_to_int(const string & s) {
	stringstream ss;
	ss<< s;
	long int res;
	ss >> res;
	return res;
}

void parse(const string & s, void (*write_fn)(string)) {
	curr_lineno = 1;
	res_expr = NULL;
	parser_error_fn = write_fn;
	yy_scan_string(s.c_str());
	if(yyparse()!=0) {
		res_expr = NULL;
	}
}

void report_error(string c) {
	cout << c << endl;
}


int main(int argc, char** argv) {
	if(argc <=1) {
	  cout << "No filename given " << endl;
	  return -1;
	}

	string filename;

	bool print_ast = false;
	if(argc == 2)
	  filename = argv[1];
	else {
	  filename = argv[2];
	  string flags = argv[1];
	  if(flags == "-ast") print_ast = true;

	}
	ifstream file(filename.c_str());
	if(!file.is_open()) {
	cout << "File \"" << filename << "\" cannot be opened." << endl;
	return -1;
	}

	string res;
	bool first = true;
	while(!file.eof()) {
	  if(!first) res+="\n";
	  first = false;
	  string temp;
	  std::getline(file, temp);
	  res+=temp;
	}  
	parse(res, report_error);

	if(print_ast && res_expr != NULL) {
	  cout << "****************** AST ******************" << endl;
	  cout << res_expr->to_string() << endl;
	  cout << "*****************************************" << endl;
	}

	if(res_expr != NULL) {
	  cout << res_expr->to_string() << endl;
	  TypeInference ti(res_expr);
	}
}