import java.io.*;
import cs132.util.ProblemException;
import cs132.vapor.parser.VaporParser;
import cs132.vapor.ast.VaporProgram;
import cs132.vapor.ast.VBuiltIn.Op;
import cs132.vapor.ast.VFunction;

import java.io.InputStreamReader;
import java.io.IOException;
import java.io.PrintStream;

import st.*;
import misc.*;
import vaporize.library.*;

public class V2VM {

    public static void main(String[] args) {
        try {
            VFunction[] funts = parseVapor(System.in, System.out).functions;

            ControlFlowGraph<String, Void> cfg = new ControlFlowGraph<String, Void>();

            for (VFunction f : funts) {
                f.body[0].accept("", cfg);
            }

        } catch (IOException e) {
            System.out.println(e.toString());
            System.exit(1);
        }
    }

    public static VaporProgram parseVapor(InputStream in, PrintStream err) throws IOException {
        Op[] ops = {
            Op.Add, Op.Sub, Op.MulS, Op.Eq, Op.Lt, Op.LtS,
            Op.PrintIntS, Op.HeapAllocZ, Op.Error,
        };
        boolean allowLocals = true;
        String[] registers = null;
        boolean allowStack = false;

        VaporProgram program;
        try {
            program = VaporParser.run(new InputStreamReader(in), 1, 1,
                                      java.util.Arrays.asList(ops),
                                      allowLocals, registers, allowStack);
        } catch (ProblemException ex) {
            err.println(ex.getMessage());
            return null;
        }

        return program;
    }
}