MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-06 03:21:12 +07:00
Code Issues Packages Projects Releases Wiki Activity

bytecode analysis: no inference of "true|false->..." contracts

Browse Source
This commit is contained in:
Ilya Klyuchnikov
2014-10-01 17:45:26 +04:00
parent 212272a485
commit 582239346e
7 changed files with 39 additions and 80 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/java/security/annotations.xml
View File

@@ -14,11 +14,6 @@
<item name="java.security.Identity java.lang.String printKeys()">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.security.Identity java.lang.String toString(boolean)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;true-&gt;!null&quot;"/>
</annotation>
</item>
<item name="java.security.Identity java.security.Certificate[] certificates()">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>

2
java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/commons/lang/math/annotations.xml
View File

@@ -90,7 +90,7 @@
</item>
<item name="org.apache.commons.lang.math.Fraction org.apache.commons.lang.math.Fraction addSub(org.apache.commons.lang.math.Fraction, boolean)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null,_-&gt;!null;_,false-&gt;!null&quot;"/>
<val val="&quot;!null,_-&gt;!null&quot;"/>
</annotation>
</item>
<item name="org.apache.commons.lang.math.Fraction org.apache.commons.lang.math.Fraction divideBy(org.apache.commons.lang.math.Fraction) 0">

2
java/java-tests/testData/codeInspection/bytecodeAnalysis/annotations/org/apache/velocity/runtime/annotations.xml
View File

@@ -102,7 +102,7 @@
</item>
<item name="org.apache.velocity.runtime.VelocimacroManager boolean addVM(java.lang.String, org.apache.velocity.runtime.parser.node.Node, java.lang.String[], java.lang.String, boolean)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;!null,_,_,_,_-&gt;true;_,!null,_,_,_-&gt;true;_,_,!null,_,_-&gt;true;_,_,_,!null,_-&gt;true;_,_,_,_,false-&gt;true;_,_,_,_,true-&gt;true;_,_,_,null,_-&gt;true;_,_,null,_,_-&gt;true;null,_,_,_,_-&gt;true&quot;"/>
<val val="&quot;!null,_,_,_,_-&gt;true;_,!null,_,_,_-&gt;true;_,_,!null,_,_-&gt;true;_,_,_,!null,_-&gt;true;_,_,_,null,_-&gt;true;_,_,null,_,_-&gt;true;null,_,_,_,_-&gt;true&quot;"/>
</annotation>
</item>
<item name="org.apache.velocity.runtime.VelocimacroManager boolean usingNamespaces(java.lang.String) 0">