The #assert preprocessing extensions of
System V release 4 are permitted. These enable definition and testing
of predicate names.
Such names are in a namespace distinct from all other names, including macro names.
Syntax
#assert name
#assertname[(token-sequence)]
Where:
nameis a predicate name
token-sequenceis an optional sequence of tokens.
If the token sequence is omitted,
nameIf the token sequence is included,
nametoken-sequence
A predicate name defined using #assert can
be tested in a #if expression, for example:
#if #name(token-sequence)
This has the value 1 if a #assert of the
name nametoken-sequence
PDF version