예:
// 항상 true
// 근본 원인: ||이 && 대신 사용됩니다
if (x > 0 || x < 10) {}
System.out.println(str.trim());
// 항상 false
// 근본 원인: null 검사 전에 변수가 역참조되었습니다
if (str == null) {}
null 값 가능성을 표시하는 어노테이션,
@Contract 어노테이션,
@Range 어노테이션 등 여러 어노테이션으로 검사 동작이 제어될 수 있습니다.
검사 구성:
if (alwaysFalseCondition) throw new IllegalArgumentException();와 같은 조건도 이에 포함됩니다.assert 문이 취급되는 방식을 제어합니다. 기본적으로 이 옵션은 비활성화되어 있습니다. 즉, 어설션이 실행되는 것으로 간주됩니다(-ea 모드). 이 옵션을 활성화하면 어설션이 완전히 무시됩니다(-da 모드).IntelliJ IDEA 2022.3 이전에 이 검사는 '상수 조건 및 예외' 검사의 일부였습니다. 이제는 두 가지 검사인 '상숫값'과 'Null 가능성 및 데이터 흐름 문제'로 나뉩니다.