Utilizzo delle annotazioni per ridurre gli errori del codice C/C++

Aggiornamento: novembre 2007

Le annotazioni consentono alle funzioni di dichiarare esplicitamente il comportamento. Le informazioni ulteriori fornite dallo sviluppatore vengono utilizzate dallo strumento di analisi del codice per rilevare le violazioni del contratto tra il chiamante e il chiamato. Lo schema di annotazione viene implementato come attributi del compilatore VC++.

Nelle sezioni che seguono vengono fornite ulteriori informazioni sugli attributi e sulle modalità con cui essi vengono definiti e applicati.

In questa sezione

Cenni preliminari sull'annotazione	Vengono illustrate le annotazioni, gli attributi, le proprietà e l'utilizzo.
Procedura: annotare codice C++	Viene illustrato come annotare il codice C/C++ compilato utilizzando l'opzione /Tc, /Tp, /TC, /TP (Specifica il tipo di file di origine).
Procedura: annotare codice C	Viene illustrato come annotare il codice C/C++ compilato utilizzando l'opzione /Tc, /Tp, /TC, /TP (Specifica il tipo di file di origine).
Proprietà di annotazione	Vengono elencate e descritte le proprietà che è possibile utilizzare durante l'annotazione del codice.

Riferimenti

Attributed Programming Concepts