.NET FrameworkContratti di codice

Osservazioni

I contratti di codice consentono l'analisi compile o runtime delle condizioni pre / post dei metodi e delle condizioni invarianti per gli oggetti. Queste condizioni possono essere utilizzate per garantire che i chiamanti e il valore restituito soddisfino gli stati validi per l'elaborazione dell'applicazione. Altri usi per i contratti di codice includono la generazione di documentazione.

Contratti di codice Esempi correlati