report non-annotated constructor parameter for final @Nullable/@NotNull fields

This commit is contained in:
peter
2012-06-25 19:44:53 +02:00
parent 3078d430fb
commit adf1c737ab
3 changed files with 22 additions and 3 deletions
@@ -62,4 +62,12 @@
<description>Constructor parameter for @NotNull field might be annotated @NotNull itself</description>
</problem>
<problem>
<file>Test.java</file>
<line>63</line>
<problem_class severity="WARNING" attribute_key="WARNING_ATTRIBUTES">@NotNull/@Nullable problems</problem_class>
<description>Constructor parameter for @NotNull field might be annotated @NotNull itself</description>
</problem>
</problems>
@@ -55,4 +55,13 @@ class D {
D(long l) {
myL = l;
}
}
class E {
final @NotNull C c;
E(C c) {
this.c = c;
}
}