.NET Framework 安装和启用代码契约
例子
虽然System.Diagnostics.Contracts包含在.NetFramework中。要使用代码协定，您必须安装VisualStudio扩展。
在ExtensionsandUpdates搜索下CodeContracts然后安装CodeContractsTools
安装工具后，您必须CodeContracts在Project解决方案中启用。至少您可能希望启用StaticChecking（构建后检查）。如果您正在实施一个将由其他解决方案使用的库，您可能还需要考虑启用RuntimeChecking.