Found 10 packages
Basic design by contract support
A lightweight .NET library for expressive Guard Clauses.
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.
(This is a subset of Pathoschild.DesignByContract that contains the annotations but does not enforce them.) 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.
Simple tools for validating input parameters
Provides support for Design By Contract as described by Bertrand Meyer in his seminal book, Object-Oriented Software Construction (2nd Ed) Prentice Hall 1997 (See chapters 11 and 12). See also Building Bug-free O-O Software: An Introduction to Design by Contract http://www.eiffel.com/doc/manuals/technology/contract/
Simple Design by contract library supporting PreConditions and PostConditions
Code analyzers and fixers to ensure Design-by-Contract based on naming conventions
Library for expressing side effects by creating a contract for beginning value (arguments). This technique can be referred to as "design by contract", "defense programming" or "guard methods". The Suckless Assert is much faster and simpler than other similar libraries that support fluent API and can get field/property name by the lambda expression.
Library representing the desing by contract programing such as precondition, postconditions, and object invariants