PurityAnalysis: Object.toString hardcoded pure

2026-04-18 12:31:26 +07:00 · 2017-05-29 15:13:10 +07:00
parent 03403ded9d
commit 60e8eb5948
31 changed files with 514 additions and 23 deletions
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/awt/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/awt/annotations.xml
@@ -209,6 +209,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.awt.Component java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.awt.Component void checkGD(java.lang.String) 0'>
@@ -408,6 +411,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.awt.Dimension java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.awt.Dimension void setSize(java.awt.Dimension) 0'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/io/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/io/annotations.xml
@@ -131,6 +131,9 @@
        </annotation>
    </item>
    <item name='java.io.ByteArrayOutputStream java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.io.ByteArrayOutputStream java.lang.String toString(int)'>
@@ -285,6 +288,11 @@
    <item name='java.io.File java.lang.String slashify(java.lang.String, boolean) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.io.File java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.io.File java.lang.String[] list(java.io.FilenameFilter) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/lang/annotation/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/lang/annotation/annotations.xml
@@ -1,4 +1,9 @@
 <root>
+    <item name='java.lang.annotation.Annotation java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.annotation.AnnotationFormatError AnnotationFormatError(java.lang.String)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/lang/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/lang/annotations.xml
@@ -141,6 +141,11 @@
    <item name='java.lang.AbstractStringBuilder java.lang.String substring(int, int)'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.AbstractStringBuilder java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.ArithmeticException ArithmeticException()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -370,6 +375,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Byte java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Byte java.lang.String toString(byte)'>
@@ -385,6 +393,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='java.lang.CharSequence java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.Character Character(char)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -613,6 +626,9 @@
        </annotation>
    </item>
    <item name='java.lang.Class java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Class java.net.URL getResource(java.lang.String)'>
@@ -817,6 +833,11 @@
    <item name='java.lang.Double java.lang.Double valueOf(java.lang.String)'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.Double java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.Double long doubleToRawLongBits(double)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -992,6 +1013,11 @@
    <item name='java.lang.Float java.lang.Float valueOf(java.lang.String)'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.Float java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.Float long longValue()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -1212,6 +1238,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Integer java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Integer java.lang.String toString(int)'>
@@ -1362,6 +1391,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Long java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Long java.lang.String toString(long)'>
@@ -1558,6 +1590,9 @@
        </annotation>
    </item>
    <item name='java.lang.Object java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Object void finalize()'>
@@ -1660,6 +1695,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Short java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Short java.lang.String toString(short)'>
@@ -1758,6 +1796,11 @@
    <item name='java.lang.String String(java.lang.StringBuilder) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.String boolean contains(java.lang.CharSequence)'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.String boolean contains(java.lang.CharSequence) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -1992,7 +2035,8 @@
    </item>
    <item name='java.lang.String java.lang.String valueOf(java.lang.Object)'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;null-&gt;!null&quot;"/>
+            <val name="value" val="&quot;null-&gt;!null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
    </item>
    <item name='java.lang.String java.lang.String valueOf(java.lang.Object) 0'>
@@ -2437,6 +2481,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Thread java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.Thread long getId()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/lang/invoke/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/lang/invoke/annotations.xml
@@ -128,6 +128,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.lang.invoke.AdapterMethodHandle java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.AdapterMethodHandle java.lang.invoke.MethodHandle makeBoxArgument(java.lang.invoke.MethodType, java.lang.invoke.MethodHandle, int, java.lang.Class&lt;?&gt;)'>
@@ -348,6 +351,11 @@
    <item name='java.lang.invoke.BoundMethodHandle java.lang.String noParens(java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.invoke.BoundMethodHandle java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.CallSite CallSite(java.lang.invoke.MethodHandle) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -370,6 +378,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.lang.invoke.CallSite java.lang.invoke.WrongMethodTypeException wrongTargetType(java.lang.invoke.MethodHandle, java.lang.invoke.MethodType)'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.CallSite java.lang.invoke.WrongMethodTypeException wrongTargetType(java.lang.invoke.MethodHandle, java.lang.invoke.MethodType) 0'>
