MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-annotations] Remove 'io' mutation annotation from methods that read file-system only

Browse Source 
Despite the benign side effect, it's still ok to use them in assert statements, etc.

GitOrigin-RevId: 5d20dd9bd2b8191217ea71190942adcd1c618428
This commit is contained in:
Tagir Valeev
2024-07-08 09:53:16 +02:00
committed by intellij-monorepo-bot
parent 1ee629c243
commit 1f3b821f82
2 changed files with 0 additions and 274 deletions
Download Patch File Download Diff File Expand all files Collapse all files

84
java/jdkAnnotations/java/io/annotations.xml
View File

@@ -275,21 +275,6 @@
<item name="java.io.File File(java.net.URI) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
<item name='java.io.File boolean canExecute()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean canRead()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean canWrite()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean createNewFile()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
@@ -300,31 +285,11 @@
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean exists()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean isAbsolute()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
</annotation>
</item>
<item name='java.io.File boolean isDirectory()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean isFile()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean isHidden()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File boolean mkdir()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
@@ -424,9 +389,6 @@
</item>
<item name="java.io.File java.io.File[] listFiles()">
<annotation name="org.jetbrains.annotations.Nullable" />
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File java.io.File[] listFiles(java.io.FileFilter)'>
<annotation name='org.jetbrains.annotations.Nullable'/>
@@ -440,11 +402,6 @@
<item name='java.io.File java.io.File[] listFiles(java.io.FilenameFilter) 0'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.io.File java.io.File[] listRoots()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name="java.io.File java.lang.String getAbsolutePath()">
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>
@@ -473,9 +430,6 @@
</item>
<item name='java.io.File java.lang.String[] list()'>
<annotation name='org.jetbrains.annotations.Nullable'/>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File java.lang.String[] list(java.io.FilenameFilter)'>
<annotation name='org.jetbrains.annotations.Nullable'/>
@@ -492,34 +446,11 @@
</annotation>
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
<item name='java.io.File long getFreeSpace()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File long getTotalSpace()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File long getUsableSpace()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File long lastModified()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File long length()'>
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="0"/>
<val name="to" val="java.lang.Long.MAX_VALUE"/>
</annotation>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.io.File void deleteOnExit()'>
<annotation name='org.jetbrains.annotations.Contract'>
@@ -645,11 +576,6 @@
</annotation>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.io.InputStream int available()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name="java.io.InputStream int read()">
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="-1"/>
@@ -1113,11 +1039,6 @@
<val name="pure" val="true"/>
</annotation>
</item>
<item name='java.io.Reader boolean ready()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;this,io&quot;"/>
</annotation>
</item>
<item name="java.io.Reader int read()">
<annotation name='org.jetbrains.annotations.Range'>
<val name="from" val="-1"/>
@@ -1187,11 +1108,6 @@
<item name="java.io.StringReader StringReader(java.lang.String) 0">
<annotation name="org.jetbrains.annotations.NotNull" />
</item>
<item name='java.io.StringReader boolean ready()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;this&quot;"/>
</annotation>
</item>
<item name='java.io.StringReader int read()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;this&quot;"/>

190
java/jdkAnnotations/java/nio/file/annotations.xml
View File

