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

[java-dfa] IDEA-277611 Fix tests

Browse Source 
GitOrigin-RevId: 16384eabf8feec58e07fee2ccacba379842a4018
This commit is contained in:
Tagir Valeev
2021-09-08 14:55:09 +00:00
committed by intellij-monorepo-bot
parent 603075c16e
commit e11c6c640c
2 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-tests/testData/inspection/dataFlow/tracker/Constants.java
+4 -2
View File
@@ -1,6 +1,8 @@
/*
Value is always false (E.A == E.B; line#9)
Comparison arguments are different constants (==; line#9)
Value is always false (E.A == E.B; line#11)
Values cannot be equal because E.A.ordinal != E.B.ordinal
Left operand is 0 (E.A; line#11)
and right operand is 1 (E.B; line#11)
*/
class Test {
enum E {A, B, C}
java/java-tests/testData/inspection/dataFlow/tracker/EnumCompare.java
+6 -2
View File
@@ -1,6 +1,10 @@
/*
Value is always false (code == ReturnStatus.NOT_FOUND; line#8)
It's known that 'code != ReturnStatus.NOT_FOUND' from line #7 (code != ReturnStatus.SUCCESS; line#7)
Value is always false (code == ReturnStatus.NOT_FOUND; line#12)
Condition 'code != ReturnStatus.NOT_FOUND' was deduced
Values cannot be equal because ReturnStatus.SUCCESS.ordinal != ReturnStatus.NOT_FOUND.ordinal
Left operand is 0 (code != ReturnStatus.SUCCESS; line#11)
and right operand is 1 (code != ReturnStatus.SUCCESS; line#11)
and condition 'code == ReturnStatus.SUCCESS' was checked before (code != ReturnStatus.SUCCESS; line#11)
*/
class SampleClazz {
public void foo(ReturnStatus code) {