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
2014-01-15 12:43:51 +04:00
parent fbe9a04a16
commit 55469efbbe
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/awt/annotations.xml
+3
View File
@@ -150,6 +150,9 @@
<val name="intValues" val="{java.awt.Label.LEFT, java.awt.Label.CENTER, java.awt.Label.RIGHT}" />
</annotation>
</item>
<item name='java.awt.Point Point(java.awt.Point) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name="java.awt.Rectangle Rectangle(java.awt.Dimension) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
java/jdkAnnotations/java/awt/event/annotations.xml
+3
View File
@@ -100,6 +100,9 @@
<val name="flagsFromClass" val="java.awt.event.InputEvent.class" />
</annotation>
</item>
<item name='java.awt.event.MouseEvent java.awt.Point getPoint()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name="java.awt.event.MouseEvent java.lang.String getMouseModifiersText(int) 0">
<annotation name="org.intellij.lang.annotations.MagicConstant">
<val name="flagsFromClass" val="java.awt.event.InputEvent.class" />