From 038cafb68554557b57bc937113c151290b60fc87 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Wed, 17 Mar 2010 18:51:07 +0000
Subject: [PATCH] a test
---
Robust/src/Tests/disjoint/crashTest1/makefile | 27 +++++++++++++++++++
.../src/Tests/disjoint/crashTest1/test.java | 17 ++++++++++++
2 files changed, 44 insertions(+)
create mode 100644 Robust/src/Tests/disjoint/crashTest1/makefile
create mode 100644 Robust/src/Tests/disjoint/crashTest1/test.java
diff --git a/Robust/src/Tests/disjoint/crashTest1/makefile b/Robust/src/Tests/disjoint/crashTest1/makefile
new file mode 100644
index 00000000..dcb012af
--- /dev/null
+++ b/Robust/src/Tests/disjoint/crashTest1/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/crashTest1/test.java b/Robust/src/Tests/disjoint/crashTest1/test.java
new file mode 100644
index 00000000..65ad0095
--- /dev/null
+++ b/Robust/src/Tests/disjoint/crashTest1/test.java
@@ -0,0 +1,17 @@
+public class Foo {
+ public Foo() {}
+ public Foo f;
+}
+
+public class Test {
+ static public void main( String[] args ) {
+ Foo a = disjoint A new Foo();
+ f1(a);
+ }
+
+ static public void f1( Foo c ) {
+ Foo d = new Foo();
+ c.f = d;
+ }
+
+}
--
2.34.1