Sicherheitsbezogene generische Datentypen
Generische Datentypen sind Datentypen, in denen Gruppen elementarer Datentypen zusammengefasst sind. 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:
