Testing Inference of '@Contract(pure=true)' annotations: delta in test data

This commit is contained in:
Ilya Klyuchnikov
2014-10-16 08:51:38 +04:00
parent f27e678e42
commit 2cec677727
53 changed files with 7609 additions and 127 deletions
@@ -26,6 +26,31 @@
<item name="java.sql.BatchUpdateException int[] getUpdateCounts()">
<annotation name="org.jetbrains.annotations.Nullable"/>
</item>
<item name="java.sql.DataTruncation boolean getParameter()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DataTruncation boolean getRead()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DataTruncation int getDataSize()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DataTruncation int getIndex()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DataTruncation int getTransferSize()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.Date java.lang.String toString()">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
@@ -37,12 +62,17 @@
</item>
<item name="java.sql.DriverInfo boolean equals(java.lang.Object)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;null-&gt;false&quot;"/>
<val val="value=&quot;null-&gt;false&quot;,pure=true"/>
</annotation>
</item>
<item name="java.sql.DriverInfo java.lang.String toString()">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.sql.DriverManager DriverManager()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DriverManager boolean isDriverAllowed(java.sql.Driver, java.lang.Class&lt;?&gt;) 0">
<annotation name="org.jetbrains.annotations.Nullable"/>
</item>
@@ -62,6 +92,21 @@
<val val="&quot;null,_-&gt;false&quot;"/>
</annotation>
</item>
<item name="java.sql.DriverManager int getLoginTimeout()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DriverManager java.io.PrintStream getLogStream()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DriverManager java.io.PrintWriter getLogWriter()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DriverManager java.sql.Connection getConnection(java.lang.String) 0">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
@@ -92,15 +137,50 @@
<item name="java.sql.DriverManager void setLogWriter(java.io.PrintWriter) 0">
<annotation name="org.jetbrains.annotations.Nullable"/>
</item>
<item name="java.sql.DriverManager.1 1()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DriverManager.2 2()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.DriverManager.2 java.lang.Object run()">
<annotation name="org.jetbrains.annotations.Nullable"/>
</item>
<item name="java.sql.DriverManager.2 java.lang.Void run()">
<annotation name="org.jetbrains.annotations.Nullable"/>
</item>
<item name="java.sql.SQLClientInfoException java.util.Map&lt;java.lang.String,java.sql.ClientInfoStatus&gt; getFailedProperties()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.SQLException int getErrorCode()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.SQLException java.lang.String getSQLState()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.SQLException java.sql.SQLException getNextException()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.SQLException java.util.Iterator&lt;java.lang.Throwable&gt; iterator()">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.sql.SQLException.1 boolean hasNext()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.Time java.lang.String toString()">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
@@ -129,6 +209,11 @@
<item name="java.sql.Timestamp int compareTo(java.util.Date) 0">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.sql.Timestamp int getNanos()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
<item name="java.sql.Timestamp java.lang.String toString()">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
@@ -138,4 +223,9 @@
<item name="java.sql.Timestamp java.sql.Timestamp valueOf(java.lang.String)">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.sql.Types Types()">
<annotation name="org.jetbrains.annotations.Contract">
<val val="pure=true"/>
</annotation>
</item>
</root>