Propriétés d'annotation
Mise à jour : novembre 2007
Chaque instance d'un attribut Pre ou Post spécifie un jeu de propriétés pour le paramètre ou la valeur de retour annoté à un niveau particulier de déréférencement.
Le tableau suivant répertorie les propriétés qui peuvent être exprimées comme un paramètre des attributs Pre et Post.