Enables code contracts on methods and properties. By annotating your code with attributes like [NotNull], you can remove common validation code and provide helpful exception messages, making your code more robust and refactor-safe. These annotation attributes are also recognized by ReSharper when it has an equivalent annotation, which gives you real-time feedback on contract violations as you type.
Install-Package Pathoschild.DesignByContract -Version 1.2.0
dotnet add package Pathoschild.DesignByContract --version 1.2.0
<PackageReference Include="Pathoschild.DesignByContract" Version="1.2.0" />
paket add Pathoschild.DesignByContract --version 1.2.0
Updated to PostSharp 3; dropped support for partial-trust environments.
- PostSharp (>= 3.0.0)
This package is not used by any popular GitHub repositories.