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

argTypes in MethodCall werden gesetzt
This commit is contained in:
pl@gohorb.ba-horb.de 2023-01-23 13:49:11 +01:00
parent 8dfce15850
commit 8aa67594d9

View File

@ -654,6 +654,7 @@ 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);
ret.add(new Pair(assType, foMethod.argTypes.get(i), PairOperator.EQUALSDOT));
ret.add(new Pair(argType, assType, PairOperator.SMALLERDOT));
//Fuer Bytecodegenerierung PL 2020-03-09 wird derzeit nicht benutzt ANFANG