TestLocalVarLambda #74

New Issue

pl · 2021-02-25T18:58:16Z

pl commented

2021-02-25 18:58:16 +00:00

Created attachment 17
Das erwartete Ergebnis

fogg.allConstraints: [SY < N, DIU < SY, O < DIU]
fogg.posOfTPHs: {DIU=[PairTphMethod[METHOD,TPH Nm(TPH O)]], SY=[PairTphMethod[METHOD,TPH Nm(TPH O)]], N=[PairTphMethod[METHOD,TPH Nm(TPH O)]], O=[PairTphMethod[METHOD,TPH Nm(TPH O)]]}
fogg.classConstraints: []
fogg.methodConstraintsWithPosition:
{TPH Nm(TPH O)=[SY < N, DIU < SY, O < DIU, N < java/lang/Object]}

Created attachment 17 Das erwartete Ergebnis fogg.allConstraints: [SY < N, DIU < SY, O < DIU] fogg.posOfTPHs: {DIU=[PairTphMethod[METHOD,TPH Nm(TPH O)]], SY=[PairTphMethod[METHOD,TPH Nm(TPH O)]], N=[PairTphMethod[METHOD,TPH Nm(TPH O)]], O=[PairTphMethod[METHOD,TPH Nm(TPH O)]]} fogg.classConstraints: [] fogg.methodConstraintsWithPosition: {TPH Nm(TPH O)=[SY < N, DIU < SY, O < DIU, N < java/lang/Object]}

pl commented

2021-03-23 12:00:35 +00:00

Hier besteht das Problem, dass Problem, dass

P =. Fun1$$<ALU,ALV>
U =. Fun1$$<Q,SY>
U <. P
Q =. R
R =. SY
in den ursprünglichen Constraints enthalten ist. Zwischen durch werden folgende Constraints hinzugefügt:

SY < ALV
ALU < SY

Diese fehler in filteredConstraints in MethodAndTPH

Müsste in visit(Method method) in TPHExtractor gesetzt werden.

Hier besteht das Problem, dass Problem, dass P =. Fun1$$<ALU,ALV> U =. Fun1$$<Q,SY> U <. P Q =. R R =. SY in den ursprünglichen Constraints enthalten ist. Zwischen durch werden folgende Constraints hinzugefügt: SY < ALV ALU < SY Diese fehler in filteredConstraints in MethodAndTPH Müsste in visit(Method method) in TPHExtractor gesetzt werden.

dholle closed this issue

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

Sign in to join this conversation.