From bffda7b49142de9e2d02a57ffe68dff1d504dd59 Mon Sep 17 00:00:00 2001
From: Bas Leijdekkers <basleijdekkers@gmail.com>
Date: Sun, 30 Mar 2025 17:02:57 +0200
Subject: [PATCH] Java: more @NotNull and @Range external annotations for
 java.io

GitOrigin-RevId: 977f6a79ed5abe3158ae8fde4aebaf47820ca8e1
---
 java/jdkAnnotations/java/io/annotations.xml | 594 +++++++++++++++++++-
 1 file changed, 592 insertions(+), 2 deletions(-)

diff --git a/java/jdkAnnotations/java/io/annotations.xml b/java/jdkAnnotations/java/io/annotations.xml
index 30dbc35b3c23..5a878a7ba578 100644
--- a/java/jdkAnnotations/java/io/annotations.xml
+++ b/java/jdkAnnotations/java/io/annotations.xml
@@ -6,6 +6,12 @@
   <item name="java.io.BufferedInputStream BufferedInputStream(java.io.InputStream, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.BufferedInputStream BufferedInputStream(java.io.InputStream, int) 1'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
   <item name="java.io.BufferedInputStream int read()">
     <annotation name='org.jetbrains.annotations.Range'>
       <val name="from" val="-1"/>
@@ -21,15 +27,51 @@
   <item name="java.io.BufferedInputStream int read(byte[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.BufferedInputStream int read(byte[], 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.io.BufferedInputStream int read(byte[], int, int) 2'>
+    <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.io.BufferedInputStream long skip(long)'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
   <item name="java.io.BufferedOutputStream BufferedOutputStream(java.io.OutputStream) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
   <item name="java.io.BufferedOutputStream BufferedOutputStream(java.io.OutputStream, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.BufferedOutputStream BufferedOutputStream(java.io.OutputStream, 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.io.BufferedOutputStream void write(byte[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.BufferedOutputStream void write(byte[], 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.io.BufferedOutputStream void write(byte[], int, int) 2'>
+    <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.io.BufferedReader BufferedReader(java.io.Reader) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -51,20 +93,62 @@
   <item name="java.io.BufferedReader int read(char[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.BufferedReader int read(char[], 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.io.BufferedReader int read(char[], int, int) 2'>
+    <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.io.BufferedReader java.lang.String readLine()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.BufferedReader long skip(long)'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
+  <item name='java.io.BufferedReader long skip(long) 0'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
   <item name="java.io.BufferedWriter BufferedWriter(java.io.Writer) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
   <item name="java.io.BufferedWriter BufferedWriter(java.io.Writer, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.BufferedWriter BufferedWriter(java.io.Writer, 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.io.BufferedWriter void write(char[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.BufferedWriter void write(char[], 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.io.BufferedWriter void write(char[], int, int) 2'>
