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 (file)
index 0000000..bb42936
--- /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 (file)
index 0000000..ad232de
--- /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