Support for try-with-resources by reduction

key.core/pipelineTests/innerclass/expected/06_JmlDocRemoval/MostSimpleInner.java

@@ -0,0 +1,5 @@
+public class MostSimpleInner {
+
+    public static class MyInnerClass {
+    }
+}

key.core/pipelineTests/records/expected/03_EnumClassBuilder/CompactConstructor.java

@@ -0,0 +1,8 @@
+record Mapping(String from, String to) {
+
+    Mapping {
+        // compact constructor!
+        from = "abc";
+        to = "def";
+    }
+}

key.core/pipelineTests/records/expected/03_EnumClassBuilder/InnerRecord.java

@@ -0,0 +1,7 @@
+import java.lang.Object;
+
+public class OuterClass {
+
+    final record MyRecord(String test) {
+    }
+}

key.core/pipelineTests/records/expected/03_EnumClassBuilder/NotAllowed.java

@@ -0,0 +1,36 @@
+//https://mikemybytes.com/2022/02/16/java-records-and-compact-constructors/
+record // package-private
+Name(// package-private
+String name) {
+
+    // fails with: 'invalid canonical constructor in record Name
+    //              (attempting to assign stronger access privileges;
+    //              was package)'
+    private Name(String name) {
+        this.name = name;
+    }
+
+    static Name of(String name) {
+        return new Name(name);
+    }
+}
+
+record Point(int x, int y) {
+
+    Point(int x, int y) {
+        // boring!
+        this.x = x;
+        this.y = y;
+    }
+
+    Point(int x) {
+        // a bit weird...
+        // ... but perfectly fine for the compiler
+        this(x, 0);
+    }
+
+    Point() {
+        // fails with: 'constructor is not canonical, so its first
+        //              statement must invoke another constructor'
+    }
+}

key.core/pipelineTests/records/expected/03_EnumClassBuilder/Point3d.java

@@ -0,0 +1,2 @@
+record Point3d(int x, int y, int z) {
+}

key.core/pipelineTests/records/expected/03_EnumClassBuilder/RecordOverwriting.java

@@ -0,0 +1,14 @@
+record MyRecord(String test) {
+
+    public int hashCode() {
+        return 0;
+    }
+
+    public boolean equals(Object obj) {
+        return obj instanceof MyRecord;
+    }
+
+    public String test() {
+        return "";
+    }
+}

key.core/pipelineTests/records/expected/03_EnumClassBuilder/SimpleRecord.java

@@ -0,0 +1,6 @@
+public record SimpleRecord(/*@ nullable */ String name) implements Serializable {
+
+    SimpleRecord(String name) {
+        this.name = name;
+    }
+}

key.core/pipelineTests/simple/expected/03_EnumClassBuilder/Test.java

@@ -0,0 +1,24 @@
+public class Test {
+
+    public static int abc;
+
+    static {
+        // should be resolved to 2
+        abc = 1 + 1;
+    }
+
+    public int memberVar;
+
+    {
+        memberVar = 42;
+    }
+}
+
+public class SubClass extends Test {
+
+    public int memberVar;
+
+    {
+        memberVar = 41;
+    }
+}

key.core/pipelineTests/simple/expected/04_RecordClassBuilder/Test.java

@@ -0,0 +1,24 @@
+public class Test {
+
+    public static int abc;
+
+    static {
+        // should be resolved to 2
+        abc = 1 + 1;
+    }
+
+    public int memberVar;
+
+    {
+        memberVar = 42;
+    }
+}
+
+public class SubClass extends Test {
+
+    public int memberVar;
+
+    {
+        memberVar = 41;
+    }
+}

key.core/pipelineTests/simple/expected/05_JMLTransformer/Test.java

@@ -0,0 +1,24 @@
+public class Test {
+
+    public static int abc;
+
+    static {
+        // should be resolved to 2
+        abc = 1 + 1;
+    }
+
+    public int memberVar;
+
+    {
+        memberVar = 42;
+    }
+}
+
+public class SubClass extends Test {
+
+    public int memberVar;
+
+    {
+        memberVar = 41;
+    }
+}

key.core/pipelineTests/simple/expected/06_JmlDocRemoval/Test.java

@@ -0,0 +1,24 @@
+public class Test {
+
+    public static int abc;
+
+    static {
+        // should be resolved to 2
+        abc = 1 + 1;
+    }
+
+    public int memberVar;
+
+    {
+        memberVar = 42;
+    }
+}
+
+public class SubClass extends Test {
+
+    public int memberVar;
+
+    {
+        memberVar = 41;
+    }
+}

key.core/pipelineTests/simple/expected/07_ImplicitFieldAdder/Test.java

@@ -0,0 +1,60 @@
+public class Test {
+
+    public static int abc;
+
+    static {
+        // should be resolved to 2
+        abc = 1 + 1;
+    }
+
+    public int memberVar;
+
+    {
+        memberVar = 42;
+    }
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitializationInProgress;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classErroneous;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitialized;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classPrepared;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv_free;
+}
+
+public class SubClass extends Test {
+
+    public int memberVar;
+
+    {
+        memberVar = 41;
+    }
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitializationInProgress;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classErroneous;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitialized;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classPrepared;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv_free;
+}

key.core/pipelineTests/simple/expected/08_InstanceAllocationMethodBuilder/Test.java

@@ -0,0 +1,64 @@
+public class Test {
+
+    public static int abc;
+
+    static {
+        // should be resolved to 2
+        abc = 1 + 1;
+    }
+
+    public int memberVar;
+
+    {
+        memberVar = 42;
+    }
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitializationInProgress;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classErroneous;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitialized;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classPrepared;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv_free;
+
+    public static Test $allocate();
+}
+
+public class SubClass extends Test {
+
+    public int memberVar;
+
+    {
+        memberVar = 41;
+    }
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitializationInProgress;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classErroneous;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classInitialized;
+
+    @javax.annotation.processing.Generated()
+    static private boolean $classPrepared;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv;
+
+    @javax.annotation.processing.Generated()
+    static public model boolean $staticInv_free;
+
+    public static SubClass $allocate();
+}