MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Java: fix incorrect annotations (IJ-CR-158282)

Browse Source 
GitOrigin-RevId: 03e6b3fb7752b53967761c4a10b3187525cfa180
This commit is contained in:
Bas Leijdekkers
2025-03-31 09:59:32 +00:00
committed by intellij-monorepo-bot
parent c1a446d047
commit 6aeef1b12a
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/io/annotations.xml
+5 -3
View File
@@ -94,7 +94,7 @@
</annotation>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="java.lang.Long.MAX_VALUE"/>
<val name="to" val="java.lang.Integer.MAX_VALUE"/>
</annotation>
</item>
<item name='java.io.ByteArrayInputStream long skip(long)'>
@@ -583,9 +583,11 @@
<val name="mutates" val="&quot;this,io&quot;"/>
</annotation>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.InputStream byte[] readNBytes(int) 0'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="java.lang.Long.MAX_VALUE"/>
<val name="to" val="java.lang.Integer.MAX_VALUE"/>
</annotation>
</item>
<item name="java.io.InputStream int read()">
@@ -627,7 +629,7 @@
</annotation>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="java.lang.Long.MAX_VALUE"/>
<val name="to" val="java.lang.Integer.MAX_VALUE"/>
</annotation>
</item>
<item name="java.io.InputStream long skip(long)">