geändert: src/main/java/de/dhbwstuttgart/typeinference/result/ResultSet.java

This commit is contained in:
pl@gohorb.ba-horb.de 2019-04-27 14:51:25 +02:00
parent 4a7c124fd6
commit 1e1eb2a2f2

View File

@ -18,13 +18,13 @@ import static de.dhbwstuttgart.typeinference.result.ResultPairMap.RESULT_PAIRS;
public class ResultSet {
public final Set<ResultPair> results;
public Set<GenericInsertPair> genIns;
public Set<ResultPair<TypePlaceholder, TypePlaceholder>> genIns;
public ResultSet(Set<ResultPair> 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));
//.map(b -> new GenericInsertPair( (TypePlaceholder)(b.getLeft()), (TypePlaceholder)(b.getRight())))
.collect(Collectors.toCollection(HashSet::new));
}
public boolean contains(ResultPair toCheck) {
@ -292,3 +292,4 @@ class RelatedTypeWalker implements ResultSetVisitor {
@Override
public void visit(GenericRefType genericRefType) {
}
}