@@ -528,6 +539,11 @@
    <item name='java.lang.invoke.FilterGeneric.Adapter java.lang.Class&lt;? extends java.lang.invoke.FilterGeneric.Adapter&gt; findSubClass(java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.lang.invoke.FilterGeneric.Adapter java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.FilterGeneric.F0 F0(java.lang.invoke.MethodHandle) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -786,6 +802,11 @@
        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.invoke.FilterOneArgument java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.FilterOneArgument java.lang.invoke.MethodHandle make(java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val val="&quot;!null,_-&gt;!null;_,!null-&gt;!null&quot;"/>
@@ -988,6 +1009,11 @@
    <item name='java.lang.invoke.FromGeneric.Adapter java.lang.Class&lt;? extends java.lang.invoke.FromGeneric.Adapter&gt; findSubClass(java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.lang.invoke.FromGeneric.Adapter java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.InvokeDynamic InvokeDynamic()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val val="&quot;-&gt;fail&quot;"/>
@@ -1195,6 +1221,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.lang.invoke.MemberName java.lang.IllegalAccessException makeAccessException(java.lang.String, java.lang.Object)'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.MemberName java.lang.IllegalAccessException makeAccessException(java.lang.String, java.lang.Object) 0'>
@@ -1220,6 +1249,11 @@
    <item name='java.lang.invoke.MemberName java.lang.String getSignature()'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.lang.invoke.MemberName java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.MemberName java.lang.invoke.MemberName.Factory getFactory()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -1267,6 +1301,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.MethodHandle java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.MethodHandle java.lang.invoke.MethodHandle asCollector(java.lang.Class&lt;?&gt;, int) 0'>
@@ -1395,6 +1432,11 @@
    <item name='java.lang.invoke.MethodHandleImpl.AllocateObject AllocateObject(java.lang.invoke.MethodHandle, java.lang.Class&lt;C&gt;, java.lang.invoke.MethodHandle) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.invoke.MethodHandleImpl.AllocateObject java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.MethodHandleImpl.AllocateObject java.lang.invoke.MethodHandle make(java.lang.Class&lt;?&gt;, java.lang.invoke.MethodHandle)'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -1484,6 +1526,11 @@
    <item name='java.lang.invoke.MethodHandleImpl.FieldAccessor java.lang.String fname(java.lang.Class&lt;?&gt;, boolean, boolean)'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.invoke.MethodHandleImpl.FieldAccessor java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.MethodHandleImpl.FieldAccessor java.lang.invoke.MethodHandle ahandle(java.lang.Class&lt;?&gt;, boolean) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -1548,9 +1595,19 @@
    <item name='java.lang.invoke.MethodHandleImpl.GuardWithCatch GuardWithCatch(java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle, java.lang.Class&lt;? extends java.lang.Throwable&gt;, java.lang.invoke.MethodHandle) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.invoke.MethodHandleImpl.GuardWithCatch java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.MethodHandleImpl.GuardWithTest GuardWithTest(java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.invoke.MethodHandleImpl.GuardWithTest java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.MethodHandleImpl.GuardWithTest java.lang.invoke.MethodHandle make(java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle)'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -1917,6 +1974,11 @@
    <item name='java.lang.invoke.MethodHandles.Lookup java.lang.String accessFailedMessage(java.lang.Class&lt;?&gt;, java.lang.invoke.MemberName) 1'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.lang.invoke.MethodHandles.Lookup java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.MethodHandles.Lookup java.lang.invoke.MemberName resolveOrFail(java.lang.Class&lt;?&gt;, java.lang.String, java.lang.Class&lt;?&gt;, boolean) 1'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -2094,12 +2156,18 @@
        </annotation>
    </item>
    <item name='java.lang.invoke.MethodType java.lang.IndexOutOfBoundsException newIndexOutOfBoundsException(java.lang.Object)'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.MethodType java.lang.IndexOutOfBoundsException newIndexOutOfBoundsException(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.MethodType java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.MethodType java.lang.invoke.MethodType appendParameterTypes(java.lang.Class&lt;?&gt;...) 0'>
@@ -2329,6 +2397,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.SpreadGeneric java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.lang.invoke.SpreadGeneric java.lang.invoke.MethodHandle make(java.lang.invoke.MethodHandle, int) 0'>
@@ -2378,6 +2449,11 @@
    <item name='java.lang.invoke.SpreadGeneric.Adapter java.lang.Class&lt;? extends java.lang.invoke.SpreadGeneric.Adapter&gt; findSubClass(java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.lang.invoke.SpreadGeneric.Adapter java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.SpreadGeneric.S0 S0(java.lang.invoke.SpreadGeneric, java.lang.invoke.MethodHandle) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -2689,6 +2765,11 @@
    <item name='java.lang.invoke.ToGeneric.Adapter java.lang.Class&lt;? extends java.lang.invoke.ToGeneric.Adapter&gt; findSubClass(java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.lang.invoke.ToGeneric.Adapter java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.lang.invoke.VolatileCallSite VolatileCallSite(java.lang.invoke.MethodHandle) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/net/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/net/annotations.xml
@@ -215,6 +215,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.net.InetAddress java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.net.InetAddress java.net.InetAddress getByAddress(byte[])'>
@@ -267,6 +270,9 @@
        </annotation>
    </item>
    <item name='java.net.ServerSocket java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.net.ServerSocket java.net.InetAddress getInetAddress()'>
@@ -313,6 +319,9 @@
        </annotation>
    </item>
    <item name='java.net.Socket java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.net.Socket java.net.InetAddress getInetAddress()'>
@@ -542,6 +551,11 @@
    <item name='java.net.URI java.lang.String resolvePath(java.lang.String, java.lang.String, boolean) 1'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.net.URI java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.net.URI java.lang.String toString(java.lang.String, java.lang.String, java.lang.String, java.lang.String, java.lang.String, int, java.lang.String, java.lang.String, java.lang.String)'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -752,6 +766,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='java.net.URL java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.net.URL java.net.URI toURI()'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -875,6 +894,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.net.URLConnection java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.net.URLConnection java.lang.String typeToPackageName(java.lang.String)'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/security/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/security/annotations.xml
@@ -51,6 +51,11 @@
        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.security.Identity java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.security.Identity java.lang.String toString(boolean)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val val="&quot;true-&gt;!null&quot;"/>
@@ -231,6 +236,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.security.Signer java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
 </root>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/sql/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/sql/annotations.xml
@@ -72,6 +72,9 @@
        </annotation>
    </item>
    <item name='java.sql.Date java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.sql.Date java.sql.Date valueOf(java.lang.String) 0'>
@@ -178,6 +181,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='java.sql.RowId java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.sql.SQLClientInfoException java.util.Map&lt;java.lang.String,java.sql.ClientInfoStatus&gt; getFailedProperties()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -227,6 +235,9 @@
        </annotation>
    </item>
    <item name='java.sql.Time java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.sql.Time java.sql.Time valueOf(java.lang.String)'>
@@ -275,6 +286,9 @@
        </annotation>
    </item>
    <item name='java.sql.Timestamp java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.sql.Timestamp java.sql.Timestamp valueOf(java.lang.String)'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/util/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/util/annotations.xml
@@ -29,6 +29,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.util.AbstractCollection java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.AbstractList AbstractList()'>
@@ -160,6 +163,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.util.AbstractMap java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.AbstractMap void putAll(java.util.Map&lt;? extends K,? extends V&gt;) 0'>
@@ -635,6 +641,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.util.Arrays java.lang.String toString(java.lang.Object[])'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.Arrays java.lang.String toString(java.lang.Object[]) 0'>
@@ -882,6 +891,9 @@
        </annotation>
    </item>
    <item name='java.util.Calendar java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.Calendar java.util.Calendar getInstance()'>
@@ -1329,6 +1341,11 @@
            <val val="&quot;_-&gt;true&quot;"/>
        </annotation>
    </item>
+    <item name='java.util.Collections.AsLIFOQueue java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.CheckedCollection CheckedCollection(java.util.Collection&lt;E&gt;, java.lang.Class&lt;E&gt;)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -1349,6 +1366,11 @@
    <item name='java.util.Collections.CheckedCollection java.lang.String badElementMsg(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.util.Collections.CheckedCollection java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.CheckedCollection java.util.Collection&lt;E&gt; checkedCopyOf(java.util.Collection&lt;? extends E&gt;)'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -1410,6 +1432,11 @@
    <item name='java.util.Collections.CheckedMap java.lang.String badValueMsg(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.util.Collections.CheckedMap java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.CheckedMap void putAll(java.util.Map&lt;? extends K,? extends V&gt;) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -1464,6 +1491,11 @@
    <item name='java.util.Collections.CheckedMap.CheckedEntrySet boolean remove(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.util.Collections.CheckedMap.CheckedEntrySet java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.CheckedMap.CheckedEntrySet java.util.Collections.CheckedMap.CheckedEntrySet.CheckedEntry&lt;K,V,T&gt; checkedEntry(java.util.Map.Entry&lt;K,V&gt;, java.lang.Class&lt;T&gt;)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -1490,6 +1522,11 @@
    <item name='java.util.Collections.CheckedMap.CheckedEntrySet.CheckedEntry java.lang.String badValueMsg(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.util.Collections.CheckedMap.CheckedEntrySet.CheckedEntry java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.CheckedRandomAccessList CheckedRandomAccessList(java.util.List&lt;E&gt;, java.lang.Class&lt;E&gt;)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -1894,6 +1931,11 @@
    <item name='java.util.Collections.SetFromMap SetFromMap(java.util.Map&lt;E,java.lang.Boolean&gt;) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='java.util.Collections.SetFromMap java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.SetFromMap void readObject(java.io.ObjectInputStream) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -1980,6 +2022,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='java.util.Collections.SynchronizedCollection java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.SynchronizedCollection void writeObject(java.io.ObjectOutputStream) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -2018,6 +2065,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='java.util.Collections.SynchronizedMap java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.SynchronizedMap void writeObject(java.io.ObjectOutputStream) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -2153,6 +2205,11 @@
    <item name='java.util.Collections.UnmodifiableCollection boolean retainAll(java.util.Collection&lt;?&gt;) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.util.Collections.UnmodifiableCollection java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.UnmodifiableCollection java.util.Iterator&lt;E&gt; iterator()'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -2242,6 +2299,11 @@
    <item name='java.util.Collections.UnmodifiableMap V remove(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.util.Collections.UnmodifiableMap java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.UnmodifiableMap void clear()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -2301,6 +2363,11 @@
    <item name='java.util.Collections.UnmodifiableMap.UnmodifiableEntrySet.UnmodifiableEntry boolean equals(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.util.Collections.UnmodifiableMap.UnmodifiableEntrySet.UnmodifiableEntry java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Collections.UnmodifiableRandomAccessList UnmodifiableRandomAccessList(java.util.List&lt;? extends E&gt;)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -2398,6 +2465,11 @@
    <item name='java.util.Date java.lang.Object clone()'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='java.util.Date java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.Date long parse(java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -2642,6 +2714,9 @@
        </annotation>
    </item>
    <item name='java.util.Hashtable java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.Hashtable java.util.Enumeration&lt;K&gt; keys()'>
@@ -2712,6 +2787,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.Hashtable.Entry java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.Hashtable.EntrySet EntrySet()'>
@@ -2910,6 +2988,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='java.util.IdentityHashMap.EntryIterator.Entry java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.IdentityHashMap.EntryIterator.Entry void checkIndexForEntryUse()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/util/concurrent/atomic/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/util/concurrent/atomic/annotations.xml
@@ -70,6 +70,9 @@
        </annotation>
    </item>
    <item name='java.util.concurrent.atomic.AtomicIntegerArray java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.atomic.AtomicIntegerArray long rawIndex(int)'>
@@ -147,6 +150,9 @@
        </annotation>
    </item>
    <item name='java.util.concurrent.atomic.AtomicLongArray java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.atomic.AtomicLongArray long rawIndex(int)'>
@@ -224,6 +230,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='java.util.concurrent.atomic.AtomicReference java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='java.util.concurrent.atomic.AtomicReferenceArray AtomicReferenceArray(E[]) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -233,6 +244,9 @@
        </annotation>
    </item>
    <item name='java.util.concurrent.atomic.AtomicReferenceArray java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.atomic.AtomicReferenceArray long rawIndex(int)'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/util/concurrent/locks/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/util/concurrent/locks/annotations.xml
@@ -97,6 +97,9 @@
        </annotation>
    </item>
    <item name='java.util.concurrent.locks.AbstractQueuedSynchronizer java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.AbstractQueuedSynchronizer java.lang.Thread fullGetFirstQueuedThread()'>
@@ -208,6 +211,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantLock java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantLock java.lang.Thread getOwner()'>
@@ -246,6 +252,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantReadWriteLock java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantReadWriteLock java.lang.Thread getOwner()'>
@@ -281,6 +290,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantReadWriteLock.ReadLock java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantReadWriteLock.ReadLock java.util.concurrent.locks.Condition newCondition()'>
@@ -325,6 +337,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantReadWriteLock.WriteLock java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='java.util.concurrent.locks.ReentrantReadWriteLock.WriteLock java.util.concurrent.locks.Condition newCondition()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/collections/map/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/collections/map/annotations.xml
@@ -97,6 +97,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='org.apache.commons.collections.map.AbstractHashedMap java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.collections.map.AbstractHashedMap org.apache.commons.collections.MapIterator mapIterator()'>
@@ -199,6 +202,9 @@
        </annotation>
    </item>
    <item name='org.apache.commons.collections.map.AbstractHashedMap.HashEntry java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.collections.map.AbstractHashedMap.HashIterator HashIterator(org.apache.commons.collections.map.AbstractHashedMap)'>
@@ -215,6 +221,9 @@
        </annotation>
    </item>
    <item name='org.apache.commons.collections.map.AbstractHashedMap.HashIterator java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.collections.map.AbstractHashedMap.HashIterator org.apache.commons.collections.map.AbstractHashedMap.HashEntry currentEntry()'>
@@ -359,6 +368,9 @@
        </annotation>
    </item>
    <item name='org.apache.commons.collections.map.AbstractLinkedMap.LinkIterator java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.collections.map.AbstractLinkedMap.LinkIterator org.apache.commons.collections.map.AbstractLinkedMap.LinkEntry currentEntry()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/annotations.xml
@@ -1535,12 +1535,22 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.CharRange java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.CharSet CharSet(java.lang.String[]) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.CharSet boolean equals(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='org.apache.commons.lang.CharSet java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.CharSet org.apache.commons.lang.CharSet getInstance(java.lang.String[])'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val val="&quot;!null-&gt;!null;null-&gt;null&quot;"/>
@@ -2056,6 +2066,11 @@
    <item name='org.apache.commons.lang.IncompleteArgumentException IncompleteArgumentException(java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='org.apache.commons.lang.IncompleteArgumentException IncompleteArgumentException(java.lang.String, java.lang.String[])'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.IncompleteArgumentException IncompleteArgumentException(java.lang.String, java.lang.String[]) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -2064,7 +2079,8 @@
    </item>
    <item name='org.apache.commons.lang.IncompleteArgumentException java.lang.String safeArrayToString(java.lang.Object[])'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;null-&gt;null&quot;"/>
+            <val name="value" val="&quot;null-&gt;null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -2251,6 +2267,9 @@
        </annotation>
    </item>
    <item name='org.apache.commons.lang.NumberRange java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.NumberUtils NumberUtils()'>
@@ -2366,12 +2385,18 @@
    </item>
    <item name='org.apache.commons.lang.ObjectUtils java.lang.String toString(java.lang.Object)'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;null-&gt;!null&quot;"/>
+            <val name="value" val="&quot;null-&gt;!null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
    </item>
    <item name='org.apache.commons.lang.ObjectUtils java.lang.String toString(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='org.apache.commons.lang.ObjectUtils java.lang.String toString(java.lang.Object, java.lang.String)'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.ObjectUtils java.lang.String toString(java.lang.Object, java.lang.String) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -3133,7 +3158,8 @@
    </item>
    <item name='org.apache.commons.lang.StringUtils java.lang.String concatenate(java.lang.Object[])'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;!null-&gt;!null;null-&gt;null&quot;"/>
+            <val name="value" val="&quot;!null-&gt;!null;null-&gt;null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -3248,7 +3274,8 @@
    </item>
    <item name='org.apache.commons.lang.StringUtils java.lang.String join(java.lang.Object[])'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;!null-&gt;!null;null-&gt;null&quot;"/>
+            <val name="value" val="&quot;!null-&gt;!null;null-&gt;null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -3257,7 +3284,8 @@
    </item>
    <item name='org.apache.commons.lang.StringUtils java.lang.String join(java.lang.Object[], char)'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;!null,_-&gt;!null;null,_-&gt;null&quot;"/>
+            <val name="value" val="&quot;!null,_-&gt;!null;null,_-&gt;null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -3266,7 +3294,8 @@
    </item>
    <item name='org.apache.commons.lang.StringUtils java.lang.String join(java.lang.Object[], char, int, int)'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;!null,_,_,_-&gt;!null;null,_,_,_-&gt;null&quot;"/>
+            <val name="value" val="&quot;!null,_,_,_-&gt;!null;null,_,_,_-&gt;null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -3275,7 +3304,8 @@
    </item>
    <item name='org.apache.commons.lang.StringUtils java.lang.String join(java.lang.Object[], java.lang.String)'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;!null,_-&gt;!null;null,_-&gt;null&quot;"/>
+            <val name="value" val="&quot;!null,_-&gt;!null;null,_-&gt;null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -3287,7 +3317,8 @@
    </item>
    <item name='org.apache.commons.lang.StringUtils java.lang.String join(java.lang.Object[], java.lang.String, int, int)'>
        <annotation name='org.jetbrains.annotations.Contract'>
-            <val val="&quot;!null,_,_,_-&gt;!null;null,_,_,_-&gt;null&quot;"/>
+            <val name="value" val="&quot;!null,_,_,_-&gt;!null;null,_,_,_-&gt;null&quot;"/>
+            <val name="pure" val="true"/>
        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/builder/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/builder/annotations.xml
@@ -478,6 +478,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.builder.ReflectionToStringBuilder java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.builder.ReflectionToStringBuilder java.lang.String toString(java.lang.Object, org.apache.commons.lang.builder.ToStringStyle) 1'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -689,6 +694,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='org.apache.commons.lang.builder.ToStringBuilder java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.builder.ToStringBuilder java.lang.StringBuffer getStringBuffer()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/enum/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/enum/annotations.xml
@@ -26,6 +26,11 @@
    <item name='org.apache.commons.lang.enum.Enum java.lang.String getNameInOtherClassLoader(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='org.apache.commons.lang.enum.Enum java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.enum.Enum java.util.Iterator iterator(java.lang.Class) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -77,4 +82,9 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.enum.ValuedEnum java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
 </root>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/enums/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/enums/annotations.xml
@@ -26,6 +26,11 @@
    <item name='org.apache.commons.lang.enums.Enum java.lang.String getNameInOtherClassLoader(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='org.apache.commons.lang.enums.Enum java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.enums.Enum java.util.Iterator iterator(java.lang.Class) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -81,6 +86,11 @@
    <item name='org.apache.commons.lang.enums.ValuedEnum int getValueInOtherClassLoader(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='org.apache.commons.lang.enums.ValuedEnum java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.enums.ValuedEnum org.apache.commons.lang.enums.Enum getEnum(java.lang.Class, int)'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/math/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/math/annotations.xml
@@ -80,6 +80,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.math.DoubleRange java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.math.DoubleRange long getMaximumLong()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -171,6 +176,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.math.FloatRange java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.math.FloatRange long getMaximumLong()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -259,6 +269,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.math.Fraction java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.math.Fraction long longValue()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -460,6 +475,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.math.IntRange java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.math.IntRange long getMaximumLong()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -576,6 +596,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.math.LongRange java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.math.LongRange long getMaximumLong()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -626,6 +651,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.math.NumberRange java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.math.NumberUtils NumberUtils()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -940,6 +970,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='org.apache.commons.lang.math.Range java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
 </root>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/mutable/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/mutable/annotations.xml
@@ -121,6 +121,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableByte java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableByte long longValue()'>
@@ -195,6 +198,11 @@
        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='org.apache.commons.lang.mutable.MutableDouble java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.mutable.MutableDouble long longValue()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -267,6 +275,11 @@
        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
+    <item name='org.apache.commons.lang.mutable.MutableFloat java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.mutable.MutableFloat long longValue()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -340,6 +353,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableInt java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableInt long longValue()'>
@@ -415,6 +431,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableLong java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableLong long longValue()'>
@@ -454,6 +473,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.mutable.MutableObject java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.mutable.MutableShort MutableShort()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -513,6 +537,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableShort java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.mutable.MutableShort long longValue()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/text/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/text/annotations.xml
@@ -163,6 +163,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.text.StrBuilder java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.text.StrBuilder java.lang.StringBuffer toStringBuffer()'>
@@ -454,6 +457,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.commons.lang.text.StrBuilder.StrBuilderTokenizer java.lang.String getContent()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.commons.lang.text.StrBuilder.StrBuilderTokenizer java.util.List tokenize(char[], int, int) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
@@ -869,6 +877,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='org.apache.commons.lang.text.StrTokenizer java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.text.StrTokenizer java.util.List tokenize(char[], int, int) 0'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/time/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/time/annotations.xml
@@ -368,6 +368,9 @@
        </annotation>
    </item>
    <item name='org.apache.commons.lang.time.DurationFormatUtils.Token java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='org.apache.commons.lang.time.FastDateFormat boolean equals(java.lang.Object)'>
@@ -676,6 +679,9 @@
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.time.StopWatch java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.commons.lang.time.StopWatch long getSplitTime()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/anakia/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/anakia/annotations.xml
@@ -1,4 +1,9 @@
 <root>
+    <item name='org.apache.velocity.anakia.AnakiaElement java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.velocity.anakia.AnakiaElement java.util.List getAttributes()'>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
@@ -80,6 +85,11 @@
    <item name='org.apache.velocity.anakia.NodeList boolean equals(java.lang.Object) 0'>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
+    <item name='org.apache.velocity.anakia.NodeList java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.velocity.anakia.NodeList java.util.List getList()'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/app/event/implement/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/app/event/implement/annotations.xml
@@ -102,6 +102,9 @@
        </annotation>
    </item>
    <item name='org.apache.velocity.app.event.implement.InvalidReferenceInfo java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.velocity.app.event.implement.PrintExceptions PrintExceptions()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/app/tools/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/app/tools/annotations.xml
@@ -72,4 +72,9 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.velocity.app.tools.VelocityFormatter.VelocityAutoAlternator java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
 </root>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/runtime/directive/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/runtime/directive/annotations.xml
@@ -27,6 +27,9 @@
        </annotation>
    </item>
    <item name='org.apache.velocity.runtime.directive.Block.Reference java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='org.apache.velocity.runtime.directive.BlockMacro BlockMacro(java.lang.String)'>
@@ -537,6 +540,9 @@
        <annotation name='org.jetbrains.annotations.Nullable'/>
    </item>
    <item name='org.apache.velocity.runtime.directive.Scope.Info java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.velocity.runtime.directive.Stop Stop()'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/runtime/parser/node/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/runtime/parser/node/annotations.xml
@@ -131,6 +131,11 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.velocity.runtime.parser.node.ASTDirective java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.velocity.runtime.parser.node.ASTDivNode ASTDivNode(int)'>
        <annotation name='org.jetbrains.annotations.Contract'>
            <val name="pure" val="true"/>
@@ -1224,7 +1229,15 @@
            <val name="pure" val="true"/>
        </annotation>
    </item>
+    <item name='org.apache.velocity.runtime.parser.node.SimpleNode java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
    <item name='org.apache.velocity.runtime.parser.node.SimpleNode java.lang.String toString(java.lang.String)'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.velocity.runtime.parser.node.SimpleNode java.lang.String toString(java.lang.String) 0'>
--- a/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/util/introspection/annotations.xml
+++ b/java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/util/introspection/annotations.xml
@@ -56,6 +56,9 @@
        </annotation>
    </item>
    <item name='org.apache.velocity.util.introspection.Info java.lang.String toString()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
        <annotation name='org.jetbrains.annotations.NotNull'/>
    </item>
    <item name='org.apache.velocity.util.introspection.IntrospectionCacheData IntrospectionCacheData()'>