1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Make sure that we actually receive errors from sub-checkers.
import org.checkerframework.checker.i18n.qual.Localized;
import org.checkerframework.checker.regex.qual.Regex;
class NullnessAndRegex {
// :: error: (assignment.type.incompatible)
@Regex String s1 = "De(mo";
// :: error: (assignment.type.incompatible)
Object f = null;
// :: error: (assignment.type.incompatible)
@Regex String s2 = "De(mo";
void localized(@Localized String s) {}
void method() {
// :: error: (argument.type.incompatible)
localized("ldskjfldj"); // error
}
}
|
