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

This commit is contained in:
pl@gohorb.ba-horb.de 2023-01-24 11:31:55 +01:00
parent 8be7f3d790
commit 3b77a1271b

View File

@ -654,7 +654,10 @@ public class TYPEStmt implements StatementVisitor{
foMethod.arglist.getArguments().get(i).accept(this);
RefTypeOrTPHOrWildcardOrGeneric argType = foMethod.arglist.getArguments().get(i).getType();
RefTypeOrTPHOrWildcardOrGeneric assType = assumption.getArgTypes(resolver).get(i);
//Zuordnung von MethoCall.argTypes zu der Argumenttypen der ausgewaehlten Methode (assumption.params)
ret.add(new Pair(foMethod.argTypes.get(i), assumption.getArgTypes().get(i), PairOperator.EQUALSDOT));
ret.add(new Pair(argType, assType, PairOperator.SMALLERDOT));
//Fuer Bytecodegenerierung PL 2020-03-09 wird derzeit nicht benutzt ANFANG