Code Contracts is an extension for all (non-free) versions of Visual Studio. Under the assumption that it is not the responsibility of a class to enforce preconditions (as it is with the design by contract paradigm), it allows to developer to make claims about preconditions, postconditions, and object invariants of a method when called external to that class.











