TPHsAndGenerics #76

New Issue

pl · 2021-02-25T21:31:37Z

pl commented

2021-02-25 21:31:37 +00:00

Created attachment 19
Das erwartete Ergebnis

fogg.allConstraints: [AB < AM, AD < AI, DZP < ETW, V < UD, UD < DZP, AI < AE]
fogg.posOfTPHs: {AB=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)]], AD=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)]], AE=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)]], V=[PairTphMethod[METHOD,TPH ETWid2(TPH V)]], AI=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)], PairTphMethod[METHOD,TPH AIm2(TPH AMTPH AI)]], ETW=[PairTphMethod[FIELD,null]], AM=[PairTphMethod[METHOD,TPH AIm2(TPH AMTPH AI)]], UD=[PairTphMethod[FIELD,null]]}

fogg.classConstraints: [UD < DZP, DZP < ETW, ETW < java/lang/Object]

fogg.methodConstraintsWithPosition:
{TPH ABm(TPH ABTPH AD)=[AB < AM, AD < AI, AI < AE, AE < java/lang/Object, AM < java/lang/Object],
TPH ETWid2(TPH V)=[V < UD],
TPH AIm2(TPH AMTPH AI)=[AI < AE, AM < java/lang/Object, AE < java/lang/Object]}

Created attachment 19 Das erwartete Ergebnis fogg.allConstraints: [AB < AM, AD < AI, DZP < ETW, V < UD, UD < DZP, AI < AE] fogg.posOfTPHs: {AB=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)]], AD=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)]], AE=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)]], V=[PairTphMethod[METHOD,TPH ETWid2(TPH V)]], AI=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)], PairTphMethod[METHOD,TPH AIm2(TPH AMTPH AI)]], ETW=[PairTphMethod[FIELD,null]], AM=[PairTphMethod[METHOD,TPH AIm2(TPH AMTPH AI)]], UD=[PairTphMethod[FIELD,null]]} fogg.classConstraints: [UD < DZP, DZP < ETW, ETW < java/lang/Object] fogg.methodConstraintsWithPosition: {TPH ABm(TPH ABTPH AD)=[AB < AM, AD < AI, AI < AE, AE < java/lang/Object, AM < java/lang/Object], TPH ETWid2(TPH V)=[V < UD], TPH AIm2(TPH AMTPH AI)=[AI < AE, AM < java/lang/Object, AE < java/lang/Object]}

pl commented

2021-03-09 11:51:46 +00:00

TPH AIm2(TPH AMTPH AI)=[AI < AE, AM < java/lang/Object, AE < java/lang/Object]
ist nicht korrekt. Die Lösung ist AI < AE muss rausfallen. Dementsprechend wäre die Lösung dann [AI < java/lang/Object, AM < java/lang/Object]

TPH AIm2(TPH AMTPH AI)=[AI < AE, AM < java/lang/Object, AE < java/lang/Object] ist nicht korrekt. Die Lösung ist AI < AE muss rausfallen. Dementsprechend wäre die Lösung dann [AI < java/lang/Object, AM < java/lang/Object]

pl commented

2021-03-14 10:47:06 +00:00

fogg.classConstraints: [U < java/lang/Object, ETW < DZP, ETW < java/lang/Object, DZP < U]

ETW < java/lang/Object stimmt nicht

fogg.methodConstraintsWithPosition: {
TPH Uid2(TPH V)=[U = U, V < ETW, U = U],
ok

TPH ABm(TPH ABTPH AD)=[AI < AE, AB = AB, AB < AM, AD < AI, AI = AI],
ok, aber (AM < Object) und (AI < Object) fehlt

TPH AIm2(TPH AMTPH AI)=[AI = AI]}
(AI < Object) und AM < Object fehlt

fogg.classConstraints: [U < java/lang/Object, ETW < DZP, ETW < java/lang/Object, DZP < U] ETW < java/lang/Object stimmt nicht fogg.methodConstraintsWithPosition: { TPH Uid2(TPH V)=[U = U, V < ETW, U = U], ok TPH ABm(TPH ABTPH AD)=[AI < AE, AB = AB, AB < AM, AD < AI, AI = AI], ok, aber (AM < Object) und (AI < Object) fehlt TPH AIm2(TPH AMTPH AI)=[AI = AI]} (AI < Object) und AM < Object fehlt

pl commented

2021-03-14 11:40:44 +00:00

fogg.classConstraints: [U < java/lang/Object, ETW < DZP, ETW < java/lang/Object, DZP < U]

ETW < java/lang/Object stimmt nicht

fogg.methodConstraintsWithPosition: {
TPH Uid2(TPH V)=[U = U, V < ETW, U = U],
ok

TPH ABm(TPH ABTPH AD)=[AI < AE, AB = AB, AB < AM, AD < AI, AI = AI],
ok, aber (AM < Object) und (AI < Object) fehlt

Hier hätte ich noch AI < AI erwartet

TPH AIm2(TPH AMTPH AI)=[AI = AI]}
(AI < Object) und AM < Object fehlt

fogg.classConstraints: [U < java/lang/Object, ETW < DZP, ETW < java/lang/Object, DZP < U] ETW < java/lang/Object stimmt nicht fogg.methodConstraintsWithPosition: { TPH Uid2(TPH V)=[U = U, V < ETW, U = U], ok TPH ABm(TPH ABTPH AD)=[AI < AE, AB = AB, AB < AM, AD < AI, AI = AI], ok, aber (AM < Object) und (AI < Object) fehlt Hier hätte ich noch AI < AI erwartet TPH AIm2(TPH AMTPH AI)=[AI = AI]} (AI < Object) und AM < Object fehlt

dholle closed this issue

2024-03-05 10:59:28 +00:00

Sign in to join this conversation.