add a new test case for inference
[IRC.git] / Robust / src / Tests / ssJava / infer / test.java
1 public class test{
2     
3     int fieldA;
4     int fieldB;
5     int fieldC;
6
7     public static void main (@LOC("IN") String args[]){       
8         test t=new test();      
9         SSJAVA:
10         while(true){
11             t.doit();       
12         }
13     }
14     
15     public void doit(){
16         int localA = 0;
17         int localB = 0;
18         int localC = 0;
19
20         if(localA>100){
21             int localD=50;
22             localC=localD;
23         }else{
24             paramTest(localA,localB,new Foo());
25         }
26     }
27
28     public void paramTest(int paramA, int paramB, Foo paramFooC){
29         int localD = 100;
30         if(paramA>paramB){
31             paramFooC.fooFieldA=50;
32         }else{
33             paramFooC.fooFieldB=localD;
34         }
35     }
36     
37 }
38
39 class Foo{
40
41     int fooFieldA;
42     int fooFieldB;
43
44     public int getA(){
45         return fooFieldA;
46     }
47
48     public int getB(){
49         return fooFieldB;
50     }
51
52 }