test(spgroup#31): add tests sample

barbosamaatheus · Dec 22, 2020 · 0ebd4fc · 0ebd4fc
1 parent 307fd80
commit 0ebd4fc
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/.../br/unb/cic/analysis/samples/OverridingAssignmentBranchConflictInterProceduralSample.java b/.../br/unb/cic/analysis/samples/OverridingAssignmentBranchConflictInterProceduralSample.java
@@ -0,0 +1,20 @@
+package br.unb.cic.analysis.samples;
+
+// Conflict: [left, m():8] --> [right, foo():14]
+public class OverridingAssignmentBranchConflictInterProceduralSample {
+    private int x;
+
+    public void m() {
+        x = 0; // LEFT
+        foo(); // RIGHT
+    }
+
+    private void foo() {
+        if (x >= 0) {
+            x = 1;
+        } else {
+            System.out.println(x);
+        }
+        ;
+    }
+}