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
|
import org.checkerframework.checker.signedness.qual.*;
public class ShiftPropogation {
public void ShiftOperationTests(@Unsigned int unsigned, @Signed int signed) {
@Unsigned int uur = unsigned >>> unsigned;
@Unsigned int usr = unsigned >>> signed;
@Signed int sur = signed >> unsigned;
@Signed int ssr = signed >> signed;
@Unsigned int uul = unsigned << unsigned;
@Unsigned int usl = unsigned << signed;
@Signed int sul = signed << unsigned;
@Signed int ssl = signed << signed;
}
public void ShiftAssignmentTests(@Unsigned int unsigned, @Signed int signed) {
@Unsigned int uur = unsigned >>>= unsigned;
@Unsigned int usr = unsigned >>>= signed;
@Signed int sur = signed >>= unsigned;
@Signed int ssr = signed >>= signed;
@Unsigned int uul = unsigned <<= unsigned;
@Unsigned int usl = unsigned <<= signed;
@Signed int sul = signed <<= unsigned;
@Signed int ssl = signed <<= signed;
}
}
|
