X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FTests%2FssJava%2Finfer%2Ftest.java;h=c63d810a083e72f7c3d2f2630a3c25af737eaf09;hp=f4487062ebaad8cc2b52f819810bb24ddd670e6d;hb=b6a17c0c4e226412287f9144bde4cc114fe68b58;hpb=0cb8508d84840263d5b8e83594407bd689521f91

diff --git a/Robust/src/Tests/ssJava/infer/test.java b/Robust/src/Tests/ssJava/infer/test.java
index f4487062..c63d810a 100644
--- 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