TestTwoArgs2 #78

Closed
opened 2021-02-25 21:38:32 +00:00 by pl · 2 comments
Owner

Created attachment 21
Das erwartete Ergebnis

fogg.allConstraints: [AB < AA, AG < AA, AC < U, AB < P, U < P, AA < U, P < AG]
fogg.posOfTPHs: {P=[PairTphMethod[METHOD,TPH AGid(TPH P)]], AA=[PairTphMethod[METHOD,TPH AAm(TPH AATPH U)], PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], AB=[PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], AC=[PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], U=[PairTphMethod[METHOD,TPH AAm(TPH AATPH U)]], AG=[PairTphMethod[METHOD,TPH AGid(TPH P)], PairTphMethod[METHOD,TPH AAm(TPH AATPH U)], PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], N=[PairTphMethod[FIELD,null]]}

fogg.classConstraints: [] HIER FEHLT ETWAS

fogg.methodConstraintsWithPosition:
TPH AGid(TPH P)=[AG < AA, P < AG, AA < AG, AA < P, AG < AG, AG < P, AA < AA, P < P, P < AA]}
{TPH AAm(TPH AATPH U)=[AG < AA, U < P, AA < U, AA < AG, AA < AA, P < AG, P < U, P < AA, U < AG, U < U, U < AA, AA < P, P < P, AG < AG, AG < U, AG < P],
TPH AAmain(TPH ABTPH AC)=[AB < AA, AG < AA, AC < U, AB < P, AA < U, AA < AG, AA < AA, U < AG, U < AA, P < AG, P < AA, AA < P, U < U, U < P, P < U, P < P, AG < AG, AG < U, AG < P],

Created attachment 21 Das erwartete Ergebnis fogg.allConstraints: [AB < AA, AG < AA, AC < U, AB < P, U < P, AA < U, P < AG] fogg.posOfTPHs: {P=[PairTphMethod[METHOD,TPH AGid(TPH P)]], AA=[PairTphMethod[METHOD,TPH AAm(TPH AATPH U)], PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], AB=[PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], AC=[PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], U=[PairTphMethod[METHOD,TPH AAm(TPH AATPH U)]], AG=[PairTphMethod[METHOD,TPH AGid(TPH P)], PairTphMethod[METHOD,TPH AAm(TPH AATPH U)], PairTphMethod[METHOD,TPH AAmain(TPH ABTPH AC)]], N=[PairTphMethod[FIELD,null]]} fogg.classConstraints: [] HIER FEHLT ETWAS fogg.methodConstraintsWithPosition: TPH AGid(TPH P)=[AG < AA, P < AG, AA < AG, AA < P, AG < AG, AG < P, AA < AA, P < P, P < AA]} {TPH AAm(TPH AATPH U)=[AG < AA, U < P, AA < U, AA < AG, AA < AA, P < AG, P < U, P < AA, U < AG, U < U, U < AA, AA < P, P < P, AG < AG, AG < U, AG < P], TPH AAmain(TPH ABTPH AC)=[AB < AA, AG < AA, AC < U, AB < P, AA < U, AA < AG, AA < AA, U < AG, U < AA, P < AG, P < AA, AA < P, U < U, U < P, P < U, P < P, AG < AG, AG < U, AG < P],
Author
Owner

fogg.methodConstraintsWithPosition: {

TPH AAm(TPH AATPH U)=[AG < AA, AA = AA, AG = AG, U < P, P < AG],
ok

TPH AAmain(TPH ABTPH AC)=[AA = AA, AG = AG, AB < P, AB < AA, AA = AA, AC < U, AG < AA, AA < U, P < AG, AA < AA, U < AA],
Sieht recht gut aus: Wo kommt AA < AA her.

TPH AGid(TPH P)=[P < AG, AG = AG]}
ok

fogg.methodConstraintsWithPosition: { TPH AAm(TPH AATPH U)=[AG < AA, AA = AA, AG = AG, U < P, P < AG], ok TPH AAmain(TPH ABTPH AC)=[AA = AA, AG = AG, AB < P, AB < AA, AA = AA, AC < U, AG < AA, AA < U, P < AG, AA < AA, U < AA], Sieht recht gut aus: Wo kommt AA < AA her. TPH AGid(TPH P)=[P < AG, AG = AG]} ok
Author
Owner

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

fogg.methodConstraintsWithPosition: {

TPH AAm(TPH AATPH U)=[AG < AA, AA = AA, AG = AG, U < P, P < AG],
ok, aber AA < Object fehlt

TPH AAmain(TPH ABTPH AC)=[AA = AA, AG = AG, AB < P, AB < AA, AA = AA, AC < U, AG < AA, AA < U, P < AG, AA < AA, U < AA],
Sieht recht gut aus: Wo kommt AA < AA her.

TPH AGid(TPH P)=[P < AG, AG = AG]}
ok, aber AG < Object fehlt

fogg.classConstraints: [N < java/lang/Object] ok fogg.methodConstraintsWithPosition: { TPH AAm(TPH AATPH U)=[AG < AA, AA = AA, AG = AG, U < P, P < AG], ok, aber AA < Object fehlt TPH AAmain(TPH ABTPH AC)=[AA = AA, AG = AG, AB < P, AB < AA, AA = AA, AC < U, AG < AA, AA < U, P < AG, AA < AA, U < AA], Sieht recht gut aus: Wo kommt AA < AA her. TPH AGid(TPH P)=[P < AG, AG = AG]} ok, aber AG < Object fehlt
Sign in to join this conversation.
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#78
No description provided.