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

This commit is contained in:
pl@gohorb.ba-horb.de 2023-03-21 10:26:55 +01:00
parent d780d322f0
commit 9d7e46925d

View File

@ -640,7 +640,12 @@ public class TYPEStmt implements StatementVisitor{
RefTypeOrTPHOrWildcardOrGeneric argType = foMethod.arglist.getArguments().get(i).getType();
RefTypeOrTPHOrWildcardOrGeneric assType = assumption.getArgTypes(resolver).get(i);
<<<<<<< Updated upstream
=======
//Zuordnung von MethoCall.signature (Argumenttypen) zu der Argumenttypen der ausgewaehlten Methode (assumption.params)
//ret.add(new Pair(foMethod.signature.get(i), assumption.getArgTypes().get(i), PairOperator.EQUALSDOT));
>>>>>>> Stashed changes
ret.add(new Pair(argType, assType, PairOperator.SMALLERDOT));
@ -648,6 +653,14 @@ public class TYPEStmt implements StatementVisitor{
// ret.add(new Pair(foMethod.argTypes.get(i), assType, PairOperator.EQUALSDOT));
//Fuer Bytecodegenerierung PL 2020-03-09 wird derzeit nicht benutzt ENDE
}
<<<<<<< Updated upstream
=======
//Zuordnung von MethodCall.signature(ReturnType) zu dem ReturnType der ausgewaehlten Methode (assumption.returnType)
System.out.println(foMethod.name);
//ret.add(new Pair(foMethod.signature.get(foMethod.signature.size()-1), assumption.getReturnType(), PairOperator.EQUALSDOT));
>>>>>>> Stashed changes
return ret;
}