Java

JAVA.CLASS.CAST.USELESS : Useless Class Cast (Java)

要旨

A classcast is useless and can be removed from the code.

Java checks explicit type downcasts at runtime. If they do not hold, a runtime exception is thrown. This checker verifies that casts will be satisfied at runtime, so that they will never throw an exception.

プロパティ

クラス名 Useless Class Cast (Java)
日本語クラス名 Useless Class Cast (Java)
クラス分類 信頼性 (reliability)
ニーモニック JAVA.CLASS.CAST.USELESS
カテゴリー
CWE CWE:1164 Irrelevant Code
対応言語 Java で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで有効になっています。チェックを無効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += discard class="Useless Class Cast (Java)"

解決法

For each classcast warning, verify that all types that will ever reach that program point are assignable to the type used for the cast.

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。