From 5aebc063371589fb596f5b651bb273da73402043 Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Thu, 21 Jul 2016 16:20:37 +0200 Subject: [PATCH] Fehlerhaften Filter auslassen --- src/de/dhbwstuttgart/core/MyCompiler.java | 8 ++++---- src/de/dhbwstuttgart/syntaxtree/SourceFile.java | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/de/dhbwstuttgart/core/MyCompiler.java b/src/de/dhbwstuttgart/core/MyCompiler.java index 49b01d7cb..ef2bcddee 100755 --- a/src/de/dhbwstuttgart/core/MyCompiler.java +++ b/src/de/dhbwstuttgart/core/MyCompiler.java @@ -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; } diff --git a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java index 4512bb433..7b9641dce 100755 --- a/src/de/dhbwstuttgart/syntaxtree/SourceFile.java +++ b/src/de/dhbwstuttgart/syntaxtree/SourceFile.java @@ -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: ////////////////