package vaporize.library;

import java.util.logging.Logger;
import java.util.logging.ConsoleHandler;

import cs132.vapor.ast.*;
import st.*;
import misc.*;
import java.util.*;

public class SpillEverywhere extends VInstr.VisitorPR<String, String, RuntimeException> {

    private static Logger log = Logger.getLogger(SpillEverywhere.class.getName());
    private static ConsoleHandler consoleHandler = new ConsoleHandler();
    static {
        consoleHandler.setFormatter(new MinimalSimpleFormatter());
        log.addHandler(consoleHandler);
    }

    private VaporProgram vp;
    private Kettle kettle;
    private String vaporm;

    // public CFGSimp(VaporProgram v) {

    //     // nodes
    //     for (VInstr s : n.body)
    //         this.cfg.addNode(new CFGNode(s));

    //     // edges
    //     for (VInstr s : n.body)
    //         s.accept("", this);

    //     System.out.println(this.cfg.getNodes().toString());
    // }

    public SpillEverywhere(VaporProgram vp, ArrayList<String> vapor) {
        this.vp = vp;
        this.kettle = new Kettle(vapor);
        this.vaporm = "";

        for (VFunction f : vp.functions) {
            for (VInstr s : f.body) {
                // s.accept("", this);
            }
            this.kettle.replaceFunctionDeclare(f, 0, 0, 0);
        }
        this.log.info(kettle.dump());
    }

    public String visit(String p, VMemRead n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.getClass().getSimpleName(),
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

    public String visit(String p, VMemWrite n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.getClass().getSimpleName(),
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

    public String visit(String p, VAssign n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.getClass().getSimpleName(),
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

    public String visit(String p, VBranch n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.getClass().getSimpleName(),
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

    public String visit(String p, VGoto n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.getClass().getSimpleName(),
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

    public String visit(String p, VCall n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.getClass().getSimpleName(),
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

    public String visit(String p, VBuiltIn n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.op.name,
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

    public String visit(String p, VReturn n) throws RuntimeException {
        log.info(String.format("%s (%s:%s)",
                               n.getClass().getSimpleName(),
                               this.kettle.get(n),
                               n.sourcePos.toString()));
        return null;
    }

}