VS2012里你还用代码协定吗？
Code Contracts Editor Extensions这个插件非常好，可以显示方法的前置条件、后置条件。但很可惜，这个插件只有2010版。

Code Contracts Dev是用来重写二进制文件的，把Contract.Requires和Contract.Ensures等命令转换成相应的条件检查和抛异常语句，还能根据Contract.Assert和Contract.Assume做静态检查。但是，这个工具的最新版1.4.51019.0的运行速度很慢。我编译一个空的控制台项目，如果打开了Code Contracts Check，就要编译3.5秒，遑论更大的项目了。我很难接受这么慢的编译速度。

我在用VS2010时代码协定用很多，也用过静态检查，觉得静态检查对我没什么用。

总的来说，2010时，代码协定给我的好处是查看代码的前置、后置条件（通过Code Contracts Editor Extensions和Code Contracts Dev）。

现在到了VS2012，我无法查看前置、后置条件了，我觉得代码协定没有给我什么明显的好处。

请问各位用VS2012的网友们，你们还在用代码协定吗？

另外，我正在工作的项目是从2010升级上来的，里面有很多协定。如果我关闭Code Contracts Check，很多异常情况我可能检测不到。请问这个情况怎么处理？
------解决方案--------------------
out了，第一次听说。
------解决方案--------------------
百度了下，发现没法短时间内弄明白，放弃= =
说实话 没看出和Debug.Assert的区别。。
------解决方案--------------------
现在不是有2012版的插件了么
------解决方案--------------------
文盲了....第一次听说 代码协定..