MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 06:39:38 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java] String.format, formatted NotNull external annotation (IDEA-350263)

Browse Source 
GitOrigin-RevId: e6ad9c6fca8653c45939271ed4e9ffc1b7dfee42
This commit is contained in:
Tagir Valeev
2024-04-03 17:58:25 +02:00
committed by intellij-monorepo-bot
parent 7cf578f646
commit c446f2c4d0
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
java/jdkAnnotations/java/lang/annotations.xml
View File

@@ -1192,6 +1192,7 @@
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name="java.lang.String java.lang.String format(java.lang.String, java.lang.Object...) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
@@ -1205,6 +1206,12 @@
<item name='java.lang.String java.lang.String format(java.util.Locale, java.lang.String, java.lang.Object...) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.lang.String java.lang.String formatted(java.lang.Object...)'>
<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 indent(int)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>