mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 21:52:48 +07:00
GitOrigin-RevId: fd52ace3d7a32ecd02c2c5ab90e077967604c15e
22 lines
428 B
Java
22 lines
428 B
Java
/*
|
|
Value is always true (map != null; line#18)
|
|
'map' was dereferenced (map; line#14)
|
|
*/
|
|
|
|
import java.util.Map;
|
|
|
|
public class ExplainMe {
|
|
void checkTheMap(Map<String, Integer> map) {
|
|
if (map == null) {
|
|
System.out.println("that's null");
|
|
}
|
|
|
|
if (map.get("ONE") == null) {
|
|
System.out.println("Okay");
|
|
}
|
|
|
|
if (<selection>map != null</selection>) {
|
|
System.out.println("not null");
|
|
}
|
|
}
|
|
} |