MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Test01#checkTrueFail marked as pure

Browse Source
This commit is contained in:
Tagir Valeev
2017-05-25 12:42:43 +07:00
parent 68dd38bbca
commit ea4c21384d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testSrc/com/intellij/java/codeInspection/bytecodeAnalysis/data/Test01.java
+1 -1
View File
@@ -201,7 +201,7 @@ public class Test01 {
return !x;
}
@ExpectContract(value = "_,true->true;null,_->true")
@ExpectContract(value = "_,true->true;null,_->true", pure=true)
boolean checkTrueFail(Object a, boolean b) {
if (a == null) return true;
if (b) throw new RuntimeException();