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.
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
No fuss, KISS contract library for .NET.
A no frills library for validating arguments.
A fluent library of wonderful extensions and utilities that can make your code short and clean.
Simple Design by contract library supporting PreConditions and PostConditions