Skip to main content

SA0012:定数として宣言できる変数

書き込みのためにアクセスされないため、定数として宣言できる変数を判別します。

正当性: 変数が宣言点でのみ書き込まれ、それ以外は読み取りのみに使用される場合、静的分析では変数も変更すべきではないと想定されます。まず、定数として宣言すると、プログラム変更時に変数が変更されないことがチェックされます。次に、定数として宣言すると、コードが高速になる可能性があります。

重要

プロジェクトに複数のアプリケーションがある場合は、現在アクティブなアプリケーションの下にあるオブジェクトのみが考慮されます。アプリケーションが1つしかない場合は、一般的なPOUプール内のオブジェクトも考慮されます。

重要度:低

24.
PROGRAM PLC_PRG
VAR
        iVar : INT := INT#17;
        iTest : INT;
END_VAR
iTest := iTest + iVar;   // SA0012: 'iVar' could be declared as constant

での出力 メッセージ ビュー:

  • sa_icon_message.png SA0012: 変数 'iVar' が定数として宣言される可能性があります