returned for Tags:"Precondition"
Code Contracts and common functionalities used by other PostSharp pattern libraries. An official PostSharp pattern library.
A simple code-contract class for validating method argument preconditions.
Simple Design by contract library supporting PreConditions and PostConditions
A no frills library for validating arguments.
No fuss, KISS contract library for .NET.
Pineapple is a set of core libraries that includes utilities, primitives, helper classes for .NET! The inspiration for Pineapple comes from Google's Guava framework.
Design by contract programming support
A fluent library of wonderful extensions and utilities that can make your code short and clean.