assertion ::=
assert
condition
[
report
expression ]
[
severity
expression ]
condition ::= boolean _expression
expression ::=
relation {
and
relation }
| relation {
or
relation }
| relation {
xor
relation }
| relation [
nand
relation ]
| relation [
nor
relation ]
The REPORT expression have to be of type string.
In absence of the REPORT clause the default string "Assertion Violation." will be used.
The
SEVERITY
expression have be of type severity_level. Possible values are:
note, warning, error, failure.
In absence of the SEVERITY clause the default error will be used.