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

String#getChars: mutation contract

Browse Source 
GitOrigin-RevId: b14c505705283481d39fe317daaa8a6eb3544957
This commit is contained in:
Tagir Valeev
2020-04-16 04:36:42 +00:00
committed by intellij-monorepo-bot
parent 83b36e6071
commit 61fe69fc0a
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/lang/annotations.xml
+9 -4
View File
@@ -1264,14 +1264,19 @@
</annotation>
</item>
<item name="java.lang.String void getBytes(int, int, byte[], int) 2">
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name='java.lang.String void getChars(int, int, char[], int)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;param3&quot;"/>
</annotation>
</item>
<item name="java.lang.String void getChars(int, int, char[], int) 2">
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.lang.System java.lang.String getProperty(java.lang.String) 0">
<annotation name="org.jetbrains.annotations.NonNls" />
<annotation name="org.jetbrains.annotations.NotNull" />
<annotation name="org.jetbrains.annotations.NonNls"/>
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.lang.System java.lang.String getProperty(java.lang.String, java.lang.String) 0">
<annotation name="org.jetbrains.annotations.NotNull"/>