9.4 #unassert

A predicate name can be deleted using a #unassert preprocessing directive.

Syntax

#unassert name

#unassert name[(token-sequence)]

Where:

name

is a predicate name

token-sequence

is an optional sequence of tokens.

If the token sequence is omitted, all definitions of name are removed.

If the token sequence is included, only the indicated definition is removed. All other definitions are left intact.

Related reference
9.2 #assert
Non-Confidential PDF file icon PDF version ARM DUI0472J
Copyright © 2010-2013 ARM. All rights reserved.