1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
import testlib.util.*;
class Basic {
@Odd String field;
void test(@Odd String param) {
String local = "";
local = param;
field = local;
String r = field;
}
void testIf(@Odd String ifParam) {
String local = "";
if (field != null) {
local = ifParam;
} else {
local = ifParam;
}
String r = local;
}
void testWhile(@Odd String whileParam) {
String local = whileParam;
while (local != "foo") {
local = "";
}
String r = local;
}
void testWhile2(@Odd String whileParam) {
String local = "";
while (local != "foo") {
local = whileParam;
}
String r = local;
}
void testCompountAssignment(@Odd String odd) {
String nonOdd = odd;
nonOdd += "kj"; // nonOdd as rValue is not Odd necessarily!
nonOdd = "m";
}
}
|
