TestThreeArgs #75

New Issue

pl · 2021-02-25T20:15:04Z

pl commented

2021-02-25 20:15:04 +00:00

Created attachment 18
Das erwartete Ergebnis

fogg.allConstraints: [AF < W, P < AF, AB < P, P < AC, Q < W, Q < AB]
fogg.posOfTPHs: {P=[PairTphMethod[METHOD,TPH AFid(TPH P)]], Q=[PairTphMethod[METHOD,TPH AFid(TPH P)]], AB=[PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], AC=[PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], AF=[PairTphMethod[METHOD,TPH AFid(TPH P)], PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], W=[PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], N=[PairTphMethod[FIELD,null]]}
fogg.classConstraints: [] HIER FEHLT EIN CONSTRAINT!!!!

fogg.methodConstraintsWithPosition:
{TPH AFid(TPH P)=[AF < W, P < AF, P < AC, Q < W, Q < AB, AB < AF, AB < P, W < java/lang/Object, AC < java/lang/Object],
TPH Wm(TPH WTPH ABTPH AC)=[AF < W, AB < P, P < AF, AC < java/lang/Object, W < java/lang/Object]}

Created attachment 18 Das erwartete Ergebnis fogg.allConstraints: [AF < W, P < AF, AB < P, P < AC, Q < W, Q < AB] fogg.posOfTPHs: {P=[PairTphMethod[METHOD,TPH AFid(TPH P)]], Q=[PairTphMethod[METHOD,TPH AFid(TPH P)]], AB=[PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], AC=[PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], AF=[PairTphMethod[METHOD,TPH AFid(TPH P)], PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], W=[PairTphMethod[METHOD,TPH Wm(TPH WTPH ABTPH AC)]], N=[PairTphMethod[FIELD,null]]} fogg.classConstraints: [] HIER FEHLT EIN CONSTRAINT!!!! fogg.methodConstraintsWithPosition: {TPH AFid(TPH P)=[AF < W, P < AF, P < AC, Q < W, Q < AB, AB < AF, AB < P, W < java/lang/Object, AC < java/lang/Object], TPH Wm(TPH WTPH ABTPH AC)=[AF < W, AB < P, P < AF, AC < java/lang/Object, W < java/lang/Object]}

dholle closed this issue

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

Sign in to join this conversation.