TestTwoCalls #79

New Issue

pl · 2021-02-25T21:41:16Z

pl commented

2021-02-25 21:41:16 +00:00

Created attachment 22
Das erwartete Ergebnis

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

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

dholle closed this issue

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

Sign in to join this conversation.