例子
虽然System.Diagnostics.Contracts包含在 .Net Framework 中。要使用代码协定,您必须安装 Visual Studio 扩展。
在Extensions and Updates搜索下Code Contracts然后安装Code Contracts Tools
安装工具后,您必须Code Contracts在 Project 解决方案中启用。至少您可能希望启用Static Checking(构建后检查)。如果您正在实施一个将由其他解决方案使用的库,您可能还需要考虑启用Runtime Checking.