ASSERTION

Nebenläufige Anweisungen – ASSERTION

reset_check : ASSERT sig_reset /= '0'
REPORT "Achtung: Reset ist noch aktiv !"
SEVERITY note;
In diesem Beispiel wird überprüft, ob 'sig_reset' ungleich Null ist. Falls dies nicht der Fall ist, wird die Meldung "Achtung: Reset ist noch aktiv !" ausgegeben. Die Fehlerklasse wurde auf 'note' gesetzt. Es dient zur Ausgabe von allgemeinen Informationen.

Weitere Fehlerklassen vom vordefinierten Aufzählungstyp 'severity_level' sind 'warning' (zur Anzeige von möglichen unerwünschten Bedingungen), 'error' (zeigt an, daß eine Aufgabe mit dem falschen Ergebnis abgeschlossen wurde) und 'failure' (zur Anzeige, daß eine Aufgabe nicht abgeschlossen werden konnte. Default-Fehlerklasse ist 'error'.