Class#isInstance marked as pure

This commit is contained in:
Tagir Valeev
2018-01-18 10:22:15 +07:00
parent 7188958adb
commit 2917e5adf1
+31 -30
View File
@@ -23,7 +23,8 @@
</item>
<item name='java.lang.Class boolean isInstance(java.lang.Object)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val="&quot;null-&gt;false&quot;"/>
<val name="value" val="&quot;null-&gt;false&quot;"/>
<val name="pure" val="true"/>
</annotation>
</item>
<item name="java.lang.Class int getModifiers()">
@@ -61,12 +62,6 @@
<item name="java.lang.Comparable int compareTo(T) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
<item name='java.lang.Enum int ordinal()'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="java.lang.Integer.MAX_VALUE"/>
</annotation>
</item>
<item name='java.lang.Enum T valueOf(java.lang.Class&lt;T&gt;, java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -76,6 +71,18 @@
<item name='java.lang.Enum T valueOf(java.lang.Class&lt;T&gt;, java.lang.String) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Enum int ordinal()'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="java.lang.Integer.MAX_VALUE"/>
</annotation>
</item>
<item name='java.lang.Integer int bitCount(int)'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="32"/>
</annotation>
</item>
<item name='java.lang.Integer int numberOfLeadingZeros(int)'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
@@ -88,12 +95,6 @@
<val name="to" val="32"/>
</annotation>
</item>
<item name='java.lang.Integer int bitCount(int)'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="32"/>
</annotation>
</item>
<item name='java.lang.Integer java.lang.Integer valueOf(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -103,17 +104,11 @@
<item name='java.lang.Iterable java.util.Iterator&lt;T&gt; iterator()'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Long java.lang.Long decode(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Long java.lang.Long valueOf(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Long java.lang.Long valueOf(java.lang.String, int)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Long java.lang.Long valueOf(long)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
<item name='java.lang.Long int bitCount(long)'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="64"/>
</annotation>
</item>
<item name='java.lang.Long int numberOfLeadingZeros(long)'>
<annotation name='org.jetbrains.annotations.Range'>
@@ -127,18 +122,24 @@
<val name="to" val="64"/>
</annotation>
</item>
<item name='java.lang.Long int bitCount(long)'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="64"/>
</annotation>
<item name='java.lang.Long java.lang.Long decode(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Long java.lang.Long valueOf(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Long java.lang.Long valueOf(java.lang.String, int)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Long java.lang.Long valueOf(long)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Object java.lang.Class&lt;?&gt; getClass()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
</item>
<item name="java.lang.Readable int read(java.nio.CharBuffer) 0">
<item name="java.lang.Readable int read(java.nio.CharBuffer) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
<item name="java.lang.Runtime java.lang.Process exec(java.lang.String[]) 0">