66 packages returned for Tags:"Contracts"

EnsureFramework is designed to take the pain out of null checking and making sure (ensuring) your methods are being used the way they were intended and throwing exceptions when unsupported values are passed to them. You can make sure values are in a specific range or simply make sure that an... More information
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/2017 and Resharper v9 or higher to use this analyzer. See package... More information