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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
import org.checkerframework.checker.i18n.qual.*;
// @C <: @B <: @A
// Testing Rule 1 (constructor declaration type <: class type)
@UnknownLocalizableKey class Issue2163FinalAA {
@UnknownLocalizableKey Issue2163FinalAA() {}
}
@UnknownLocalizableKey class Issue2163FinalAB {
// :: error: (super.invocation.invalid) :: warning: (inconsistent.constructor.type)
@LocalizableKey Issue2163FinalAB() {}
}
@UnknownLocalizableKey class Issue2163FinalAC {
// :: error: (super.invocation.invalid) :: warning: (inconsistent.constructor.type)
@LocalizableKeyBottom Issue2163FinalAC() {}
}
@LocalizableKey class Issue2163FinalBA {
// :: error: (type.invalid.annotations.on.use)
@UnknownLocalizableKey Issue2163FinalBA() {}
}
@LocalizableKey class Issue2163FinalBB {
// :: error: (super.invocation.invalid) :: warning: (inconsistent.constructor.type)
@LocalizableKey Issue2163FinalBB() {}
}
@LocalizableKey class Issue2163FinalBC {
// :: error: (super.invocation.invalid) :: warning: (inconsistent.constructor.type)
@LocalizableKeyBottom Issue2163FinalBC() {}
}
@LocalizableKeyBottom class Issue2163FinalCA {
// :: error: (type.invalid.annotations.on.use)
@UnknownLocalizableKey Issue2163FinalCA() {}
}
@LocalizableKeyBottom class Issue2163FinalCB {
// :: error: (type.invalid.annotations.on.use) :: warning: (inconsistent.constructor.type) ::
// error: (super.invocation.invalid)
@LocalizableKey Issue2163FinalCB() {}
}
@LocalizableKeyBottom class Issue2163FinalCC {
// :: error: (super.invocation.invalid) :: warning: (inconsistent.constructor.type)
@LocalizableKeyBottom Issue2163FinalCC() {}
}
// Testing Rule 2 (Issue type cast warning if constuctor declaration type <: invocation type)
class Issue2163FinalAAClient {
void test() {
new @UnknownLocalizableKey Issue2163FinalAA();
// :: warning: (cast.unsafe.constructor.invocation)
new @LocalizableKey Issue2163FinalAA();
// :: warning: (cast.unsafe.constructor.invocation)
new @LocalizableKeyBottom Issue2163FinalAA();
}
}
// Testing Default
class Issue2163FinalBCClient {
@LocalizableKeyBottom Issue2163FinalBC obj = new Issue2163FinalBC();
}
|
