returned for Tags:"design-by-contract"
A simple code-contract class for validating method argument preconditions.
NContract is a design by contract library that lets you write oneliners to verify parameters in constructors and methods instead of using more verbose if statements.
Design by contract programming support
Simple Design by contract library supporting PreConditions and PostConditions