Proprietà di annotazione
Ogni istanza di un attributo Pre o Post specifica un insieme di proprietà per il valore restituito o per il parametro annotato a un determinato livello di risoluzione dei riferimenti.
Nella tabella che segue sono riportate le proprietà che è possibile esprimere come parametro per gli attributi Pre e Post.
In questa sezione
Sezioni correlate
Linee guida per la scrittura di codice protetto
Verifica della qualità del codice C/C++ tramite analisi del codice