Code Contracts
pre-conditions, post-conditions, object invariants in .NET - go here
This browser is no longer supported.
Upgrade to Microsoft Edge to take advantage of the latest features, security updates, and technical support.
pre-conditions, post-conditions, object invariants in .NET - go here