66 lines
1.6 KiB
Plaintext
66 lines
1.6 KiB
Plaintext
|
public class Inf {
|
||
|
|
m(x,y,a){
|
||
|
|
var z;
|
||
|
|
var v;
|
||
|
|
var w;
|
||
|
|
var b;
|
||
|
|
y=x;
|
||
|
|
z=x;
|
||
|
|
v=y;
|
||
|
|
w=y;
|
||
|
|
y=a;
|
||
|
|
b=a;
|
||
|
|
var c;
|
||
|
|
var d;
|
||
|
|
c = v;
|
||
|
|
d = v;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
/*
|
||
|
|
TPH M m(TPH N x, TPH O y, TPH P a)({
|
||
|
|
TPH Q z;
|
||
|
|
TPH R v;
|
||
|
|
TPH S w;
|
||
|
|
TPH T b;
|
||
|
|
(y)::TPH O = (x)::TPH N;
|
||
|
|
(z)::TPH Q = (x)::TPH N;
|
||
|
|
(v)::TPH R = (y)::TPH O;
|
||
|
|
(w)::TPH S = (y)::TPH O;
|
||
|
|
(y)::TPH O = (a)::TPH P;
|
||
|
|
(b)::TPH T = (a)::TPH P;
|
||
|
|
TPH U c;
|
||
|
|
TPH V d;
|
||
|
|
(c)::TPH U = (v)::TPH R;
|
||
|
|
(d)::TPH V = (v)::TPH R;
|
||
|
|
return;
|
||
|
|
})::TPH W
|
||
|
|
|
||
|
|
Inf()({
|
||
|
|
super(());
|
||
|
|
})::TPH Z
|
||
|
|
|
||
|
|
}
|
||
|
|
// c::U d::V
|
||
|
|
// \ /
|
||
|
|
// v::R w::S
|
||
|
|
// \ /
|
||
|
|
// z::Q y::O b::T
|
||
|
|
// \ / \ /
|
||
|
|
// x::N a::P
|
||
|
|
|
||
|
|
RESULT Final: [[(TPH N < TPH O), (TPH R < TPH V), (TPH N < TPH Q), (TPH P < TPH O), (TPH R < TPH U), (TPH M = void), (TPH O < TPH S), (TPH O < TPH R), (TPH P < TPH T)]]
|
||
|
|
Simplified constraints: [(TPH O < TPH S), (TPH P < TPH O), (TPH O < TPH R), (TPH P < TPH T), (TPH N < TPH O), (TPH N < TPH Q)]
|
||
|
|
m: [(TPH DDV = java.lang.Object), (TPH DDX = java.lang.Object), (TPH DDX < TPH DDV), (TPH N < TPH DDX), (TPH P < TPH DDX)]
|
||
|
|
Class Inf: []
|
||
|
|
Inf: []
|
||
|
|
|
||
|
|
Unify nach Oder-Constraints-Anpassung:
|
||
|
|
UND:[(void =. M, , -1 WC: false, IT: false), (N <. O, 1 WC: false, IT: false, 1 WC: false, IT: false), (P <. O, 1 WC: false, IT: false, 1 WC: false, IT: false), (N <. Q, 1 WC: false, IT: false, 0 WC: true, IT: false), (O <. S, 1 WC: false, IT: false, 0 WC: true, IT: false), (O <. R, 1 WC: false, IT: false, 0 WC: true, IT: false), (P <. T, 1 WC: false, IT: false, 0 WC: true, IT: false)]
|
||
|
|
isInherited = false
|
||
|
|
isStatement = false
|
||
|
|
|
||
|
|
ODER:
|
||
|
|
*/
|
||
|
|
|