From 7c7dbf3769b80f5e7dd699ad59bf3f845d192909 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Sun, 29 Mar 2020 11:05:52 +0200
Subject: [PATCH] 	modified:  
 ../../../../main/java/de/dhbwstuttgart/core/JavaTXCompiler.java 
 modified:  
 ../../../../main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
 	modified:  
 ../../../../main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
 Das fehlerveruraschende Paar wird auch zu abhSubst hingefuegt.

---
 src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java     | 2 +-
 .../de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java | 6 ++++--
 .../dhbwstuttgart/typeinference/unify/model/UnifyPair.java  | 5 +++++
 3 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java b/src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
index 8c2b6d41..f03589ed 100644
--- a/src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
+++ b/src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java
@@ -73,7 +73,7 @@ public class JavaTXCompiler {
 
 	public static JavaTXCompiler INSTANCE;
     final CompilationEnvironment environment;
-	Boolean resultmodel = true;
+	Boolean resultmodel = false;
     public final Map<File, SourceFile> sourceFiles = new HashMap<>();
     Boolean log = true; //gibt an ob ein Log-File nach System.getProperty("user.dir")+"src/test/java/logFiles" geschrieben werden soll?
     public volatile UnifyTaskModel usedTasks = new UnifyTaskModel();
diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index d35da74f..98cad271 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -1120,7 +1120,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 		    	//parallel = false; //Wenn MaxNoOfThreads erreicht ist, sequentiell weiterarbeiten
 				elems.add(a); //PL 2019-01-16 muss das wirklich hin steht schon in Zeile 859 ja braucht man siehe Zeile 859
 				res = unify2(elems, eq, oderConstraints, fc, parallel, rekTiefe, finalresult);
-			}}}
+		    }}}
 				if (!isUndefinedPairSetSet(res) && isUndefinedPairSetSet(result)) {
 					//wenn korrektes Ergebnis gefunden alle Fehlerfaelle loeschen
 					result = res;
@@ -1436,7 +1436,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 						res.stream()
 						   .map(b -> 
 						    b.stream()
-						   .map(x -> x.getAllBases())
+						   .map(x -> x.getThisAndAllBases()) //getAllBases durch getThisAndAllBases ersetzt, weil auch im UnifyPair selbst schon ein Fehler liegen kann.
 						   .reduce((y,z) -> { y.addAll(z); return y;}).get())
 						   .reduce((y,z) -> { y.addAll(z); return y;}).get()
 						);
@@ -1457,6 +1457,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				if (res.size() > 1) {
 					System.out.println();
 				}
+				writeLog("nextSetasList vor filter-Aufruf: " + nextSetasList);
 				nextSetasList = nextSetasList.stream().filter(x -> {
 					//Boolean ret = false;
 					//for (PlaceholderType var : vars) {
@@ -1465,6 +1466,7 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 					return (!x.containsAll(durchschnitt));
 				})//.filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y)) //fuer testzwecke auskommentiert um nofstred zu bestimmen PL 2018-10-10
 							.collect(Collectors.toCollection(ArrayList::new));
+				writeLog("nextSetasList nach filter-Aufruf: " + nextSetasList);
 				nofstred = nextSetasList.size();
 				//NOCH NICHT korrekt PL 2018-10-12
 				//nextSetasList = nextSetasList.stream().filter(y -> couldBecorrect(reducedUndefResSubstGroundedBasePair, y))
diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
index bc6e3013..497fd811 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
@@ -138,6 +138,11 @@ public class UnifyPair {
 		return ret;
 	}
 	
+	public Set<UnifyPair> getThisAndAllBases () {
+		Set<UnifyPair> ret = getAllBases();
+		ret.add(this);
+		return ret;
+	}
 	public Set<UnifyPair> getAllBases () {
 		Set<UnifyPair> ret = new HashSet<>();
 		if (basePair != null) {