Grundsätzliches: Bei uns steht immer Integer wenn egal ob int oder Integer gemeint ist.
Nun muss man bei den unären und binären Operatoren (+, -, *, ..., <,>, ... ++ --, ..) für einen Aufruf…
(In reply to Martin Plümicke from comment #0)
fogg.allConstraints: [T < W, W < ZU] fogg.posOfTPHs: {T=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]], W=[PairTphMethod…
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 Cons…
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 …
fogg.classConstraints: [U < java/lang/Object, ETW < DZP, ETW < java/lang/Object, DZP < U]
ETW < java/lang/Object stimmt nicht
fogg.methodConstraintsWithPosition: { TPH Uid2(TPH V)=[U = U, …
fogg.classConstraints: [AP < java/lang/Object, AP < Z, Z < P, P < AL, AL < AF, AF < java/lang/Object]
AP < java/lang/Object ist falsch
fogg.methodConstraintsWithPosition: { TPH ALid(TPH P)…
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 AAm…
fogg.classConstraints: [U < java/lang/Object, ETW < DZP, ETW < java/lang/Object, DZP < U]
ETW < java/lang/Object stimmt nicht
fogg.methodConstraintsWithPosition: { TPH Uid2(TPH V)=[U = U, …
fogg.methodConstraintsWithPosition: { TPH ALid(TPH P)=[AL = AL, P < AL], ok
TPH AFm(TPH AFTPH Z)=[AF = AF, AL < AF, Z < P, AL = AL, P < AL], ok
TPH APsetA(TPH T)=[T < AP, AP = AP, AP = AP…
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 …
TPH AIm2(TPH AMTPH AI)=[AI < AE, AM < java/lang/Object, AE < java/lang/Object] ist nicht korrekt. Die Lösung ist AI < AE muss rausfallen. Dementsprechend wäre die Lösung dann [AI < java/lang/…