add a new test case for inference

[IRC.git] / Robust / src / Tests / ssJava / infer / test.java

diff --git a/Robust/src/Tests/ssJava/infer/test.java b/Robust/src/Tests/ssJava/infer/test.java
index f4487062ebaad8cc2b52f819810bb24ddd670e6d..c63d810a083e72f7c3d2f2630a3c25af737eaf09 100644 (file)
--- a/Robust/src/Tests/ssJava/infer/test.java
+++ b/Robust/src/Tests/ssJava/infer/test.java
@@ -1,22 +1,52 @@
 public class test{
+    
+    int fieldA;
+    int fieldB;
+    int fieldC;
 
-    @LATTICE("OUT<IN")
-       public static void main (@LOC("IN") String args[]){       
+    public static void main (@LOC("IN") String args[]){       
        test t=new test();      
-       int i=0;
        SSJAVA:
-       while(i<100){
-           t.doit();
-           i++;
+       while(true){
+           t.doit();       
        }
     }
     
-    @LATTICE("")
     public void doit(){
-       int a;
-       int b;
-       a = 5;
-       b = a;
+       int localA = 0;
+       int localB = 0;
+       int localC = 0;
+
+       if(localA>100){
+           int localD=50;
+           localC=localD;
+       }else{
+           paramTest(localA,localB,new Foo());
+       }
+    }
+
+    public void paramTest(int paramA, int paramB, Foo paramFooC){
+       int localD = 100;
+       if(paramA>paramB){
+           paramFooC.fooFieldA=50;
+       }else{
+           paramFooC.fooFieldB=localD;
+       }
     }
     
+}
+
+class Foo{
+
+    int fooFieldA;
+    int fooFieldB;
+
+    public int getA(){
+       return fooFieldA;
+    }
+
+    public int getB(){
+       return fooFieldB;
+    }
+
 }
\ No newline at end of file