forked from JavaTX/JavaCompilerCore
55 lines
1.6 KiB
Java
55 lines
1.6 KiB
Java
package unify;
|
|
|
|
import java.io.File;
|
|
import java.io.FileNotFoundException;
|
|
import java.io.IOException;
|
|
import java.io.PrintWriter;
|
|
import java.io.UnsupportedEncodingException;
|
|
|
|
import org.junit.Test;
|
|
|
|
import de.dhbwstuttgart.core.MyCompiler;
|
|
import de.dhbwstuttgart.core.MyCompilerAPI;
|
|
import de.dhbwstuttgart.logger.Logger;
|
|
import de.dhbwstuttgart.logger.LoggerConfiguration;
|
|
import de.dhbwstuttgart.logger.Section;
|
|
import de.dhbwstuttgart.parser.JavaParser.yyException;
|
|
import de.dhbwstuttgart.syntaxtree.SourceFile;
|
|
import de.dhbwstuttgart.typeinference.Menge;
|
|
import de.dhbwstuttgart.typeinference.TypeinferenceResultSet;
|
|
|
|
public class UnifyFilter {
|
|
public final static String rootDirectory = System.getProperty("user.dir")+"/test/unify/";
|
|
|
|
private final String testFile = "UnifyFilter.jav";
|
|
|
|
@Test
|
|
public void test(){
|
|
MyCompilerAPI compiler = MyCompiler.getAPI(new LoggerConfiguration().setOutput(Section.UNIFY, System.out));
|
|
try {
|
|
compiler.parse(new File(this.rootDirectory+testFile));
|
|
Menge<TypeinferenceResultSet> ergebnis = compiler.typeReconstruction();
|
|
//Nichts weiter unternehmen. Nur die Ausgabe des Unifikationsalgorithmus anzeigen.
|
|
String log = Logger.getWholeLog();
|
|
//System.out.println(log);
|
|
writeLogFile(log);
|
|
} catch (Exception e){
|
|
e.printStackTrace();
|
|
}
|
|
}
|
|
|
|
private void writeLogFile(String log){
|
|
try {
|
|
PrintWriter writer = new PrintWriter(rootDirectory+testFile+".log", "UTF-8");
|
|
writer.write(log);
|
|
} catch (FileNotFoundException e) {
|
|
// TODO Auto-generated catch block
|
|
e.printStackTrace();
|
|
} catch (UnsupportedEncodingException e) {
|
|
// TODO Auto-generated catch block
|
|
e.printStackTrace();
|
|
}
|
|
|
|
}
|
|
}
|