From 1e1eb2a2f20ea7f92240bb780fbae6c13754458b Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Sat, 27 Apr 2019 14:51:25 +0200 Subject: [PATCH] =?UTF-8?q?=09ge=C3=A4ndert:=20=20=20=20=20=20=20src/main/?= =?UTF-8?q?java/de/dhbwstuttgart/typeinference/result/ResultSet.java?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../dhbwstuttgart/typeinference/result/ResultSet.java | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java b/src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java index b265b375..f095c364 100644 --- a/src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java +++ b/src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java @@ -18,13 +18,13 @@ import static de.dhbwstuttgart.typeinference.result.ResultPairMap.RESULT_PAIRS; public class ResultSet { public final Set results; - public Set genIns; + public Set> genIns; public ResultSet(Set set){ this.results = set; - this.genIns = results.stream().filter(a -> a instanceof PairTPHsmallerTPH) -- .map(b -> new GenericInsertPair( (TypePlaceholder)(b.getLeft()), (TypePlaceholder) -- .collect(Collectors.toCollection(HashSet::new)); + this.genIns = results.stream().filter(a -> a instanceof PairTPHsmallerTPH) + //.map(b -> new GenericInsertPair( (TypePlaceholder)(b.getLeft()), (TypePlaceholder)(b.getRight()))) + .collect(Collectors.toCollection(HashSet::new)); } public boolean contains(ResultPair toCheck) { @@ -291,4 +291,5 @@ class RelatedTypeWalker implements ResultSetVisitor { @Override public void visit(GenericRefType genericRefType) { - } \ No newline at end of file + } +} \ No newline at end of file