diff options
Diffstat (limited to 'main/project/annotations/java')
| -rw-r--r-- | main/project/annotations/java/lang/annotations.xml | 7 | ||||
| -rw-r--r-- | main/project/annotations/java/util/annotations.xml | 7 |
2 files changed, 14 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 |