--- /dev/null
+PROGRAM=test
+
+SOURCE_FILES=$(PROGRAM).java
+
+BUILDSCRIPT=~/research/Robust/src/buildscript
+BSFLAGS= -joptimize -mainclass Test -justanalyze -disjoint -disjoint-k 1 -enable-assertions \
+#-flatirusermethods -disjoint-write-dots final -disjoint-alias-file aliases.txt normal
+
+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
--- /dev/null
+public class Foo {
+ public Foo() {}
+ public Foo f;
+ public Bar b;
+}
+
+public class Bar {
+ public Bar() {}
+}
+
+public class Test {
+ static public void main( String[] args ) {
+ Foo x = new Foo();
+ Foo y = new Foo();
+ Foo z = disjoint Z new Foo();
+ Foo w = disjoint W new Foo();
+
+ Bar bNoZ = getNewBar();
+ Bar bYesZ = getNewBar();
+
+ x.b = bNoZ;
+ y.b = bYesZ;
+
+ genreach q1;
+
+ z.f = x;
+
+ genreach q2;
+
+ w.f = y;
+
+ genreach q3;
+
+ Bar causeSummary = getNewBar();
+ causeSummary = getNewBar();
+
+ genreach q4;
+
+
+ //genreach q5;
+ }
+
+ static public Bar getNewBar() {
+ return new Bar();
+ }
+}