哪个第三方Code-by-Contract库最像MS的.NET 4.0库？

Question

我想通过合同跳转到编码。我得到了VS2010（使用C＃4.0编译器），但我必须以3.5框架为目标。

合同库的第三方代码是什么类和接口最像.NET 4.0？

Answer 1

来自user guide：

  

从CLR v4开始，合同   类和相关类型驻留在   mscorlib.dll中。在CLR v4之前，这些   类型出现在单独的程序集中   称为Microsoft .Contracts。 dll那个   安装在   ％PROGRAMFILES％/微软/合同/ PublicAssemblies。   您可能需要添加引用   如果你正在编译，这个程序集   对于4.0之前的CLR。

如果你想对3.5 和 4.0使用相同的构建程序集，你可能会遇到一些有趣的问题（我不知道 - 它可能正常工作）但如果你只是使用3.5 ，那应该没事。

我相信扩展程序会安装到VS2008和VS2010中。