projects
/
IRC.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
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
}