FindDfaProblemCauseFix: display line number in popup (IDEA-CR-45717)

This commit is contained in:
Tagir Valeev
2019-04-17 14:47:11 +07:00
parent 11da23397d
commit 07f104c16f
5 changed files with 27 additions and 14 deletions
@@ -1,7 +1,7 @@
/*
Value is always true (s.length > 0)
Left operand range is {1..Integer.MAX_VALUE} (s.length)
Range is known from here (s[0])
Range is known from line #8 (s[0])
*/
class Test {
void test(String[] s) {
@@ -1,9 +1,9 @@
/*
Value is always false (s.length == list.size())
Left operand range is {1..Integer.MAX_VALUE} (s.length)
Range is known from here (s[0])
Range is known from line #12 (s[0])
Right operand range is {0} (list.size())
Range is known from here (list.isEmpty())
Range is known from line #13 (list.isEmpty())
*/
import java.util.List;