i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

Fehlerhaften Filter auslassen

Browse Source
This commit is contained in:
JanUlrich 2016-07-21 16:20:37 +02:00
parent 0896cf8236
commit 5aebc06337
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/de/dhbwstuttgart/core/MyCompiler.java
View File

@ -158,10 +158,10 @@ public class MyCompiler implements MyCompilerAPI{
ret.add(funN.getPublicFieldAssumptions());
}
//Keine FunVoidInterfaces in den Assumptions.
//for(int i = 0; i<6; i++){
// FunVoidNInterface funN = new FunVoidNInterface(i);
// ret.add(funN.getPublicFieldAssumptions());
//}
for(int i = 0; i<6; i++){
FunVoidNInterface funN = new FunVoidNInterface(i);
ret.add(funN.getPublicFieldAssumptions());
}
return ret;
}

4
src/de/dhbwstuttgart/syntaxtree/SourceFile.java
View File

@ -375,12 +375,12 @@ public class SourceFile
unifyConstraints.filterWrongConstraints(unifier);
unifyConstraints.unifyUndConstraints(unifier); //rausgeworfen für Tests (08.12.2015)
//unifyConstraints.unifyUndConstraints(unifier); //rausgeworfen für Tests (08.12.2015)
typinferenzLog.debug("Übriggebliebene Konstraints:\n"+oderConstraints+"\n", Section.TYPEINFERENCE);
typinferenzLog.debug("Übriggebliebene Konvertierte Konstraints:\n"+unifyConstraints+"\n", Section.TYPEINFERENCE);
////////////////
//Karthesisches Produkt bilden:
////////////////