Propiedades de anotación

Cada instancia de un atributo Pre o Post especifica un conjunto de propiedades para el parámetro anotado o valor devuelto en un nivel concreto de desreferenciación.

En la siguiente tabla se muestran las propiedades que se pueden expresar como un parámetro de los atributos Pre y Post.

En esta sección

Secciones relacionadas

Instrucciones para escribir código seguro

Analizar la calidad de código de C/C++ mediante el análisis de código