From f119bff0b6ff86968904c2579e7ca21876663e00 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Tue, 27 Sep 2022 15:19:10 +0200 Subject: [PATCH 1/2] modified: ../bytecode/javFiles/Inf.jav modified: ../bytecode/javFiles/SimpleCycle.jav --- src/test/resources/bytecode/javFiles/Inf.jav | 4 ++++ src/test/resources/bytecode/javFiles/SimpleCycle.jav | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/test/resources/bytecode/javFiles/Inf.jav b/src/test/resources/bytecode/javFiles/Inf.jav index 788fca8d..65ae38eb 100644 --- a/src/test/resources/bytecode/javFiles/Inf.jav +++ b/src/test/resources/bytecode/javFiles/Inf.jav @@ -10,6 +10,10 @@ public class Inf { w=y; y=a; b=a; + var c; + var d; + c = v; + d = v; } } diff --git a/src/test/resources/bytecode/javFiles/SimpleCycle.jav b/src/test/resources/bytecode/javFiles/SimpleCycle.jav index 2f45aa18..92f505b5 100644 --- a/src/test/resources/bytecode/javFiles/SimpleCycle.jav +++ b/src/test/resources/bytecode/javFiles/SimpleCycle.jav @@ -1,6 +1,6 @@ public class SimpleCycle { - m(a,b,d){ + m(){ var g; var h; g = h; From 469feb63496e0fd0b71c67268a62034cb11b7033 Mon Sep 17 00:00:00 2001 From: "pl@gohorb.ba-horb.de" Date: Tue, 27 Sep 2022 18:18:13 +0200 Subject: [PATCH 2/2] modified: src/test/resources/bytecode/javFiles/Inf.jav zwei weitere Variablen eingefuegt --- src/test/resources/bytecode/javFiles/Inf.jav | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/src/test/resources/bytecode/javFiles/Inf.jav b/src/test/resources/bytecode/javFiles/Inf.jav index 65ae38eb..60029949 100644 --- a/src/test/resources/bytecode/javFiles/Inf.jav +++ b/src/test/resources/bytecode/javFiles/Inf.jav @@ -29,21 +29,27 @@ TPH M m(TPH N x, TPH O y, TPH P a)({ (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 U +})::TPH W Inf()({ super(()); - })::TPH X + })::TPH Z } -// v::R w::S +// c::U d::V +// \ / +// v::R w::S // \ / // z::Q y::O b::T // \ / \ / // 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)] 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: []