From 71c801c19ce5f6126d9b6a13cedb9397078a16c2 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Wed, 6 May 2020 19:25:19 +0200 Subject: [PATCH] modified: ../src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java --- .../de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java index 0c093c5b..3a8d5e3e 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java @@ -2040,6 +2040,8 @@ public class TypeUnifyTask extends RecursiveTask>> { oderConstraintsOutput.remove(ret); //Set retFlat = new HashSet<>(); //ret.stream().forEach(x -> retFlat.addAll(x)); + + //Alle wildcard Faelle rausfiltern bei not wildable ret = ret.stream().filter(x -> { Optional optElem; return !((optElem=x.stream().filter(y -> (y.getLhsType()) instanceof PlaceholderType && !((PlaceholderType)y.getLhsType()).isWildcardable() @@ -2076,6 +2078,8 @@ public class TypeUnifyTask extends RecursiveTask>> { // System.out.println("M"); //Set retFlat = new HashSet<>(); //ret.stream().forEach(x -> retFlat.addAll(x)); + + //Alle wildcard Faelle rausfiltern bei not wildable ret = ret.stream().filter(x -> { Optional optElem; return !((optElem=x.stream().filter(y -> (y.getLhsType()) instanceof PlaceholderType && !((PlaceholderType)y.getLhsType()).isWildcardable()