MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

add more external annotations for java.io.File.list* (IDEA-153062)

Browse Source
This commit is contained in:
peter
2016-03-16 11:32:50 +01:00
parent c381e3e7d5
commit af67ab21c9
1 changed files with 21 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/io/annotations.xml
+21
View File
@@ -122,6 +122,18 @@
<item name="java.io.File java.io.File[] listFiles()">
<annotation name="org.jetbrains.annotations.Nullable" />
</item>
<item name='java.io.File java.io.File[] listFiles(java.io.FileFilter)'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.File java.io.File[] listFiles(java.io.FileFilter) 0'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.File java.io.File[] listFiles(java.io.FilenameFilter)'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.File java.io.File[] listFiles(java.io.FilenameFilter) 0'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name="java.io.File java.lang.String getAbsolutePath()">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
@@ -134,6 +146,15 @@
<item name="java.io.File java.lang.String getPath()">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
<item name='java.io.File java.lang.String[] list()'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.File java.lang.String[] list(java.io.FilenameFilter)'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.File java.lang.String[] list(java.io.FilenameFilter) 0'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name="java.io.File java.net.URI toURI()">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>