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
での出力 メッセージ ビュー:
SA0012: 変数 'iVar' が定数として宣言される可能性があります