Schlüsselkennung VO

Objekt für eine Formel sicherstellen (Verify Object)

Bei negativem Prüfungsergebnis wird die Formel beendet.

Syntax:

VO   s | S | d | D | a | A | <cid>;

s

Prüfung, ob das aktuelle Objekt des Formelattributs ein Symbol repräsentiert.

S

Prüfung, ob das aktuelle Objekt des Formelattributs kein Symbol repräsentiert.

d

Prüfung, ob das aktuelle Objekt des Formelattributs ein Device repräsentiert.

D

Prüfung, ob das aktuelle Objekt des Formelattributs kein Device repräsentiert.

a

Prüfung, ob das aktuelle Objekt des Formelattributs ein SAO repräsentiert (Symbol ohne AO).

A

Prüfung, ob das aktuelle Objekt des Formelattributs kein SAO repräsentiert (Symbol ohne AO).

cid

Prüfung, ob das aktuelle Objekt des Formelattributs der vorgegebenen Cover-ID entspricht.