IDE Basics

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/ArrayNativeMethodExample.java

@@ -0,0 +1,45 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.ArrayValue;
+import org.opalj.fpcf.properties.lcp_on_fields.ArrayValues;
+import org.opalj.fpcf.properties.lcp_on_fields.ConstantArrayElement;
+import org.opalj.fpcf.properties.lcp_on_fields.VariableArrayElement;
+
+/**
+ * An example to test conservative handling of array elements in native method calls.
+ *
+ * @author Robin Körkemeier
+ */
+public class ArrayNativeMethodExample {
+    @ArrayValues({
+            @ArrayValue(variable = "lv1", variableElements = {
+                    @VariableArrayElement(index = 0),
+                    @VariableArrayElement(index = 1),
+                    @VariableArrayElement(index = 2),
+                    @VariableArrayElement(index = 3)
+            }),
+            @ArrayValue(variable = "lvf", constantElements = {
+                    @ConstantArrayElement(index = 0, value = 42),
+                    @ConstantArrayElement(index = 1, value = 23)
+            }),
+            @ArrayValue(variable = "lv17", variableElements = {
+                    @VariableArrayElement(index = 0),
+                    @VariableArrayElement(index = 1),
+                    @VariableArrayElement(index = 2),
+                    @VariableArrayElement(index = 3),
+                    @VariableArrayElement(index = 4),
+                    @VariableArrayElement(index = 5)
+            })
+    })
+    public static void main(String[] args) {
+        int[] arr1 = new int[]{4, 5, 6, 7};
+        int[] arr2 = new int[]{42, 23};
+        int[] arr3 = new int[6];
+        System.arraycopy(arr1, 1, arr3, 2, 3);
+
+        System.out.println("arr1: {" + arr1[0] + ", " + arr1[1] + ", " + arr1[2] + ", " + arr1[3] + "}; arr2: {" +
+                arr2[0] + ", " + arr2[1] + "}; arr3: {" + arr3[0] + ", " + arr3[1] + ", " + arr3[2] + ", " + arr3[3] +
+                ", " + arr3[4] + ", " + arr3[5] + "}");
+    }
+}

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/ArrayReadWriteAcrossMethodsExample.java

@@ -0,0 +1,40 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.*;
+
+/**
+ * An example to test reading and writing array elements across methods.
+ *
+ * @author Robin Körkemeier
+ */
+public class ArrayReadWriteAcrossMethodsExample {
+    public void setIndexTo23(int[] arr, int index) {
+        arr[index] = 23;
+    }
+
+    public void set11To42(int[] arr) {
+        arr[11] = 42;
+    }
+
+    @ArrayValues({
+            @ArrayValue(variable = "lv3", unknownElements = {
+                    @UnknownArrayElement(index = 0),
+                    @UnknownArrayElement(index = 1),
+                    @UnknownArrayElement(index = 2),
+                    @UnknownArrayElement(index = 3)
+            }),
+            @ArrayValue(variable = "lv5", constantElements = {
+                    @ConstantArrayElement(index = 11, value = 42)
+            })
+    })
+    public static void main(String[] args) {
+        ArrayReadWriteAcrossMethodsExample example = new ArrayReadWriteAcrossMethodsExample();
+
+        int[] arr1 = new int[100];
+        int[] arr2 = new int[100];
+
+        example.setIndexTo23(arr1, 2);
+        example.set11To42(arr2);
+    }
+}

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/ArrayReadWriteConstantExample.java

@@ -0,0 +1,47 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.ArrayValue;
+import org.opalj.fpcf.properties.lcp_on_fields.ArrayValues;
+import org.opalj.fpcf.properties.lcp_on_fields.ConstantArrayElement;
+
+/**
+ * An example to test reading and writing array elements in one method.
+ *
+ * @author Robin Körkemeier
+ */
+public class ArrayReadWriteConstantExample {
+    @ArrayValues({
+            @ArrayValue(variable = "lv1", constantElements = {
+                    @ConstantArrayElement(index = 0, value = 0),
+                    @ConstantArrayElement(index = 1, value = 0),
+                    @ConstantArrayElement(index = 2, value = 42),
+                    @ConstantArrayElement(index = 3, value = 4),
+                    @ConstantArrayElement(index = 4, value = 0)
+            }),
+            @ArrayValue(variable = "lv3", constantElements = {
+                    @ConstantArrayElement(index = 0, value = 0),
+                    @ConstantArrayElement(index = 1, value = 2),
+                    @ConstantArrayElement(index = 2, value = 3),
+                    @ConstantArrayElement(index = 3, value = 4)
+            }),
+            @ArrayValue(variable = "lv11", constantElements = {
+                    @ConstantArrayElement(index = 0, value = 11),
+                    @ConstantArrayElement(index = 1, value = 12),
+                    @ConstantArrayElement(index = 2, value = 13)
+            })
+    })
+    public static void main(String[] args) {
+        int[] arr1 = new int[5];
+        int[] arr2 = new int[]{1, 2, 3, 4};
+        int[] arr3 = new int[]{11, 12, 13};
+
+        arr1[2] = 42;
+        arr1[3] = arr2[3];
+        arr2[0] = arr1[4];
+
+        System.out.println("arr1: {" + arr1[0] + ", " + arr1[1] + ", " + arr1[2] + ", " + arr1[3] + ", " + arr1[4] +
+                "}; arr2: {" + arr2[0] + ", " + arr2[1] + ", " + arr2[2] + ", " + arr2[3] + "}; arr3: {" + arr3[0] +
+                ", " + arr3[1] + ", " + arr3[2] + "}");
+    }
+}

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/ArrayUnknownIndicesExample.java

@@ -0,0 +1,52 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.ArrayValue;
+import org.opalj.fpcf.properties.lcp_on_fields.ConstantArrayElement;
+import org.opalj.fpcf.properties.lcp_on_fields.VariableArrayElement;
+import org.opalj.fpcf.properties.linear_constant_propagation.ConstantValue;
+import org.opalj.fpcf.properties.linear_constant_propagation.VariableValue;
+
+/**
+ * An example to test reading and writing of arrays at an unknown index.
+ *
+ * @author Robin Körkemeier
+ */
+public class ArrayUnknownIndicesExample {
+    @ArrayValue(variable = "lv1", variableElements = {
+            @VariableArrayElement(index = 0),
+            @VariableArrayElement(index = 1),
+            @VariableArrayElement(index = 10),
+            @VariableArrayElement(index = 11),
+            @VariableArrayElement(index = 12),
+            @VariableArrayElement(index = 13),
+            @VariableArrayElement(index = 98),
+            @VariableArrayElement(index = 99),
+    }, constantElements = {
+            @ConstantArrayElement(index = 50, value = 99)
+    })
+    @ConstantValue(variable = "lv9", value = 0)
+    @VariableValue(variable = "lvf")
+    public static void main(String[] args) {
+        int[] arr = new int[100];
+
+        int i;
+        int j;
+        if (args.length == 0) {
+            i = 42;
+            j = 11;
+        } else {
+            i = 23;
+            j = 12;
+        }
+
+        int a1 = arr[i];
+
+        arr[j] = 13;
+        arr[50] = 99;
+
+        int a2 = arr[i];
+
+        System.out.println("a1: " + a1 + ", a2: " + a2);
+    }
+}

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/CreateObjectInMethodExample.java

@@ -0,0 +1,54 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValue;
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValues;
+import org.opalj.fpcf.properties.linear_constant_propagation.ConstantValue;
+import org.opalj.fpcf.properties.linear_constant_propagation.VariableValue;
+
+/**
+ * An example to test objects created across methods.
+ *
+ * @author Robin Körkemeier
+ */
+public class CreateObjectInMethodExample {
+    private int a = 42;
+
+    private CreateObjectInMethodExample createNew1() {
+        CreateObjectInMethodExample example = new CreateObjectInMethodExample();
+        example.a -= 11;
+        return example;
+    }
+
+    @ObjectValue(variable = "lv0", constantValues = {@ConstantValue(variable = "a", value = 33)})
+    private CreateObjectInMethodExample createNew2() {
+        CreateObjectInMethodExample example = new CreateObjectInMethodExample();
+        example.a = a + 2;
+        return example;
+    }
+
+    @ObjectValue(variable = "lv0", variableValues = {@VariableValue(variable = "a")})
+    private CreateObjectInMethodExample createNew3() {
+        CreateObjectInMethodExample example = new CreateObjectInMethodExample();
+        example.a = a + 2;
+        return example;
+    }
+
+    @ObjectValues({
+            @ObjectValue(variable = "lv0", constantValues = {@ConstantValue(variable = "a", value = 42)}),
+            @ObjectValue(variable = "lv2", constantValues = {@ConstantValue(variable = "a", value = 31)}),
+            @ObjectValue(variable = "lv3", constantValues = {@ConstantValue(variable = "a", value = 33)}),
+            @ObjectValue(variable = "lv4", variableValues = {@VariableValue(variable = "a")}),
+            @ObjectValue(variable = "lv5", variableValues = {@VariableValue(variable = "a")})
+    })
+    public static void main(String[] args) {
+        CreateObjectInMethodExample example1 = new CreateObjectInMethodExample();
+        CreateObjectInMethodExample example2 = example1.createNew1();
+        CreateObjectInMethodExample example3 = example2.createNew2();
+        CreateObjectInMethodExample example4 = example3.createNew3();
+        CreateObjectInMethodExample example5 = example4.createNew3();
+
+        System.out.println("e1: " + example1.a + ", e2: " + example2.a + ", e3: " + example3.a + ", e4: " +
+                example4.a + ", e5: " + example5.a);
+    }
+}

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/FieldReadWriteAcrossMethodsExample.java