@@ -10,11 +10,6 @@
<annotation name='org.jetbrains.annotations.NotNull'/>
<annotation name='org.jetbrains.annotations.NonNls'/>
</item>
<item name='java.nio.file.Files A readAttributes(java.nio.file.Path, java.lang.Class&lt;A&gt;, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files A readAttributes(java.nio.file.Path, java.lang.Class&lt;A&gt;, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -24,11 +19,6 @@
<item name='java.nio.file.Files A readAttributes(java.nio.file.Path, java.lang.Class&lt;A&gt;, java.nio.file.LinkOption...) 2'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files V getFileAttributeView(java.nio.file.Path, java.lang.Class&lt;V&gt;, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files V getFileAttributeView(java.nio.file.Path, java.lang.Class&lt;V&gt;, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -43,86 +33,36 @@
<item name='java.nio.file.Files boolean deleteIfExists(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean exists(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean exists(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isDirectory(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isDirectory(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isExecutable(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isExecutable(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isHidden(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isHidden(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isReadable(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isReadable(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isRegularFile(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isRegularFile(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isSameFile(java.nio.file.Path, java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isSameFile(java.nio.file.Path, java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isSameFile(java.nio.file.Path, java.nio.file.Path) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isSymbolicLink(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isSymbolicLink(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean isWritable(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean isWritable(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files boolean notExists(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files boolean notExists(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -131,9 +71,6 @@
</item>
<item name='java.nio.file.Files byte[] readAllBytes(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files byte[] readAllBytes(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
@@ -141,13 +78,11 @@
<item name='java.nio.file.Files java.io.BufferedReader newBufferedReader(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="value" val="&quot;_-&gt;new&quot;"/>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.io.BufferedReader newBufferedReader(java.nio.file.Path, java.nio.charset.Charset)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="value" val="&quot;_,_-&gt;new&quot;"/>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.io.BufferedReader newBufferedReader(java.nio.file.Path, java.nio.charset.Charset) 0'>
@@ -160,7 +95,6 @@
name='java.nio.file.Files java.io.BufferedWriter newBufferedWriter(java.nio.file.Path, java.nio.charset.Charset, java.nio.file.OpenOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="value" val="&quot;_,_,_-&gt;new&quot;"/>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.io.BufferedWriter newBufferedWriter(java.nio.file.Path, java.nio.charset.Charset, java.nio.file.OpenOption...) 0'>
@@ -172,113 +106,53 @@
<item name='java.nio.file.Files java.io.BufferedWriter newBufferedWriter(java.nio.file.Path, java.nio.file.OpenOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="value" val="&quot;_,_-&gt;new&quot;"/>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.io.InputStream newInputStream(java.nio.file.Path, java.nio.file.OpenOption...)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.io.InputStream newInputStream(java.nio.file.Path, java.nio.file.OpenOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.io.OutputStream newOutputStream(java.nio.file.Path, java.nio.file.OpenOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.io.OutputStream newOutputStream(java.nio.file.Path, java.nio.file.OpenOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.lang.Object getAttribute(java.nio.file.Path, java.lang.String, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.lang.Object getAttribute(java.nio.file.Path, java.lang.String, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.lang.Object getAttribute(java.nio.file.Path, java.lang.String, java.nio.file.LinkOption...) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.lang.String probeContentType(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.lang.String probeContentType(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.lang.String readString(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.lang.String readString(java.nio.file.Path, java.nio.charset.Charset)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.channels.SeekableByteChannel newByteChannel(java.nio.file.Path, java.nio.file.OpenOption...)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.channels.SeekableByteChannel newByteChannel(java.nio.file.Path, java.nio.file.OpenOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item
name='java.nio.file.Files java.nio.channels.SeekableByteChannel newByteChannel(java.nio.file.Path, java.util.Set&lt;? extends java.nio.file.OpenOption&gt;, java.nio.file.attribute.FileAttribute&lt;?&gt;...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.channels.SeekableByteChannel newByteChannel(java.nio.file.Path, java.util.Set&lt;? extends java.nio.file.OpenOption&gt;, java.nio.file.attribute.FileAttribute&lt;?&gt;...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.channels.SeekableByteChannel newByteChannel(java.nio.file.Path, java.util.Set&lt;? extends java.nio.file.OpenOption&gt;, java.nio.file.attribute.FileAttribute&lt;?&gt;...) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item
name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path, java.lang.String)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path, java.lang.String) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path, java.lang.String) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item
name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path, java.nio.file.DirectoryStream.Filter&lt;? super java.nio.file.Path&gt;)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path, java.nio.file.DirectoryStream.Filter&lt;? super java.nio.file.Path&gt;) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.DirectoryStream&lt;java.nio.file.Path&gt; newDirectoryStream(java.nio.file.Path, java.nio.file.DirectoryStream.Filter&lt;? super java.nio.file.Path&gt;) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.FileStore getFileStore(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.file.FileStore getFileStore(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -390,11 +264,6 @@
<item name='java.nio.file.Files java.nio.file.Path move(java.nio.file.Path, java.nio.file.Path, java.nio.file.CopyOption...) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.Path readSymbolicLink(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.file.Path readSymbolicLink(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
@@ -506,31 +375,21 @@
</item>
<item name='java.nio.file.Files java.nio.file.attribute.FileTime getLastModifiedTime(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.NotNull'/>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.file.attribute.FileTime getLastModifiedTime(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.nio.file.attribute.UserPrincipal getOwner(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.nio.file.attribute.UserPrincipal getOwner(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.util.List&lt;java.lang.String&gt; readAllLines(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="value" val="&quot;_-&gt;new&quot;"/>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.util.List&lt;java.lang.String&gt; readAllLines(java.nio.file.Path, java.nio.charset.Charset)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="value" val="&quot;_,_-&gt;new&quot;"/>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.util.List&lt;java.lang.String&gt; readAllLines(java.nio.file.Path, java.nio.charset.Charset) 0'>
@@ -539,54 +398,15 @@
<item name='java.nio.file.Files java.util.List&lt;java.lang.String&gt; readAllLines(java.nio.file.Path, java.nio.charset.Charset) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item
name='java.nio.file.Files java.util.Map&lt;java.lang.String,java.lang.Object&gt; readAttributes(java.nio.file.Path, java.lang.String, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.util.Map&lt;java.lang.String,java.lang.Object&gt; readAttributes(java.nio.file.Path, java.lang.String, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.util.Map&lt;java.lang.String,java.lang.Object&gt; readAttributes(java.nio.file.Path, java.lang.String, java.nio.file.LinkOption...) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item
name='java.nio.file.Files java.util.Set&lt;java.nio.file.attribute.PosixFilePermission&gt; getPosixFilePermissions(java.nio.file.Path, java.nio.file.LinkOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.util.Set&lt;java.nio.file.attribute.PosixFilePermission&gt; getPosixFilePermissions(java.nio.file.Path, java.nio.file.LinkOption...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files java.util.stream.Stream&lt;java.lang.String&gt; lines(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.util.stream.Stream&lt;java.lang.String&gt; lines(java.nio.file.Path, java.nio.charset.Charset)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files java.util.stream.Stream&lt;java.nio.file.Path&gt; list(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item
name='java.nio.file.Files java.util.stream.Stream&lt;java.nio.file.Path&gt; walk(java.nio.file.Path, int, java.nio.file.FileVisitOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item
name='java.nio.file.Files java.util.stream.Stream&lt;java.nio.file.Path&gt; walk(java.nio.file.Path, java.nio.file.FileVisitOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files long copy(java.io.InputStream, java.nio.file.Path, java.nio.file.CopyOption...)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
@@ -617,16 +437,6 @@
<item name='java.nio.file.Files long copy(java.nio.file.Path, java.io.OutputStream) 1'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.nio.file.Files long mismatch(java.nio.file.Path, java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files long size(java.nio.file.Path)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="mutates" val="&quot;io&quot;"/>
</annotation>
</item>
<item name='java.nio.file.Files long size(java.nio.file.Path) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>