59 packages returned for Tags:"contracts"

Microsoft Code Contracts standalone package for MSBuild
Helper package to use with build servers. Contains all CodeContracts binaries and integrates into MSBuild build process.
Resharper Code Contract Nullability
Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes. See also: https://www.jetbrains.com/resharper/help/Code_Analysis__Code_Annotations.html You need Visual Studio 2015 and Resharper v9 or higher to use this analyzer. See package... More information
Argument validation methods, for example: this.user = Argument.NotNull("user", user). Less fancy than approaches based on lambdas/anonymous classes, but less scary performance-wise (given that argument checks are often all over the place). Includes Code Contracts [ContractArgumentValidator]... More information