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
|
import org.checkerframework.checker.fenum.qual.FenumBottom;
import org.checkerframework.checker.fenum.qual.PolyFenum;
import org.checkerframework.checker.fenum.qual.SwingCompassDirection;
public class PolyTest {
public static boolean flag = false;
@PolyFenum String merge(
@PolyFenum String a,
@PolyFenum String b,
@SwingCompassDirection String x,
@FenumBottom String bot) {
// Test lub with poly and a qualifier that isn't top or bottom.
String y = flag ? a : x;
// :: error: (assignment.type.incompatible)
@PolyFenum String y2 = flag ? a : x;
// Test lub with poly and bottom.
// Test lub with poly and bottom.
@PolyFenum String z = flag ? a : bot;
// Test lub with two polys
return flag ? a : b;
}
}
|
