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

[java-annotations] Iterator.next(): mutates itself

Browse Source 
GitOrigin-RevId: 7acd79a299004cc4ddb1c473243cd7e4f8a526a1
This commit is contained in:
Tagir Valeev
2024-02-07 19:29:02 +00:00
committed by intellij-monorepo-bot
parent 7805cdf70f
commit 7d41efea2b
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/util/annotations.xml
+5
View File
@@ -3046,6 +3046,11 @@
<val name="targetIsContainer" val="true"/>
</annotation>
</item>
<item name='java.util.Iterator E next()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;this&quot;"/>
</annotation>
</item>
<item name='java.util.Iterator boolean hasNext()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>