From: spikeuci <spikeuci>
Date: Tue, 25 Oct 2011 00:03:29 +0000 (+0000)
Subject: Checking in the test cases
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5d528bb1bd01c15a4a093365bbd625abe990ca7c;p=IRC.git

Checking in the test cases
---

diff --git a/Robust/src/Tests/innerclass/inner.java b/Robust/src/Tests/innerclass/inner.java
new file mode 100644
index 00000000..bb429367
--- /dev/null
+++ b/Robust/src/Tests/innerclass/inner.java
@@ -0,0 +1,44 @@
+public class inner{
+  int outer;
+  int f2;
+
+  public inner() {
+    outer=31;
+  }
+
+  public static void main(String x[]) {
+    inner i=new inner();
+    i.dotest();
+  }
+
+  public void dotest() {
+    outer=35;
+    inner ij = new inner();
+    t tmp=ij. new t();
+    //t.f2 = 3;
+    tmp.print();
+  }
+
+  public inner createOne() {
+	return new inner();	
+	}
+
+  public class t {
+    int outer;
+    int f3 = 23;
+    public t() {
+	this.outer=4;
+	//f2=3;
+      f3=4;
+
+    }
+
+    public void print() {
+      //should print 4 0 3
+      System.out.println(outer);
+      System.out.println(this$0.outer);
+
+    }
+  }
+
+}
diff --git a/Robust/src/Tests/innerclass/makefile b/Robust/src/Tests/innerclass/makefile
new file mode 100644
index 00000000..ad232de1
--- /dev/null
+++ b/Robust/src/Tests/innerclass/makefile
@@ -0,0 +1,27 @@
+PROGRAM=inner
+
+SOURCE_FILES=inner.java
+
+BUILDSCRIPT=~/research/Robust/src/buildscript
+BSFLAGS= -64bit -joptimize -mainclass inner
+
+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