Anmerkungseigenschaften
Jede Instanz eines Pre-Attributs oder Post-Attributs gibt Eigenschaften für den Parameter oder Rückgabewert mit Anmerkungen auf einer bestimmten Dereferenzierungsebene an.
In der folgenden Tabelle werden Eigenschaften aufgeführt, die als Parameter für das Pre-Attribut und das Post-Attribut ausgedrückt werden können.