ContractN provides a simple, yet highly effective and flexible, programming-by-contract library for managed APIs. It uses the CLR's support for aspect-oriented programming (AOP), enabling seamless integration into existing code.
In layman’s terms, ContractN allows you to adorn APIs with attributes such as, InRequired, OutRequired, ReturnRequired, PreCondition, PostCondition and even custom conditions, with various points of extensibility.
These details are provided for information only. No information here is legal advice and should not be used as such.