Visual Studio
Contratti di codice
Ricerca…
Osservazioni
Per trarre il massimo vantaggio dai Contratti di codice è necessario installare l' estensione per Visual Studio. C'è anche un manuale utente per i contratti di codice .
Precondizione standard
using System.Diagnostics.Contracts;
public int DivideNumbers(int numerator, int denominator)
{
Contract.Requires(denominator != 0);
return numerator / denominator;
}
Condizione preliminare che genera un'eccezione specifica
using System.Diagnostics.Contracts;
public int DivideNumbers(int numerator, int denominator)
{
Contract.Requires<ArgumentOutOfRangeException>(denominator != 0);
return numerator / denominator;
}
Pre e post-condizioni
using System.Diagnostics.Contracts;
public int IncrementByRandomAmount(int input)
{
Contract.Requires<ArgumentNullException>(input != null); // Don't allow null parameter.
Contract.Requires<ArgumentOutOfRangeException>(input < int.MaxValue); // We can't do anything if we're given int.MaxValue.
Contract.Ensures(Contract.Result<int>() > input); // Return value will be greater than input value.
Random rnd = new Random();
input += rnd.Next(1, 13); // Creates a number between 1 and 12 and adds it to input.
return input;
}
Modified text is an extract of the original Stack Overflow Documentation
Autorizzato sotto CC BY-SA 3.0
Non affiliato con Stack Overflow