diff options
author | Samuel Tardieu <sam@rfc1149.net> | 2014-11-23 17:58:32 +0100 |
---|---|---|
committer | Samuel Tardieu <sam@rfc1149.net> | 2014-11-23 18:01:04 +0100 |
commit | 63db6f1279b428ecd565aafe5ba0b112a4f7587a (patch) | |
tree | 4e4773fd2afbab35c5d0b4b000b64058e7c1f581 /main/project | |
parent | 6c478f349a88a7c46f8ff4941692cf2c5f0ecea3 (diff) | |
download | cgeo-63db6f1279b428ecd565aafe5ba0b112a4f7587a.zip cgeo-63db6f1279b428ecd565aafe5ba0b112a4f7587a.tar.gz cgeo-63db6f1279b428ecd565aafe5ba0b112a4f7587a.tar.bz2 |
Teach IntelliJ IDEA some external nullness properties
- ArrayList#toArray() never returns null
- String#trim() never returns null
- StringUtils.split returns null iff its argument is null.
Diffstat (limited to 'main/project')
3 files changed, 19 insertions, 0 deletions
diff --git a/main/project/annotations/java/lang/annotations.xml b/main/project/annotations/java/lang/annotations.xml new file mode 100644 index 0000000..0926f42 --- /dev/null +++ b/main/project/annotations/java/lang/annotations.xml @@ -0,0 +1,7 @@ +<root> + <item name='java.lang.String java.lang.String trim()'> + <annotation name='org.jetbrains.annotations.Contract'> + <val val=""->!null"" /> + </annotation> + </item> +</root>
\ No newline at end of file diff --git a/main/project/annotations/java/util/annotations.xml b/main/project/annotations/java/util/annotations.xml new file mode 100644 index 0000000..854909b --- /dev/null +++ b/main/project/annotations/java/util/annotations.xml @@ -0,0 +1,7 @@ +<root> + <item name='java.util.List java.lang.Object[] toArray()'> + <annotation name='org.jetbrains.annotations.Contract'> + <val val=""->!null"" /> + </annotation> + </item> +</root>
\ No newline at end of file diff --git a/main/project/annotations/org/apache/commons/lang3/annotations.xml b/main/project/annotations/org/apache/commons/lang3/annotations.xml index 19b051a..055c02b 100644 --- a/main/project/annotations/org/apache/commons/lang3/annotations.xml +++ b/main/project/annotations/org/apache/commons/lang3/annotations.xml @@ -11,4 +11,9 @@ <val val=""null,_,_->null;_,null,_->null;_,_,null->null"" /> </annotation> </item> + <item name='org.apache.commons.lang3.StringUtils java.lang.String[] split(java.lang.String)'> + <annotation name='org.jetbrains.annotations.Contract'> + <val val=""null->null;!null->!null"" /> + </annotation> + </item> </root>
\ No newline at end of file |