+    <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.io.BufferedWriter void write(java.lang.String, int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -82,11 +166,31 @@
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="-1"/>
+      <val name="to" val="255"/>
+    </annotation>
   </item>
   <item name='java.io.ByteArrayInputStream int read(byte[], int, int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,param1&quot;"/>
     </annotation>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="-1"/>
+      <val name="to" val="java.lang.Integer.MAX_VALUE"/>
+    </annotation>
+  </item>
+  <item name='java.io.ByteArrayInputStream int read(byte[], 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.io.ByteArrayInputStream int read(byte[], int, int) 2'>
+    <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.io.ByteArrayInputStream int readNBytes(byte[], int, int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
@@ -97,6 +201,18 @@
       <val name="to" val="java.lang.Integer.MAX_VALUE"/>
     </annotation>
   </item>
+  <item name='java.io.ByteArrayInputStream int readNBytes(byte[], 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.io.ByteArrayInputStream int readNBytes(byte[], int, int) 2'>
+    <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.io.ByteArrayInputStream long skip(long)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this&quot;"/>
@@ -131,6 +247,10 @@
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>
     </annotation>
+    <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.io.ByteArrayOutputStream java.lang.String toString()'>
     <annotation name='org.jetbrains.annotations.Contract'>
@@ -147,11 +267,17 @@
       <val name="pure" val="true"/>
     </annotation>
   </item>
+  <item name='java.io.ByteArrayOutputStream java.lang.String toString(java.lang.String) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.ByteArrayOutputStream java.lang.String toString(java.nio.charset.Charset)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>
     </annotation>
   </item>
+  <item name='java.io.ByteArrayOutputStream java.lang.String toString(java.nio.charset.Charset) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.ByteArrayOutputStream void close()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>
@@ -167,6 +293,21 @@
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.ByteArrayOutputStream void write(byte[], int, int) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.ByteArrayOutputStream void write(byte[], 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.io.ByteArrayOutputStream void write(byte[], int, int) 2'>
+    <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.io.ByteArrayOutputStream void write(int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this&quot;"/>
@@ -177,11 +318,17 @@
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.ByteArrayOutputStream void writeBytes(byte[]) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.ByteArrayOutputStream void writeTo(java.io.OutputStream)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;io,param1&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.ByteArrayOutputStream void writeTo(java.io.OutputStream) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.DataInput int readUnsignedByte()'>
         <annotation name='org.jetbrains.annotations.Range'>
             <val name="from" val="0"/>
@@ -194,6 +341,12 @@
       <val name="to" val="65535"/>
     </annotation>
   </item>
+  <item name='java.io.DataInput int skipBytes(int)'>
+    <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.io.DataInput java.lang.String readUTF()">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -203,12 +356,36 @@
   <item name="java.io.DataInput void readFully(byte[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.DataInput void readFully(byte[], 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.io.DataInput void readFully(byte[], int, int) 2'>
+    <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.io.DataInputStream DataInputStream(java.io.InputStream) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
   <item name="java.io.DataInputStream int read(byte[]) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.DataInputStream int read(byte[], 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.io.DataInputStream int read(byte[], int, int) 2'>
+    <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.io.DataInputStream int readUnsignedByte()'>
     <annotation name='org.jetbrains.annotations.Range'>
       <val name="from" val="0"/>
@@ -221,6 +398,12 @@
       <val name="to" val="65535"/>
     </annotation>
   </item>
+  <item name='java.io.DataInputStream int skipBytes(int)'>
+    <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.io.DataInputStream java.lang.String readUTF()">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -230,12 +413,36 @@
   <item name='java.io.DataInputStream java.lang.String readUTF(java.io.DataInput) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.DataInputStream void readFully(byte[], 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.io.DataInputStream void readFully(byte[], int, int) 2'>
+    <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.io.DataOutput void write(byte[]) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
   <item name='java.io.DataOutput void write(byte[], int, int) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.DataOutput void write(byte[], 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.io.DataOutput void write(byte[], int, int) 2'>
+    <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.io.DataOutput void writeBytes(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
@@ -245,6 +452,24 @@
   <item name='java.io.DataOutput void writeUTF(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.DataOutputStream int size()'>
+    <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.io.DataOutputStream void write(byte[], 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.io.DataOutputStream void write(byte[], int, int) 2'>
+    <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.io.File File(java.io.File, java.lang.String)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>
@@ -534,6 +759,9 @@
   <item name='java.io.FileReader FileReader(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.FileReader FileReader(java.lang.String, java.nio.charset.Charset) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.FileWriter FileWriter(java.io.File) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
@@ -549,6 +777,12 @@
   <item name='java.io.FileWriter FileWriter(java.lang.String, boolean) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.FileWriter FileWriter(java.lang.String, java.nio.charset.Charset) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FileWriter FileWriter(java.lang.String, java.nio.charset.Charset, boolean) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.FilenameFilter boolean accept(java.io.File, java.lang.String) 1'>
     <annotation name='org.jetbrains.annotations.NonNls'/>
   </item>
@@ -558,15 +792,84 @@
   <item name="java.io.FilterInputStream int read(byte[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.FilterInputStream int read(byte[], 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.io.FilterInputStream int read(byte[], int, int) 2'>
+    <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.io.FilterInputStream long skip(long)'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
   <item name="java.io.FilterOutputStream void write(byte[]) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
   <item name="java.io.FilterOutputStream void write(byte[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.FilterOutputStream void write(byte[], 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.io.FilterOutputStream void write(byte[], int, int) 2'>
+    <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.io.FilterReader FilterReader(java.io.Reader) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.FilterReader int read()'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="-1"/>
+      <val name="to" val="0xFFFF"/>
+    </annotation>
+  </item>
+  <item name='java.io.FilterReader int read(char[], int, int)'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="-1"/>
+      <val name="to" val="java.lang.Integer.MAX_VALUE"/>
+    </annotation>
+  </item>
+  <item name='java.io.FilterReader int read(char[], int, int) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.FilterReader int read(char[], 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.io.FilterReader int read(char[], int, int) 2'>
+    <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.io.FilterReader long skip(long)'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
+  <item name='java.io.FilterReader long skip(long) 0'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
   <item name='java.io.InputStream boolean markSupported()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>
@@ -623,6 +926,18 @@
   <item name="java.io.InputStream int read(byte[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.InputStream int read(byte[], 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.io.InputStream int read(byte[], int, int) 2'>
+    <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.io.InputStream int readNBytes(byte[], int, int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io,param1&quot;"/>
@@ -632,6 +947,21 @@
       <val name="to" val="java.lang.Integer.MAX_VALUE"/>
     </annotation>
   </item>
+  <item name='java.io.InputStream int readNBytes(byte[], int, int) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
+  <item name='java.io.InputStream int readNBytes(byte[], 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.io.InputStream int readNBytes(byte[], int, int) 2'>
+    <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.io.InputStream long skip(long)">
     <annotation name='org.jetbrains.annotations.Range'>
       <val name="from" val="0"/>
@@ -702,6 +1032,27 @@
   <item name='java.io.InputStreamReader int read(char[], int, int) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.InputStreamReader int read(char[], 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.io.InputStreamReader int read(char[], int, int) 2'>
+    <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.io.InputStreamReader int read(java.nio.CharBuffer)'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="-1"/>
+      <val name="to" val="java.lang.Integer.MAX_VALUE"/>
+    </annotation>
+  </item>
+  <item name='java.io.InputStreamReader int read(java.nio.CharBuffer) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.OutputStream void close()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -728,6 +1079,18 @@
   <item name='java.io.OutputStream void write(byte[], int, int) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.OutputStream void write(byte[], 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.io.OutputStream void write(byte[], int, int) 2'>
+    <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.io.OutputStream void write(int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -754,12 +1117,48 @@
   <item name="java.io.OutputStreamWriter OutputStreamWriter(java.io.OutputStream, java.nio.charset.CharsetEncoder) 1">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.OutputStreamWriter java.io.Writer append(java.lang.CharSequence, 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.io.OutputStreamWriter java.io.Writer append(java.lang.CharSequence, int, int) 2'>
+    <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.io.OutputStreamWriter void write(char[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.OutputStreamWriter void write(char[], 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.io.OutputStreamWriter void write(char[], int, int) 2'>
+    <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.io.OutputStreamWriter void write(java.lang.String, int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.OutputStreamWriter void write(java.lang.String, 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.io.OutputStreamWriter void write(java.lang.String, int, int) 2'>
+    <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.io.PrintStream PrintStream(java.io.File) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
@@ -790,6 +1189,9 @@
   <item name='java.io.PrintStream PrintStream(java.lang.String, java.lang.String) 1'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.PrintStream PrintStream(java.lang.String, java.nio.charset.Charset) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.PrintStream java.io.PrintStream append(char)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="value" val="&quot;_-&gt;this&quot;"/>
@@ -808,6 +1210,18 @@
       <val name="mutates" val="&quot;this,io&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.PrintStream java.io.PrintStream append(java.lang.CharSequence, 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.io.PrintStream java.io.PrintStream append(java.lang.CharSequence, int, int) 2'>
+    <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.io.PrintStream java.io.PrintStream format(java.lang.String, java.lang.Object...)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -840,6 +1254,9 @@
   <item name='java.io.PrintStream java.io.PrintStream printf(java.util.Locale, java.lang.String, java.lang.Object...) 1'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.PrintStream java.nio.charset.Charset charset()'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.PrintStream void close()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -950,12 +1367,12 @@
   <item name='java.io.PrintStream void println(java.lang.Object) 0'>
     <annotation name='org.jetbrains.annotations.Nullable'/>
   </item>
-    <item name='java.io.PrintStream void println(java.lang.String)'>
+  <item name='java.io.PrintStream void println(java.lang.String)'>
         <annotation name='org.jetbrains.annotations.Contract'>
             <val name="mutates" val="&quot;this,io&quot;"/>
         </annotation>
     </item>
-    <item name='java.io.PrintStream void println(java.lang.String) 0'>
+  <item name='java.io.PrintStream void println(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.Nullable'/>
   </item>
   <item name='java.io.PrintStream void println(long)'>
@@ -968,6 +1385,9 @@
       <val name="mutates" val="&quot;this,io&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.PrintStream void write(byte[]) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.PrintStream void write(byte[], int, int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -976,6 +1396,18 @@
   <item name='java.io.PrintStream void write(byte[], int, int) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.PrintStream void write(byte[], 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.io.PrintStream void write(byte[], int, int) 2'>
+    <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.io.PrintStream void write(int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -986,6 +1418,9 @@
       <val name="mutates" val="&quot;this,io&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.PrintStream void writeBytes(byte[]) 0'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.io.PrintWriter PrintWriter(java.io.File) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
@@ -1016,6 +1451,18 @@
   <item name='java.io.PrintWriter PrintWriter(java.lang.String, java.lang.String) 1'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.PrintWriter java.io.PrintWriter append(java.lang.CharSequence, 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.io.PrintWriter java.io.PrintWriter append(java.lang.CharSequence, int, int) 2'>
+    <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.io.PrintWriter java.io.PrintWriter format(java.lang.String, java.lang.Object...) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
@@ -1040,12 +1487,36 @@
   <item name='java.io.PrintWriter void write(char[], int, int) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.PrintWriter void write(char[], 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.io.PrintWriter void write(char[], int, int) 2'>
+    <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.io.PrintWriter void write(java.lang.String) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
   <item name='java.io.PrintWriter void write(java.lang.String, int, int) 0'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
+  <item name='java.io.PrintWriter void write(java.lang.String, 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.io.PrintWriter void write(java.lang.String, int, int) 2'>
+    <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.io.RandomAccessFile RandomAccessFile(java.io.File, java.lang.String) 1">
     <annotation name="org.jetbrains.annotations.NonNls" />
   </item>
@@ -1090,10 +1561,26 @@
   <item name="java.io.Reader int read(char[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.Reader int read(char[], 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.io.Reader int read(char[], int, int) 2'>
+    <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.io.Reader int read(java.nio.CharBuffer)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io,param1&quot;"/>
     </annotation>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="-1"/>
+      <val name="to" val="java.lang.Integer.MAX_VALUE"/>
+    </annotation>
   </item>
   <item name="java.io.Reader int read(java.nio.CharBuffer) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
@@ -1107,6 +1594,12 @@
       <val name="to" val="java.lang.Long.MAX_VALUE"/>
     </annotation>
   </item>
+  <item name='java.io.Reader long skip(long) 0'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Long.MAX_VALUE"/>
+    </annotation>
+  </item>
   <item name='java.io.Reader long transferTo(java.io.Writer)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io,param1&quot;"/>
@@ -1143,6 +1636,18 @@
   <item name="java.io.StringReader int read(char[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.StringReader int read(char[], 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.io.StringReader int read(char[], int, int) 2'>
+    <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.io.StringReader long skip(long)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this&quot;"/>
@@ -1162,11 +1667,23 @@
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.StringReader void mark(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.io.StringReader void reset()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.StringWriter StringWriter(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.io.StringWriter java.io.StringWriter append(char)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="value" val="&quot;_-&gt;this&quot;"/>
@@ -1185,6 +1702,18 @@
       <val name="mutates" val="&quot;this&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.StringWriter java.io.StringWriter append(java.lang.CharSequence, 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.io.StringWriter java.io.StringWriter append(java.lang.CharSequence, int, int) 2'>
+    <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.io.StringWriter java.lang.String toString()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>
@@ -1194,6 +1723,7 @@
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>
     </annotation>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
   <item name='java.io.StringWriter void close()'>
     <annotation name='org.jetbrains.annotations.Contract'>
@@ -1213,6 +1743,18 @@
   <item name="java.io.StringWriter void write(char[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.StringWriter void write(char[], 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.io.StringWriter void write(char[], int, int) 2'>
+    <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.io.StringWriter void write(int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this&quot;"/>
@@ -1234,6 +1776,18 @@
   <item name="java.io.StringWriter void write(java.lang.String, int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.StringWriter void write(java.lang.String, 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.io.StringWriter void write(java.lang.String, int, int) 2'>
+    <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.io.Writer Writer(java.lang.Object) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
@@ -1252,6 +1806,18 @@
       <val name="mutates" val="&quot;this,io&quot;"/>
     </annotation>
   </item>
+  <item name='java.io.Writer java.io.Writer append(java.lang.CharSequence, 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.io.Writer java.io.Writer append(java.lang.CharSequence, int, int) 2'>
+    <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.io.Writer void close()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -1273,6 +1839,18 @@
   <item name="java.io.Writer void write(char[], int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.Writer void write(char[], 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.io.Writer void write(char[], int, int) 2'>
+    <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.io.Writer void write(int)'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="mutates" val="&quot;this,io&quot;"/>
@@ -1294,5 +1872,17 @@
   <item name="java.io.Writer void write(java.lang.String, int, int) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
+  <item name='java.io.Writer void write(java.lang.String, 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.io.Writer void write(java.lang.String, int, int) 2'>
+    <annotation name='org.jetbrains.annotations.Range'>
+      <val name="from" val="0"/>
+      <val name="to" val="java.lang.Integer.MAX_VALUE"/>
+    </annotation>
+  </item>
 </root>