/*
   Simplified MiniJava to C++ translator, using cppvisitor class
*/
import java.io.*;

public class transcpp
{
    public static void main(String[] args) throws Exception
    {
	Global.sourcefile = args[0];
	Global.targetfile = args[1];
        
	parser Pr = new parser();
	absyn Prog = (absyn) Pr.parse().value;
	
        PrintWriter pw = new PrintWriter(new FileWriter(args[1]));
	cppvisitor translator = new cppvisitor(pw);
	Prog.accept(translator);
	pw.close();
    }
} // transcpp