@@ -0,0 +1,49 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValue;
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValues;
+import org.opalj.fpcf.properties.linear_constant_propagation.ConstantValue;
+import org.opalj.fpcf.properties.linear_constant_propagation.UnknownValue;
+
+/**
+ * An example to test reading and writing fields of objects across methods.
+ *
+ * @author Robin Körkemeier
+ */
+public class FieldReadWriteAcrossMethodsExample {
+    private int a = -2;
+
+    private void setA(int a) {
+        this.a = a;
+    }
+
+    private void setATo42() {
+        this.a = 42;
+    }
+
+    private int getA() {
+        return a;
+    }
+
+    @ObjectValues({
+            @ObjectValue(variable = "lv0", unknownValues = {@UnknownValue(variable = "a")}),
+            @ObjectValue(variable = "lv2", constantValues = {@ConstantValue(variable = "a", value = 42)}),
+            @ObjectValue(variable = "lv4", constantValues = {@ConstantValue(variable = "a", value = -2)})
+    })
+    public static void main(String[] args) {
+        FieldReadWriteAcrossMethodsExample example1 = new FieldReadWriteAcrossMethodsExample();
+        FieldReadWriteAcrossMethodsExample example2 = new FieldReadWriteAcrossMethodsExample();
+        FieldReadWriteAcrossMethodsExample example3 = new FieldReadWriteAcrossMethodsExample();
+
+        example1.setA(23);
+        int e1a = example1.getA();
+
+        example2.setATo42();
+        int e2a = example2.getA();
+
+        int e3a = example3.getA();
+
+        System.out.println("e1a: " + e1a + ", e2a: " + e2a + ", e3a: " + e3a);
+    }
+}

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/FieldReadWriteConstantExample.java

@@ -0,0 +1,34 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValue;
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValues;
+import org.opalj.fpcf.properties.linear_constant_propagation.ConstantValue;
+
+/**
+ * An example to test reading and writing of object fields with constants.
+ *
+ * @author Robin Körkemeier
+ */
+public class FieldReadWriteConstantExample {
+    private int a = -1;
+
+    @ObjectValues({
+            @ObjectValue(variable = "lv0", constantValues = {@ConstantValue(variable = "a", value = -1)}),
+            @ObjectValue(variable = "lv2", constantValues = {@ConstantValue(variable = "a", value = 42)}),
+            @ObjectValue(variable = "lv4", constantValues = {@ConstantValue(variable = "a", value = 41)})
+    })
+    public static void main(String[] args) {
+        FieldReadWriteConstantExample example1 = new FieldReadWriteConstantExample();
+        FieldReadWriteConstantExample example2 = new FieldReadWriteConstantExample();
+        FieldReadWriteConstantExample example3 = new FieldReadWriteConstantExample();
+
+        example2.a = 23;
+        example2.a = 42;
+
+        example3.a = example2.a;
+        example3.a--;
+
+        System.out.println("e1: " + example1.a + ", e2: " + example2.a + ", e3: " + example3.a);
+    }
+}

DEVELOPING_OPAL/validate/src/test/java/org/opalj/fpcf/fixtures/lcp_on_fields/FieldReadWriteWithBranchingExample.java

@@ -0,0 +1,51 @@
+/* BSD 2-Clause License - see OPAL/LICENSE for details. */
+package org.opalj.fpcf.fixtures.lcp_on_fields;
+
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValue;
+import org.opalj.fpcf.properties.lcp_on_fields.ObjectValues;
+import org.opalj.fpcf.properties.linear_constant_propagation.ConstantValue;
+import org.opalj.fpcf.properties.linear_constant_propagation.VariableValue;
+
+/**
+ * An example to test reading and writing object fields in presence of if-then-else constructs.
+ *
+ * @author Robin Körkemeier
+ */
+public class FieldReadWriteWithBranchingExample {
+    private int a = -1;
+
+    @ObjectValue(variable = "lv0", variableValues = {@VariableValue(variable = "a")})
+    public static FieldReadWriteWithBranchingExample multipleReturns(int y) {
+        FieldReadWriteWithBranchingExample e = new FieldReadWriteWithBranchingExample();
+        if (y > 0) {
+            e.a = 42;
+            return e;
+        } else {
+            e.a = 23;
+            return e;
+        }
+    }
+
+    @ObjectValues({
+            @ObjectValue(variable = "lv0", constantValues = {@ConstantValue(variable = "a", value = 42)}),
+            @ObjectValue(variable = "lv2", variableValues = {@VariableValue(variable = "a")}),
+            @ObjectValue(variable = "lv4", variableValues = {@VariableValue(variable = "a")})
+    })
+    public static void main(String[] args) {
+        FieldReadWriteWithBranchingExample example1 = new FieldReadWriteWithBranchingExample();
+        FieldReadWriteWithBranchingExample example2 = new FieldReadWriteWithBranchingExample();
+        FieldReadWriteWithBranchingExample example3 = new FieldReadWriteWithBranchingExample();
+
+        if (args.length == 0) {
+            example1.a = 42;
+            example2.a = 23;
+            example3.a = example2.a;
+        } else {
+            example1.a = 40;
+            example1.a += 2;
+            example3.a = example1.a;
+        }
+
+        System.out.println("e1: " + example1.a + ", e2: " + example2.a + ", e3: " + example3.a);
+    }
+}