From 2917e5adf15e1173bb5c58f99af38a77e5dc232e Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Thu, 18 Jan 2018 10:18:18 +0700
Subject: [PATCH] Class#isInstance marked as pure

---
 java/jdkAnnotations/java/lang/annotations.xml | 61 ++++++++++---------
 1 file changed, 31 insertions(+), 30 deletions(-)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index 8464e1c7e57b..71de83952da6 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -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">