MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-17 20:11:25 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-analysis] Purity solver optimizations

Browse Source 
1. Stop loading equations if the solution is definitely impure and return value is known
2. Replace "mutates" map with single value in MethodAnnotations

GitOrigin-RevId: 1fd25b97060b3f5a3c9ce3b22c24baa10d35a6f7
This commit is contained in:
Tagir Valeev
2021-02-05 16:06:43 +07:00
committed by intellij-monorepo-bot
parent 685dcbea7b
commit da4a1cc6a5
3 changed files with 50 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/net/annotations.xml
View File

@@ -1182,6 +1182,9 @@
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.net.URLConnection java.lang.String typeToPackageName(java.lang.String)'>
<annotation name='org.jetbrains.annotations.Contract'>
<val val="&quot;_-&gt;new&quot;"/>
</annotation>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='java.net.URLConnection java.lang.String typeToPackageName(java.lang.String) 0'>