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] System.arraycopy mutation contract

Browse Source 
GitOrigin-RevId: bb513f66a360f52fec85d3713d9447d368a96d3e
This commit is contained in:
Tagir Valeev
2022-06-28 09:42:06 +00:00
committed by intellij-monorepo-bot
parent 30ad0abe9f
commit 2aba234a85
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/lang/annotations.xml
+6 -1
View File
@@ -1384,7 +1384,12 @@
<val name="pure" val="true"/>
</annotation>
</item>
<item name='java.lang.System void arraycopy(java.lang.Object, int, java.lang.Object, int, int) 0'>
<item name='java.lang.System void arraycopy(java.lang.Object, int, java.lang.Object, int, int)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;param3&quot;"/>
</annotation>
</item>
<item name='java.lang.System void arraycopy(java.lang.Object, int, java.lang.Object, int, int) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
<annotation name='org.intellij.lang.annotations.Flow'>
<val name="sourceIsContainer" val="true"/>