9.4 #unassert

述語名は #unassert プリプロセッシングディレクティブを使用して削除できます。

構文

#unassert name
#unassert name [( token-sequence )]
各項目には以下の意味があります。
name
述語名
token-sequence
オプションのトークンシーケンス。
トークンシーケンスを省略した場合は、 name の定義がすべて削除されます。
トークンシーケンスを含めた場合は、指定された定義のみが削除されます。その他すべての定義はそのまま残されます。
関連する参考文書
9.2 #assert
非機密扱いPDF file icon PDF 版ARM DUI0472LJ
Copyright © 2010-2015 ARM.All rights reserved.