JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity

modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java

Browse Source 
Tenaeren Operator fuer log-File eingefuegt
This commit is contained in:
pl@gohorb.ba-horb.de 2023-03-08 14:26:08 +01:00
parent 62e022c2f7
commit cdd4cd9968
3 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
resources/AllgemeinTest/Pair.jav
View File

@ -12,7 +12,7 @@ class Pair<U, T> {
ret.b = x.elementAt(1); ret.b = x.elementAt(1);
return ret; return ret;
} }
/*
eq(a, b) { eq(a, b) {
b = a; b = a;
return a == b; return a == b;
@ -22,7 +22,7 @@ class Pair<U, T> {
return eq(p.a, p.b); return eq(p.a, p.b);
//return p.a == p.b; //return p.a == p.b;
} }
/*
void m(Pair<?, ?> p, List<? extends Eq> b) void m(Pair<?, ?> p, List<? extends Eq> b)
{ {
//this.compare(p); //1, type incorrect //this.compare(p); //1, type incorrect

10
src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
View File

@ -56,11 +56,14 @@ import java.io.File;
import java.io.FileOutputStream; import java.io.FileOutputStream;
import java.io.FileWriter; import java.io.FileWriter;
import java.io.IOException; import java.io.IOException;
import java.io.OutputStreamWriter;
import java.io.Writer; import java.io.Writer;
import java.util.*; import java.util.*;
import java.util.function.Function; import java.util.function.Function;
import java.util.stream.Collectors; import java.util.stream.Collectors;
import org.apache.commons.io.output.NullOutputStream;
public class JavaTXCompiler { public class JavaTXCompiler {
@ -552,11 +555,8 @@ public class JavaTXCompiler {
final ConstraintSet<Pair> cons = getConstraints(); final ConstraintSet<Pair> cons = getConstraints();
Set<Set<UnifyPair>> results = new HashSet<>(); Set<Set<UnifyPair>> results = new HashSet<>();
try { try {
Writer logFile = //new OutputStreamWriter(new NullOutputStream()); Writer logFile = log ? new FileWriter(new File(System.getProperty("user.dir") + "/logFiles/" + "log_" + sourceFiles.keySet().iterator().next().getName()))
// new FileWriter(new : new OutputStreamWriter(new NullOutputStream());
// File(System.getProperty("user.dir")+"/resources/logFiles/"+"log_"+sourceFiles.keySet().iterator().next().getName()));
new FileWriter(new File(System.getProperty("user.dir") + "/logFiles/" + "log_"
+ sourceFiles.keySet().iterator().next().getName()));
IFiniteClosure finiteClosure = UnifyTypeFactory.generateFC(allClasses, logFile, classLoader); IFiniteClosure finiteClosure = UnifyTypeFactory.generateFC(allClasses, logFile, classLoader);
System.out.println(finiteClosure); System.out.println(finiteClosure);
ConstraintSet<UnifyPair> unifyCons = UnifyTypeFactory.convert(cons); ConstraintSet<UnifyPair> unifyCons = UnifyTypeFactory.convert(cons);

4
src/test/java/AllgemeinTest.java
View File

@ -52,9 +52,9 @@ public class AllgemeinTest {
//String className = "VectorNotObject"; //String className = "VectorNotObject";
//String className = "WildcardCaptureConversionTest"; //String className = "WildcardCaptureConversionTest";
//String className = "CaptureConversion"; //String className = "CaptureConversion";
//String className = "Pair"; String className = "Pair";
//String className = "UseWildcardPair"; //String className = "UseWildcardPair";
String className = "Assign"; //String className = "Assign";
//PL 2019-10-24: genutzt fuer unterschiedliche Tests //PL 2019-10-24: genutzt fuer unterschiedliche Tests
path = System.getProperty("user.dir")+"/resources/AllgemeinTest/" + className + ".jav"; path = System.getProperty("user.dir")+"/resources/AllgemeinTest/" + className + ".jav";
//path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav"; //path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav";