initial version

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/new/CflowBinding.java b/tests/new/CflowBinding.java
new file mode 100644
index 000000000..0b4b4478c
--- /dev/null
+++ b/tests/new/CflowBinding.java
@@ -0,0 +1,16 @@
+public class CflowBinding {
+    public static void main(String[] args) {
+    }
+
+    public void m1() {}
+    public void m2() { m1(); }
+}
+
+aspect A {
+    public static Object foo = null;
+
+    before(final Object t): execution(void m1()) && this(t) && 
+        cflow(execution(void m2()) && if(t == foo))    //CE
+    {
+    }
+}