From cd808051e2b21b14ee45e4f02174da37b4f12232 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <tagir.valeev@jetbrains.com>
Date: Tue, 6 Feb 2024 13:54:22 +0100
Subject: [PATCH] [java-annotations] java.lang.CharSequence methods are
 annotated as pure

GitOrigin-RevId: c2f04a10a14cd36ecc731164f40b8fc1b62c8a2b
---
 java/jdkAnnotations/java/lang/annotations.xml | 23 ++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index ac5fc9fff1f2..d69ce856372b 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -76,20 +76,41 @@
       <val name="to" val="255"/>
     </annotation>
   </item>
+  <item name='java.lang.CharSequence boolean isEmpty()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
+  <item name='java.lang.CharSequence char charAt(int)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
   <item name='java.lang.CharSequence char charAt(int) 0'>
     <annotation name='org.jetbrains.annotations.Range'>
       <val name="from" val="0"/>
       <val name="to" val="java.lang.Integer.MAX_VALUE-1"/>
     </annotation>
   </item>
+  <item name='java.lang.CharSequence int compare(java.lang.CharSequence, java.lang.CharSequence)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
+  </item>
   <item name='java.lang.CharSequence int length()'>
         <annotation name='org.jetbrains.annotations.Range'>
             <val name="from" val="0"/>
             <val name="to" val="java.lang.Integer.MAX_VALUE"/>
         </annotation>
-    </item>
+      <annotation name='org.jetbrains.annotations.Contract'>
+          <val name="pure" val="true"/>
+      </annotation>
+  </item>
   <item name='java.lang.CharSequence java.lang.CharSequence subSequence(int, int)'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="pure" val="true"/>
+    </annotation>
   </item>
   <item name='java.lang.CharSequence java.lang.CharSequence subSequence(int, int) 0'>
       <annotation name='org.jetbrains.annotations.Range'>