From 8e220b81d5aa5b806ae1f01ab3ed5c4852a10565 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Thu, 27 Sep 2018 17:17:36 +0200
Subject: [PATCH] 	modified:  
 ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java bei der der Rueckgabe von
 subst wurde noch Optional beruecksichtigt

---
 src/de/dhbwstuttgart/core/JavaTXCompiler.java | 26 +++++--------------
 1 file changed, 7 insertions(+), 19 deletions(-)

diff --git a/src/de/dhbwstuttgart/core/JavaTXCompiler.java b/src/de/dhbwstuttgart/core/JavaTXCompiler.java
index 581ace29c..6f25a763f 100644
--- a/src/de/dhbwstuttgart/core/JavaTXCompiler.java
+++ b/src/de/dhbwstuttgart/core/JavaTXCompiler.java
@@ -195,26 +195,14 @@ public class JavaTXCompiler {
     				results.addAll(result);
             	}
         	
-			/*
-        	Function<UnifyPair, UnifyPair> f = y -> { 
-				if (y.getPairOp() == PairOperator.SMALLERDOTWC) y.setPairOp(PairOperator.EQUALSDOT);
-				return y;
-			};
-		
-			Function<Set<UnifyPair>, Set<UnifyPair>> g = x -> new rules().x.stream().map(y -> { 
-				if (y.getPairOp() == PairOperator.SMALLERDOTWC) y.setPairOp(PairOperator.EQUALSDOT);
-				return y;
+			results = results.stream().map(x -> {
+				Optional<Set<UnifyPair>> res = new RuleSet().subst(x.stream().map(y -> { 
+					if (y.getPairOp() == PairOperator.SMALLERDOTWC) y.setPairOp(PairOperator.EQUALSDOT);
+					return y; //alle Paare a <.? b erden durch a =. b ersetzt
+				}).collect(Collectors.toCollection(HashSet::new)));
+				if (res.isPresent()) return res.get(); //wenn subst ein Erg liefert wurde was veraendert
+				else return x; //wenn nichts veraendert wurde wird x zurueckgegeben
 			}).collect(Collectors.toCollection(HashSet::new));
-			 */
-			results = results.stream().map(x -> new RuleSet().subst(x.stream().map(y -> { 
-				if (y.getPairOp() == PairOperator.SMALLERDOTWC) y.setPairOp(PairOperator.EQUALSDOT);
-				return y;
-			}).collect(Collectors.toCollection(HashSet::new))).get()).collect(Collectors.toCollection(HashSet::new));
-			/*results.stream().map(x -> x.stream().map(y -> { 
-				if (y.getPairOp() == PairOperator.SMALLERDOTWC) y.setPairOp(PairOperator.EQUALSDOT);
-				return y;
-			}).collect(Collectors.toCollection(HashSet::new)).collect(Collectors.toCollection(HashSet::new)));
-			 */
 			System.out.println("RESULT Final: " + results);
 			logFile.write("RES_FINAL: " + results.toString()+"\n");
 			logFile.flush();