1
Je tentais d'exécuter un code simple avec les contrats de code (que je ne l'ai pas utilisé pendant un certain temps)Configuration de code des marchés dans Visual Studio 2010
static void Main(string[] args)
{
double res = sqrt(-5);
}
static double sqrt(int a)
{
Contract.Requires(a >= 0, "a must be >= 0!");
return Math.Sqrt(a);
}
Mais il ne semble pas faire quoi que ce soit du tout quand je le cours. D'après ce dont je me souviens il y a quelques mois, il devrait y avoir une erreur de a étant moins de 0.
J'ai réinstallé la version académique du site Contrats de code juste pour être sûr et cela ne semble toujours pas fonctionner . Quelles sont les étapes nécessaires pour que les contrats de code fonctionnent?
EDIT: Resharper me dit sur Contract.Requires(a >= 0); que la méthode est ignorée, car elle est "conditionnelle ou une méthode partielle sans implémentation".
Merci
Je suppose que vous voulez écrire Math.Sqrt (a) au lieu de Math.Sqrt (a * a)? Bien sûr, cela n'aide pas avec votre question ... – Philipp
Oui, c'est une faute de frappe. –