package com.google.gwt.dev.jjs.impl.gflow;

import com.google.gwt.core.ext.UnableToCompleteException;
import com.google.gwt.dev.jjs.ast.JMethodBody;
import com.google.gwt.dev.jjs.ast.JProgram;
import com.google.gwt.dev.jjs.impl.JJSTestBase;
import com.google.gwt.dev.jjs.impl.gflow.cfg.AssumptionsPrinter;
import com.google.gwt.dev.jjs.impl.gflow.cfg.Cfg;
import com.google.gwt.dev.jjs.impl.gflow.cfg.CfgBuilder;
import com.google.gwt.dev.jjs.impl.gflow.cfg.CfgEdge;
import com.google.gwt.dev.jjs.impl.gflow.cfg.CfgNode;
import com.google.gwt.dev.util.Strings;

import java.util.Map;

public abstract class CfgAnalysisTestBase<A extends Assumption<A>> 
    extends JJSTestBase {
  protected boolean forward = true;

  protected AnalysisResult analyze(String returnType, String... codeSnippet)
      throws UnableToCompleteException {
    return analyzeWithParams(returnType, "", codeSnippet);
  }

  protected AnalysisResult analyzeWithParams(String returnType, String params,
      String... codeSnippet) throws UnableToCompleteException {
    JProgram program = compileSnippet(returnType, params, Strings.join(
        codeSnippet, "\n"));
    JMethodBody body = (JMethodBody) findMainMethod(program).getBody();
    Cfg cfgGraph = CfgBuilder.build(program, body.getBlock());

    assertNotNull(cfgGraph);

    Map<CfgEdge, A> map = AnalysisSolver.solve(cfgGraph, createAnalysis(), forward);
    return new AnalysisResult(cfgGraph, map);
  }

  protected abstract Analysis<CfgNode<?>, CfgEdge, Cfg, A> createAnalysis();

  protected class AnalysisResult {
    private final Map<CfgEdge, A> assumptions;
    private final Cfg graph;

    public AnalysisResult(Cfg graph,
        Map<CfgEdge, A> assumptions) {
      this.graph = graph;
      this.assumptions = assumptions;
    }

    public void into(String... expected) {
      String actual = new AssumptionsPrinter<A>(graph, assumptions).print();
      assertEquals(Strings.join(expected, "\n"), actual);
    }
  }
}