package plugindevelopment.MartinTestCases;

import java.io.File;
import java.io.IOException;
import java.util.Vector;

import org.junit.Test;

import plugindevelopment.TypeInsertTester;
import plugindevelopment.TypeInsertTests.MultipleTypesInsertTester;
import junit.framework.TestCase;
import mycompiler.MyCompiler;
import mycompiler.MyCompilerAPI;
import mycompiler.myparser.JavaParser.yyException;
import mycompiler.mytypereconstruction.TypeinferenceResultSet;
import typinferenz.TypeInsertSet;

public class Tester extends TypeInsertTester{

	public final static String rootDirectory = System.getProperty("user.dir")+"/test/plugindevelopment/MartinTestCases/";
	
	public static void test(String sourceFileToInfere, Vector<String> mustContain){
		String gesamterSrc = "";
		String inferedSource = "";
		MyCompilerAPI compiler = MyCompiler.getAPI();
		try {
			compiler.parse(new File(rootDirectory + sourceFileToInfere));
			Vector<TypeinferenceResultSet> results = compiler.typeReconstruction();
			//TestCase.assertTrue("Es darf nicht mehr als eine Lösungsmöglichkeit geben und nicht "+results.size(), results.size()==1);
			for(TypeinferenceResultSet result : results){
				TypeInsertSet point = result.getTypeInsertionPoints();
				//TestCase.assertTrue("Es muss mindestens ein TypeInsertSet vorhanden sein", points.size()>0);
				
				//TestCase.assertTrue("Es muss mindestens ein TypeInsertPoint vorhanden sein", point.points.size()>0);
				if(point.points.size()>0){
					inferedSource = point.insertAllTypes(TypeInsertTester.getFileContent(rootDirectory + sourceFileToInfere));
					System.out.println(inferedSource);
					gesamterSrc += inferedSource;
				}
			
			}
			
		} catch (IOException | yyException e) {
			e.printStackTrace();
			TestCase.fail();
		}
		for(String containString : mustContain){
			TestCase.assertTrue("\""+containString+"\" muss in den inferierten Lösungen vorkommen",gesamterSrc.contains(containString));
		}
	}
	
	@Test
	public void runTests(){
		Vector<String> testFiles = new Vector<String>();
		testFiles.add("AchimTest1.jav");
		testFiles.add("MatrixWhile.jav");
		//testFiles.add("BoundedType1.jav");
		testFiles.add("BoundedType2.jav");
		testFiles.add("BoundedType.jav");
		testFiles.add("OL2.jav");
		testFiles.add("OL.jav");
		testFiles.add("Simple.jav");
		testFiles.add("SMatrix.jav");
		testFiles.add("UnifyTest1.jav");
		testFiles.add("UsecaseEight_pl.jav");
		testFiles.add("UsecaseFive_pl.jav");
		testFiles.add("UsecaseFour_pl.jav");
		testFiles.add("Usecase_MUBTest1.jav");
		testFiles.add("Usecase_MUBTest2.jav");
		testFiles.add("Usecase_MUBTest3.jav");
		testFiles.add("Usecase_MUBTest4.jav");
		testFiles.add("Usecase_MUBTest5.jav");
		testFiles.add("Usecase_MUBTest6.jav");
		testFiles.add("Usecase_MUBTest.jav");
		testFiles.add("UsecaseNine_pl.jav");
		testFiles.add("UsecaseOne_pl.jav");
		testFiles.add("UsecaseSeven_pl.jav");
		testFiles.add("UsecaseSix_pl.jav");
		testFiles.add("UsecaseTen_pl.jav");
		testFiles.add("UsecaseThree_pl.jav");
		testFiles.add("UsecaseThree_pl.orig.jav");
		testFiles.add("UsecaseTwo_pl.jav");
		testFiles.add("ZweiKlassen.jav");
		//*/
		for(String file : testFiles){
			System.out.println("Testfile: "+file);
			Tester.test(file, new Vector<String>());			
		}
	}
	
}