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

String.valueOf: annotated as pure

Browse Source
This commit is contained in:
Tagir Valeev
2017-10-13 12:31:55 +07:00
parent 0f7289c331
commit d4d37d0c73
1 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/lang/annotations.xml
+15
View File
@@ -328,6 +328,9 @@
</item>
<item name="java.lang.String java.lang.String valueOf(char)">
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
</item>
<item name="java.lang.String java.lang.String valueOf(char[])">
<annotation name="org.jetbrains.annotations.NotNull" />
@@ -343,15 +346,27 @@
</item>
<item name="java.lang.String java.lang.String valueOf(double)">
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
</item>
<item name="java.lang.String java.lang.String valueOf(float)">
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
</item>
<item name="java.lang.String java.lang.String valueOf(int)">
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
</item>
<item name="java.lang.String java.lang.String valueOf(long)">
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
</item>
<item name="java.lang.String java.lang.String[] split(java.lang.String)">
<annotation name="org.jetbrains.annotations.NotNull" />