From 6af8a293e31a34b3280af04947b62088381afea7 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Tue, 19 Feb 2019 12:38:37 +0700
Subject: [PATCH] More range annotations for parameters

---
 java/jdkAnnotations/java/lang/annotations.xml | 48 ++++++++++++++-----
 java/jdkAnnotations/java/util/annotations.xml |  8 +++-
 2 files changed, 43 insertions(+), 13 deletions(-)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index 7c348a91b3bf..b0116a4a76ae 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -29,6 +29,18 @@
       <val name="to" val="java.lang.Byte.MAX_VALUE"/>
     </annotation>
   </item>
+  <item name='java.lang.CharSequence java.lang.CharSequence subSequence(int, int) 0'>
+      <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.CharSequence java.lang.CharSequence subSequence(int, int) 1'>
+      <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.CharSequence java.lang.String toString()">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -449,18 +461,6 @@
   <item name="java.lang.String String(java.lang.StringBuilder) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
-  <item name="java.lang.String char charAt(int) 0">
-    <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.String int codePointAt(int) 0">
-    <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.String boolean contains(java.lang.CharSequence) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -529,6 +529,12 @@
   <item name="java.lang.String byte[] getBytes(java.nio.charset.Charset) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name="java.lang.String char charAt(int) 0">
+    <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.String char[] toCharArray()">
     <annotation name="org.jetbrains.annotations.NotNull" />
     <annotation name='org.jetbrains.annotations.Contract'>
@@ -536,6 +542,12 @@
       <val name="pure" val="true"/>
     </annotation>
   </item>
+  <item name="java.lang.String int codePointAt(int) 0">
+    <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.String int compareTo(java.lang.String) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -570,6 +582,18 @@
   <item name="java.lang.String java.lang.CharSequence subSequence(int, int)">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.lang.String java.lang.CharSequence subSequence(int, int) 0'>
+      <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.String java.lang.CharSequence subSequence(int, int) 1'>
+      <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.String java.lang.String concat(java.lang.String)">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
diff --git a/java/jdkAnnotations/java/util/annotations.xml b/java/jdkAnnotations/java/util/annotations.xml
index 6bf26d9097a9..3bbd0fc79385 100644
--- a/java/jdkAnnotations/java/util/annotations.xml
+++ b/java/jdkAnnotations/java/util/annotations.xml
@@ -2233,7 +2233,13 @@
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>
   </item>
-  <item name='java.util.List E set(int, E)'>
+    <item name='java.util.List E remove(int) 0'>
+        <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.util.List E set(int, E)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>