From 3f03961581ad5b2e9053c924e733c0d4ddd9ce24 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 22 Mar 2011 23:44:06 +0000
Subject: [PATCH] cc paper example, THERE IS A BUG

---
 .../Tests/disjoint/cc-paper-example/makefile  | 27 ++++++++++++++++
 .../Tests/disjoint/cc-paper-example/test.java | 31 +++++++++++++++++++
 2 files changed, 58 insertions(+)
 create mode 100644 Robust/src/Tests/disjoint/cc-paper-example/makefile
 create mode 100644 Robust/src/Tests/disjoint/cc-paper-example/test.java

diff --git a/Robust/src/Tests/disjoint/cc-paper-example/makefile b/Robust/src/Tests/disjoint/cc-paper-example/makefile
new file mode 100644
index 00000000..b36b083b
--- /dev/null
+++ b/Robust/src/Tests/disjoint/cc-paper-example/makefile
@@ -0,0 +1,27 @@
+PROGRAM=test
+
+SOURCE_FILES=$(PROGRAM).java
+
+BUILDSCRIPT=~/research/Robust/src/buildscript
+BSFLAGS= -joptimize -flatirusermethods -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/cc-paper-example/test.java b/Robust/src/Tests/disjoint/cc-paper-example/test.java
new file mode 100644
index 00000000..ce6644c6
--- /dev/null
+++ b/Robust/src/Tests/disjoint/cc-paper-example/test.java
@@ -0,0 +1,31 @@
+public class Graph {
+  public Node n;
+}
+
+public class Node {
+  public Config c;
+  public Node   n;
+}
+
+public class Config {
+}
+
+
+
+public class Test {
+
+  static public Node nodeFactory() {
+    return disjoint N new Node();
+  }
+
+  static public void main( String[] args ) {
+    Graph g  = disjoint G new Graph();
+    Node  u  = nodeFactory();
+    Node  v  = nodeFactory();
+    Config c = disjoint C new Config();
+
+    g.n = u;
+    u.n = v; u.c = c;
+    v.n = u; v.c = c;
+  }
+}
-- 
2.34.1