Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes.
This is the companion repo for C# Code Contracts Succinctly by Dirk Strauss. Published by Syncfusion.
Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and the Open-closed principle of SOLID to support Design By Contract™.
tool for removing .net code contracts from project
📦 Require Expressions - A pre-condition checks library for .Net via extensions methods on types.
Tiny code contract programming utility for Deno
Add a description, image, and links to the code-contracts topic page so that developers can more easily learn about it.
To associate your repository with the code-contracts topic, visit your repo's landing page and select "manage topics."