i21017/JavaCompilerCore
1
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

modified: src/test/resources/bytecode/javFiles/Inf.jav

Browse Source 
zwei weitere Variablen eingefuegt
This commit is contained in:
pl@gohorb.ba-horb.de 2022-09-27 18:18:13 +02:00
parent 82f5146abb
commit 469feb6349
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/test/resources/bytecode/javFiles/Inf.jav
View File

@ -29,21 +29,27 @@ TPH M m(TPH N x, TPH O y, TPH P a)({
(w)::TPH S = (y)::TPH O; (w)::TPH S = (y)::TPH O;
(y)::TPH O = (a)::TPH P; (y)::TPH O = (a)::TPH P;
(b)::TPH T = (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; return;
})::TPH U })::TPH W
Inf()({ Inf()({
super(()); super(());
})::TPH X })::TPH Z
} }
// v::R w::S // c::U d::V
// \ /
// v::R w::S
// \ / // \ /
// z::Q y::O b::T // z::Q y::O b::T
// \ / \ / // \ / \ /
// x::N a::P // x::N a::P
RESULT Final: [[(TPH O < TPH S), (TPH P < TPH O), (TPH O < TPH R), (TPH P < TPH T), (TPH M = void), (TPH N < TPH O), (TPH N < TPH Q)]] 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)] 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)] 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: [] Class Inf: []