#include <iostream>
#include <fstream>
#include <vector>
#include <string>
#include <sys/time.h>

#include "runtime.h"

using namespace std;

int g_argc;
char **g_argv;

bool input_is_stdin=false;

string readfile(ifstream stream){
	stream.seekg(0,ios::end);
	size_t len=stream.tellg();
	stream.seekg(0,ios::beg);
	string contents;
	contents.resize(len);
	stream.read(&*contents.begin(),len);
	return contents;
}

int main(int argc,char **argv){
	if(argc<2){
		cerr<<"Call this interpreter with the Postrun source file"<<endl;
		return 1;
	}

	struct timeval tv;
	gettimeofday(&tv,NULL);
	srand(tv.tv_sec*1000000+tv.tv_usec);

	g_argc=argc-2;
	g_argv=argv+2; //skip this executable and the postrun file

	try {
		ifstream srcf;
		vector<string> tokens;
		if(strcmp(argv[1],"-")==0){
			tokens=tokenise(cin);
			input_is_stdin=true;
		} else {
			srcf.open(argv[1]);
			if(!srcf){
				cerr<<"Could not open file '"<<argv[1]<<"'"<<endl;
				return 1;
			}
			tokens=tokenise(srcf);
		}
		run(tokens);
		if(srcf)srcf.close();
	} catch(string e){
		cerr<<"ERROR: "<<e<<endl;
		return 1;
	}
}