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

notnull

Browse Source
This commit is contained in:
Alexey Kudravtsev
2012-08-22 13:26:51 +04:00
parent a1e4c1d259
commit c522a0d336
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/org/jdom/annotations.xml
+12
View File
@@ -2,4 +2,16 @@
<item name='org.jdom.Element Element(java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NonNls'/>
</item>
<item name='org.jdom.Element java.util.List getChildren(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'>
</annotation>
</item>
<item name='org.jdom.Element java.util.List getChildren(java.lang.String, org.jdom.Namespace)'>
<annotation name='org.jetbrains.annotations.NotNull'>
</annotation>
</item>
<item name='org.jdom.Element java.util.List getChildren()'>
<annotation name='org.jetbrains.annotations.NotNull'>
</annotation>
</item>
</root>