TestGGFinder #73

New Issue

pl · 2021-02-25T18:31:38Z

pl commented

2021-02-25 18:31:38 +00:00

Created attachment 15
Das erwartete Ergebnis

In Beispiel TestGGFinder liefert folgendes Ergebnis:

fogg.allConstraints: [P < AC, T < S, AC < Y, Z < P]

fogg.posOfTPHs: {P=[PairTphMethod[METHOD,TPH ACid(TPH P)]], AC=[PairTphMethod[METHOD,TPH ACid(TPH P)], PairTphMethod[METHOD,voidm(TPH YTPH Z)]], S=[PairTphMethod[FIELD,null]], T=[PairTphMethod[METHOD,TPH SsetA(TPH T)]], Y=[PairTphMethod[METHOD,voidm(TPH YTPH Z)]], Z=[PairTphMethod[METHOD,voidm(TPH YTPH Z)]]}

fogg.classConstraints: []
fogg.methodConstraintsWithPosition:
{TPH ACid(TPH P)=[P < AC, AC < Y, Y < java/lang/Object],
TPH SsetA(TPH T)=[T < S, S < java/lang/Object],
voidm(TPH YTPH Z)=[AC < Y, Z < P, P < AC, Y < java/lang/Object]}

Created attachment 15 Das erwartete Ergebnis In Beispiel TestGGFinder liefert folgendes Ergebnis: fogg.allConstraints: [P < AC, T < S, AC < Y, Z < P] fogg.posOfTPHs: {P=[PairTphMethod[METHOD,TPH ACid(TPH P)]], AC=[PairTphMethod[METHOD,TPH ACid(TPH P)], PairTphMethod[METHOD,voidm(TPH YTPH Z)]], S=[PairTphMethod[FIELD,null]], T=[PairTphMethod[METHOD,TPH SsetA(TPH T)]], Y=[PairTphMethod[METHOD,voidm(TPH YTPH Z)]], Z=[PairTphMethod[METHOD,voidm(TPH YTPH Z)]]} fogg.classConstraints: [] fogg.methodConstraintsWithPosition: {TPH ACid(TPH P)=[P < AC, AC < Y, Y < java/lang/Object], TPH SsetA(TPH T)=[T < S, S < java/lang/Object], voidm(TPH YTPH Z)=[AC < Y, Z < P, P < AC, Y < java/lang/Object]}

pl commented

2021-02-25 18:34:02 +00:00

Created attachment 16
as jpg

Created attachment 16 as jpg

pl commented

2021-03-14 11:45:11 +00:00

fogg.classConstraints: [S < java/lang/Object]
ok

fogg.methodConstraintsWithPosition:
{TPH ACid(TPH P)=[AC = AC, P < AC],
ok, AC < Object fehlt

TPH SsetA(TPH T)=[S = S, T < S, S = S],
ok

voidm(TPH YTPH Z)=[AC < Y, Z < P, AC = AC, P < AC]}
ok, Y < Objecxt fehlt

fogg.classConstraints: [S < java/lang/Object] ok fogg.methodConstraintsWithPosition: {TPH ACid(TPH P)=[AC = AC, P < AC], ok, AC < Object fehlt TPH SsetA(TPH T)=[S = S, T < S, S = S], ok voidm(TPH YTPH Z)=[AC < Y, Z < P, AC = AC, P < AC]} ok, Y < Objecxt fehlt

dholle closed this issue

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

Sign in to join this conversation.