MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-05-02 11:18:16 +07:00
Code Issues Packages Projects Releases Wiki Activity

display hardcoded contracts on the gutter

Browse Source
This commit is contained in:
peter
2014-09-16 12:24:54 +02:00
parent a466800fd4
commit e2ee62224c
3 changed files with 66 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1557,6 +1557,11 @@
<item name="java.lang.System void checkKey(java.lang.String) 0">
<annotation name="org.jetbrains.annotations.NotNull"/>
</item>
<item name="java.lang.System void exit(int)">
<annotation name="org.jetbrains.annotations.Contract">
<val val="&quot;_ -&gt; fail&quot;"/>
</annotation>
</item>
<item name="java.lang.System void setProperties(java.util.Properties) 0">
<annotation name="org.jetbrains.annotations.Nullable"/>
</item>