import java.io.*;
import visitor.*;
import syntaxtree.*;
import java.util.*;
// Files are stored in the vaporize directory/package.
import vaporize.*;

public class Typecheck {
    public static void main(String[] args) {
        Node root = null;
        try {
            root = new MiniJavaParser(System.in).Goal();

            // Pretty-print the tree. PPrinter inherits from
            // GJDepthFirst<R,A>. R=Void, A=String.
            PPrinter<Void,String> pp = new PPrinter<Void,String>();
            root.accept(pp, "");
        }
        catch (ParseException e) {
            System.out.println(e.toString());
            System.exit(1);
        }

    }
}