From: jjenista <jjenista>
Date: Mon, 10 Jan 2011 22:55:43 +0000 (+0000)
Subject: just checking that the genreach debug statement works
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a260b28a7e8067d23068eda8e503c3a3e11d7d68;p=IRC.git

just checking that the genreach debug statement works
---

diff --git a/Robust/src/Tests/disjoint/genreach/makefile b/Robust/src/Tests/disjoint/genreach/makefile
new file mode 100644
index 00000000..dcb012af
--- /dev/null
+++ b/Robust/src/Tests/disjoint/genreach/makefile
@@ -0,0 +1,27 @@
+PROGRAM=test
+
+SOURCE_FILES=$(PROGRAM).java
+
+BUILDSCRIPT=~/research/Robust/src/buildscript
+BSFLAGS= -mainclass Test -justanalyze -disjoint -disjoint-k 1 -disjoint-write-dots final -disjoint-alias-file aliases.txt normal -enable-assertions
+
+all: $(PROGRAM).bin
+
+view: PNGs
+	eog *.png &
+
+PNGs: DOTs
+	d2p *COMPLETE*.dot
+
+DOTs: $(PROGRAM).bin
+
+$(PROGRAM).bin: $(SOURCE_FILES)
+	$(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
+
+clean:
+	rm -f  $(PROGRAM).bin
+	rm -fr tmpbuilddirectory
+	rm -f  *~
+	rm -f  *.dot
+	rm -f  *.png
+	rm -f  aliases.txt
diff --git a/Robust/src/Tests/disjoint/genreach/test.java b/Robust/src/Tests/disjoint/genreach/test.java
new file mode 100644
index 00000000..4b534fab
--- /dev/null
+++ b/Robust/src/Tests/disjoint/genreach/test.java
@@ -0,0 +1,23 @@
+public class Foo {
+  public Foo() {}
+  public Foo f;
+}
+
+public class Test {
+  static public void main( String[] args ) {
+    Foo a = disjoint A new Foo();
+    Foo b = disjoint B new Foo();
+    f0( a, b );
+  }
+
+  static public void f0( Foo a, Foo b ) {
+    a.f = b;
+    f1( b );
+    genreach qqq;
+  }
+   
+  static public void f1( Foo c ) {
+    Foo d = new Foo();
+    c.f = d;
+  }
+}