mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 06:01:00 +07:00
GitOrigin-RevId: 01b45074f9c8adc03bc788958ecba2fde134e55d
13 lines
305 B
Java
13 lines
305 B
Java
/*
|
|
Value is always false (obj.equals(null); line#8)
|
|
According to hard-coded contract, method 'equals' returns 'false' when parameter == null (equals; line#8)
|
|
*/
|
|
|
|
public class T {
|
|
public void foo(Object obj) {
|
|
if (<selection>obj.equals(null)</selection>) {
|
|
System.out.println();
|
|
}
|
|
}
|
|
}
|