SA0095:条件の割り当て
の条件で割り当てを決定します IF-、 CASE- また REPEAT-構築します。
理由:割り当て(:=)と比較(=)は簡単に混同される可能性があります。したがって、条件内の割り当ては、意図せずに簡単に行われる可能性があるため、報告されます。これは、コードの読者を混乱させる可能性もあります。
重要性:高い
例 88. 例
PROGRAM PLC_PRG
VAR
iCond1:INT := INT#1;
iCond2:INT := INT#2;
xCond:BOOL := FALSE;
iVar : INT;
END_VARIF INT_TO_BOOL(iCond1 := iCond2) THEN // SA0095
iCond1 := INT#1;
iCond2 := INT#2;
ELSIF (iCond1 := 11) = 11 THEN // SA0095
iCond1 := INT#1;
iCond2 := INT#2;
END_IF
IF xCond := TRUE THEN // SA0095
xCond := FALSE;
END_IF
IF (xCond := FALSE) OR (iCond1 := iCond2) = 12 THEN // SA0095
xCond := FALSE;
iCond1 := INT#1;
iCond2 := INT#2;
END_IF
IF (iVar := iVar + 1) = 120 THEN // SA0095 (can be valid, but is not reparable very well
iVar := 0;
END_IF
WHILE (xCond = TRUE) OR (iCond1 := iCond2) = 12 DO // SA0095
xCond := FALSE;
END_WHILE
//Error: assignment in repeat loop
REPEAT
xCond := FALSE;
UNTIL (xCond = TRUE) OR (iCond1 := iCond2) = 12 // SA0095
END_REPEAT での出力 メッセージ ビュー:
SA0095: 条件の代入: '...'