コマンド: IF ステートメントを反転する 関数 : このコマンドは、 IF [...] マンティクスを変更せずにステートメントを作成します。 IF 声明。条件は否定されます。の声

_VAR //Implementation IF bTest THEN [...] _VAR //Implementation IF bTest THEN x [...] THEN y := 13; END_IF

THEN METH(i*i); END_IF [...] _VAR //Implementation: IF TRUE THEN [...] branch IF b1 THEN

; END_VAR IF bInit = TRUE THEN iInit := iInit + 1; END_IF IF b

の割り当て の条件で割り当てを決定します IF [...] ; END_VAR IF INT [...] Cond2) THEN // SA0095 i

Val5:INT; END_VAR IF iVal2 <> 0 THEN iVal1 := i [...] error END_IF; i

_VAR IF bTest THEN RETURN; END_IF FUN

Test : BOOL; END_VAR IF bTest THEN RETURN; END_IF [...] 存在します IF ブランチも検出されます。 理由

0081 iCounter := i; IF [...] THEN iBorder2 := 50; END_IF END_FOR での

; // SA0145 IF __ISVALIDREF(ref_iTest) THEN [...] ; END_IF での出力 メッ