あるブロックで REVERT ステートメントが実行されると、指定の条件に関してそ のブロック内で実行された ON ユニットが取り消されます。 そして、そのブロックが活動化されたときにすでに設定されていた ON ユニット が再び設定されます。 REVERT ステートメントの影響を受ける ON ステートメントは、その REVERT ステー トメントを含んでいるブロックの内部にある ON ステートメントのうち、同一の 呼び出しで呼び出されたそのブロック内ですでに実行されたものだけです。
|
REVERT ステートメントが ON ユニットを取り消すのは、 次の 2 つの条件が両方とも成立する場合に限ります。
これらの 2 つの条件のどちらかが成立しない場合には、REVERT ステートメントはヌル・ステートメントと見なされます。