modified: ../../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java

alten Code geloescht
This commit is contained in:
pl@gohorb.ba-horb.de 2020-05-13 14:07:22 +02:00
parent 2e03b5b10c
commit 653901ef32

View File

@ -173,10 +173,6 @@ public class TYPEStmt implements StatementVisitor{
Constraint<Pair> oneMethodConstraint = generateConstraint(methodCall, m, info, resolver);
methodConstraints.add(oneMethodConstraint);
// geloescht PL 2020-05-01
//resolver = getResolverInstance();
//oneMethodConstraint = generateConstraint(methodCall, m, info, resolver);
//Boolean oneMethodConstraint_isInherited = oneMethodConstraint.isInherited();
Constraint<Pair> extendsOneMethodConstraint = oneMethodConstraint.stream()
.map(x -> (x.TA1 instanceof TypePlaceholder &&
x.GetOperator() == PairOperator.EQUALSDOT &&