no contract annotation if method is already @NotNull

This commit is contained in:
Ilya Klyuchnikov
2014-07-10 10:35:49 +02:00
committed by peter
parent 175486973c
commit ce6450136f
34 changed files with 9 additions and 1468 deletions
@@ -1,8 +1,5 @@
<root>
<item name="javax.swing.AbstractButton java.beans.PropertyChangeListener createActionPropertyChangeListener(javax.swing.Action)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null-&gt;!null;null-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.AbstractButton java.lang.String paramString()">
@@ -218,9 +215,6 @@
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.JTable java.awt.print.Printable getPrintable(int, java.text.MessageFormat, java.text.MessageFormat)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;_,!null,_-&gt;!null;_,_,!null-&gt;!null;_,_,null-&gt;!null;_,null,_-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.JTable java.lang.String getToolTipText(java.awt.event.MouseEvent) 0">
@@ -233,9 +227,6 @@
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.JTable javax.swing.JScrollPane createScrollPaneForTable(javax.swing.JTable)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null-&gt;!null;null-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.JTable javax.swing.ListSelectionModel createDefaultSelectionModel()">
@@ -386,9 +377,6 @@
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.Point convertScreenLocationToParent(java.awt.Container, int, int)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null,_,_-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.Rectangle calculateInnerArea(javax.swing.JComponent, java.awt.Rectangle)">
@@ -416,24 +404,15 @@
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.Rectangle convertRectangle(java.awt.Component, java.awt.Rectangle, java.awt.Component)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null,_,_-&gt;!null;_,!null,_-&gt;!null;_,_,!null-&gt;!null;_,_,null-&gt;!null;null,_,_-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.Rectangle getLocalBounds(java.awt.Component) 0">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.Rectangle getLocalBounds(java.awt.Component)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.Rectangle[] computeDifference(java.awt.Rectangle, java.awt.Rectangle)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null,_-&gt;!null;_,!null-&gt;!null;_,null-&gt;!null;null,_-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.Window getWindowAncestor(java.awt.Component) 0">
@@ -446,9 +425,6 @@
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.awt.event.MouseEvent convertMouseEvent(java.awt.Component, java.awt.event.MouseEvent, java.awt.Component)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null,_,_-&gt;!null;_,!null,_-&gt;!null;_,_,!null-&gt;!null;_,_,null-&gt;!null;null,_,_-&gt;!null&quot;"/>
</annotation>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="javax.swing.SwingUtilities java.lang.String layoutCompoundLabel(java.awt.FontMetrics, java.lang.String, javax.swing.Icon, int, int, int, int, java.awt.Rectangle, java.awt.Rectangle, java.awt.Rectangle, int) 7">