TestContraVariant #81

New Issue

pl · 2021-03-02T11:33:13Z

pl commented

2021-03-02 11:33:13 +00:00

Created attachment 23
Das erwartete Ergebnis

fogg.allConstraints: [R < O, S < O]
fogg.posOfTPHs: {R=[PairTphMethod[METHOD,TPH Rm(TPH O)], PairTphMethod[METHOD,TPH Rmain(TPH S)]], S=[PairTphMethod[METHOD,TPH Rmain(TPH S)]], O=[PairTphMethod[METHOD,TPH Rm(TPH O)]]}
fogg.classConstraints: []
fogg.methodConstraintsWithPosition: {TPH Rm(TPH O)=[R < O, O < java/lang/Object], TPH Rmain(TPH S)=[R < O, S < O, O < java/lang/Object]}

Created attachment 23 Das erwartete Ergebnis fogg.allConstraints: [R < O, S < O] fogg.posOfTPHs: {R=[PairTphMethod[METHOD,TPH Rm(TPH O)], PairTphMethod[METHOD,TPH Rmain(TPH S)]], S=[PairTphMethod[METHOD,TPH Rmain(TPH S)]], O=[PairTphMethod[METHOD,TPH Rm(TPH O)]]} fogg.classConstraints: [] fogg.methodConstraintsWithPosition: {TPH Rm(TPH O)=[R < O, O < java/lang/Object], TPH Rmain(TPH S)=[R < O, S < O, O < java/lang/Object]}

pl commented

2021-03-25 18:55:29 +00:00

Created attachment 25
Das erwartete Ergebnis (Fehler korrgiert)

Created attachment 25 Das erwartete Ergebnis (Fehler korrgiert)

dholle closed this issue

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

Sign in to join this conversation.