Sicherheitsbezogene generische Datentypen
Generische Datentypen sind Datentypen, in denen Gruppen elementarer Datentypen zusammengefasst sind. Bei Angabe eines generischen Datentyps für einen Eingangs- oder Ausgangswert kann die betreffende Funktion alle elementaren Datentypen verarbeiten, die der angegebene generische Datentyp beinhaltet. Der generische Datentyp ANY_SAFEBIT beinhaltet beispielsweise die elementaren Datentypen SAFEDWORD, SAFEWORD, SAFEBYTE und SAFEBOOL. Die Angabe, dass ein Formalparameter mit ANY_SAFEBIT verbunden werden kann, bedeutet, dass die Datentypen SAFEDWORD, SAFEWORD, SAFEBYTE und SAFEBOOL an ihn angeschlossen werden dürfen.
Die sicherheitsbezogenen generischen Datentypen sind folgendermaßen strukturiert:
