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

Annotations for CharSequence

Browse Source 
GitOrigin-RevId: d28e07808c8edc9604c23d832a013a975ca4848c
This commit is contained in:
Tagir Valeev
2021-03-09 10:26:22 +00:00
committed by intellij-monorepo-bot
parent 28c64f0c60
commit 52bd61c00a
1 changed files with 18 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/lang/annotations.xml
+18 -1
View File
@@ -59,10 +59,25 @@
<val name="to" val="java.lang.Byte.MAX_VALUE"/>
</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 length()'>
<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)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</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"/>
<val name="to" val="java.lang.Integer.MAX_VALUE-1"/>
</annotation>
</item>
<item name='java.lang.CharSequence java.lang.CharSequence subSequence(int, int) 1'>
@@ -78,11 +93,13 @@
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.CharSequence java.util.stream.IntStream codePoints()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Character java.lang.Character valueOf(char)'>
<annotation name='org.jetbrains.annotations.NotNull'/>