Block a user
Created attachment 23
Das erwartete Ergebnis
fogg.allConstraints: [R < O, S < O]
fogg.posOfTPHs: {R=[PairTphMethod[METHOD,TPH Rm(TPH O)], PairTphMethod[METHOD,TPH Rmain(TPH S)]], S=[PairTphM…
fogg.allConstraints: [T < W, W < ZU]
fogg.posOfTPHs: {T=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)]], W=[PairTphMethod[METHOD,voidm(java/util/Vectorjava/util/Vector)], Pair…
Created attachment 22
Das erwartete Ergebnis
fogg.allConstraints: [S < O, O < R, T < O]
fogg.posOfTPHs: {R=[PairTphMethod[METHOD,TPH Rid(TPH O)], PairTphMethod[METHOD,TPH Rmain(TPH STPH T)]]…
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=[Pa…
Created attachment 20
Das erwartete Ergebnis
fogg.allConstraints: [Z < P, AH < T, AL < AF, P < AL, AG < P, AP < Z, T < AP]
fogg.posOfTPHs: {P=[PairTphMethod[METHOD,TPH ALid(TPH P)]], T=[Pair…
Created attachment 19
Das erwartete Ergebnis
fogg.allConstraints: [AB < AM, AD < AI, DZP < ETW, V < UD, UD < DZP, AI < AE]
fogg.posOfTPHs: {AB=[PairTphMethod[METHOD,TPH ABm(TPH ABTPH AD)]], …
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…
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 …
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[METH…
public class TestTwoArgs {
a;
id(b) {
var c = b;
return c;
}
setA(x) {
a = x;
return a;
}
m(x,y) {
x = id(y);
return…
Branch: origin/bytecodeGenericsSecond
Commit: ef723e4103a647d428d306fe5a80257af3ec04ad
public class TestGGFinder {
a;
id(b) {
var c = b;
return c;
}
setA(x)…
Branch: origin/bytecodeGenericsSecond
Commit: ef723e4103a647d428d306fe5a80257af3ec04ad
class TestTwoArgs {
a;
id(b) {
var c = b;
return c;
}
setA(x) {
…
import java.lang.Integer;
class semiUnifikation {
<X> X m(X x) {
Integer i = m(1);
return x;
}
}
// public <X extends java.lang.Object, X$ extends java.lang.Object> X …
An falscher Stelle eingesetzt
mit commit 3c469b567b6574a4910ec55e3c1126717e877134 (Plugin_JCC) gelöst.
import java.lang.String;
import java.lang.Integer;
import java.lang.Double;
import java.lang.Boolean;
class OL {
m(x) { return x + x; }
//m(x) { return x
Id.jav
erledigt mit Commit: 0861f74ce72e041f1d0bf31a0c2c104306d53c95 (JavaCompilerCore) Commit: b29d86e091955721b0e7fe0823880c24966fe933 (Plugin_JCC)
Andere Einsetzung als im Bytecode
Gelöst mit e4066b51251d47314ec18c821c7f1f06ceb9d404 (Plugin_JCC) 1b6af9ab7e2a70461c4a916820fa3b02c360837d (javaCompilerCore)