[java-annotations] IDEA-354204 java.lang.Integer.valueOf overloads should be externally annotated to return not-null result

GitOrigin-RevId: 000b7250ae122937fc668fd25458ea6fbad431f2
This commit is contained in:
Tagir Valeev
2024-06-03 16:18:36 +00:00
committed by intellij-monorepo-bot
parent c85a3375f5
commit fcab6d8eef
2 changed files with 10 additions and 2 deletions
+10 -1
View File
@@ -499,6 +499,9 @@
<val name="pure" val="true"/>
</annotation>
</item>
<item name='java.lang.Double java.lang.Double valueOf(double)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Enum T valueOf(java.lang.Class&lt;T&gt;, java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -525,6 +528,9 @@
<val name="pure" val="true"/>
</annotation>
</item>
<item name='java.lang.Float java.lang.Float valueOf(float)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Integer int bitCount(int)'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
@@ -572,7 +578,10 @@
<val name="pure" val="true"/>
</annotation>
</item>
<item name='java.lang.Integer java.lang.Integer valueOf(java.lang.String)'>
<item name='java.lang.Integer java.lang.Integer valueOf(int)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Integer java.lang.Integer valueOf(java.lang.String)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.Integer java.lang.Integer valueOf(java.lang.String, int)'>
@@ -1,4 +1,3 @@
// IGNORE_K2
class Test {
void test() {
Integer i = Integer.valueOf(100);