JavaTXCompilerInJavaTX/test/typeinference/JavaTXCompilerTest.java

package typeinference;

import de.dhbwstuttgart.core.JavaTXCompiler;
import de.dhbwstuttgart.parser.ClassNotFoundException;
import de.dhbwstuttgart.syntaxtree.SyntaxTreeNode;
import de.dhbwstuttgart.typedeployment.TypeInsertPoint;
import de.dhbwstuttgart.typeinference.ResultSet;
import org.junit.Test;

import java.io.File;
import java.io.IOException;
import java.nio.charset.Charset;
import java.nio.charset.StandardCharsets;
import java.nio.file.Files;
import java.nio.file.Paths;
import java.util.List;

import static org.junit.Assert.*;

public class JavaTXCompilerTest {

    private static final String rootDirectory = System.getProperty("user.dir")+"/test/javFiles/";


    @Test
    public void test() throws IOException, ClassNotFoundException {
        JavaTXCompiler compiler = new JavaTXCompiler();
        compiler.parse(new File(rootDirectory+"Vector.jav"));
        //compiler.parse(new File(rootDirectory+"Generics.jav"));
        //compiler.parse(new File(rootDirectory+"MethodsEasy.jav"));
        //compiler.parse(new File(rootDirectory+"Lambda.jav"));
        //compiler.parse(new File(rootDirectory+"Matrix.jav"));

        List<TypeInsertPoint> result = compiler.getTypeInserts(new File(rootDirectory+"Vector.jav"));
        String content = readFile(rootDirectory+"Vector.jav", StandardCharsets.UTF_8);
        for(TypeInsertPoint tip : result){
            System.out.println(tip.insert(content));
        }
    }

    static String readFile(String path, Charset encoding)
            throws IOException
    {
        byte[] encoded = Files.readAllBytes(Paths.get(path));
        return new String(encoded, encoding);
    }
}