53 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.
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
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