この検査は、常に true または false
である指定された検査範囲の条件を報告し、コードのデータ フロー分析に基づいて、RuntimeException がスローされる場所を指摘します。
This inspection also reports Nullable/NotNull contract violations.
Annotations to support the contract can be configured (by default @Nullable/@NotNull annotations from annotations.jar will be used)