Starting in 1996, Alexa Internet has been donating their crawl data to the Internet Archive. Flowing in every day, these data are added to the Wayback Machine after an embargo period.
Starting in 1996, Alexa Internet has been donating their crawl data to the Internet Archive. Flowing in every day, these data are added to the Wayback Machine after an embargo period.
TIMESTAMPS
The Wayback Machine - https://web.archive.org/web/20110325005011/http://msdn.microsoft.com:80/en-us/devlabs/dd491992.aspx
Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. Code Contracts bring the advantages of design-by-contract programming to all .NET programming languages. We currently provide three tools:
Runtime Checking. Our binary rewriter modifies a program by injecting the contracts, which are checked as part of program execution. Rewritten programs improve testability: each contract acts as an oracle, giving a test run a pass/fail indication. Automatic testing tools, such as Pex, take advantage of contracts to generate more meaningful unit tests by filtering out meaningless test arguments that don't satisfy the pre-conditions.
Static Checking. Our static checker can decide if there are any contract violations without even running the program! It checks for implicit contracts, such as null dereferences and array bounds, as well as the explicit contracts. (Premium Edition only.)
Documentation Generation. Our documentation generator augments existing XML doc files with contract information. There are also new style sheets that can be used with Sandcastle so that the generated documentation pages have contract sections.
Code Contracts comes in two editions:
Code Contracts Standard Edition: This version installs if you have any edition of Visual Studio other than the Express Edition. It includes the stand-alone contract library, the binary rewriter (for runtime checking), the reference assembly generator, and a set of reference assemblies for the .NET Framework.
Code Contracts Premium Edition: This version installs only if you have one of the following: Visual Studio 2008 Team System, Visual Studio 2010 Premium Edition, or Visual Studio 2010 Ultimate Edition. It includes the static checker in addition to all of the features in the Code Contracts Standard Edition.
Give feedback about Code Contracts in the DevLabs Forums.
Code Contracts
Bug: assumption can be proven ??? This appears to be a bug... The warning indicates the assumption can be proven. However, it cannot possibly prove the assumption, as demonstrated wi... more Thursday, Mar 24
Contract.Ensure and abstract methods So I have run into a bit of a problem using code contracts. I have a method that has a Contract.Ensure statement that makes sure the value of a privat... more Wednesday, Mar 23
CC 1.4.40314.1 Breaks VS2010 Designer I installed the updates for CC and the helper and now when I view this code:namespace DataModel.Interfaces{ using System; using System.Componen... more Wednesday, Mar 23
Featured Video
Getting Started with Code Contracts in Visual Studio 2008
Development Tools: Visual Studio (for Code Contracts Standard Edition); or Visual Studio 2008 Team System, Visual Studio 2010 Premium Edition, or Visual Studio 2010 Ultimate Edition (Premium Edition)
.png)
.png "Download")
.png "Getting Started Guide")