ASSERTION 条件

ASSERTION ON-unit に入ります。

有効/無効の状態

常に有効です。

結果

ASSERTION ON-unit がない場合、アプリケーションは終了し、メッセージが出力され、ERROR 条件が発生します。

発生

ASSERT(CONDITION) コンパイラ オプションが有効で、ASSERT 文が失敗した場合、または SIGNAL ASSERTION 文によって発生した場合。

その他の情報

条件コード
430,431,432,433,434,435,436
暗黙の処理
メッセージを出力し、ERROR 条件を発生させます。
通常の復帰
ASSERTION ON-unit から戻ると、条件を発生させた文の直後にある次の文から処理が再開されます。