问题描述
我一直在开发在Visual Studio防爆preSS 2013 C＃项目和碰到 $ C $Ç合同了解.NET语言。他们的简洁和随他们的静态分析工具pssed林$ P $，我开始使用他们在我的code基地。然而，当我试图运行我的程序，我会见了由一个类似的发现这太线程的错误信息，即
I've been developing a C# project in Visual Studio Express 2013 and came across Code Contracts for .NET languages. Impressed by their brevity and the static analysis tool that came with them, I started using them in my code base. However, when I attempted to run my program, I was met by an error message similar to the one found in this SO thread, i.e.
...的组件（可能是＆LT;我的项目＆gt;中）必须 使用code合同二进制重写（CCRewrite），因为改写 它呼吁Contract.Requires和CONTRACTS_FULL符号 定义。取下CONTRACTS_FULL符号的任何明确定义 从您的项目，重建......
指南建议，要解决这个问题，我必须能够从我的项目的属性页code合同，但code合同属性条目是无处防爆preSS被发现。
Guides suggest that to fix this, I have to enable Code Contracts from my project's Properties page, but a Code Contracts Properties entry is nowhere to be found in Express.
<一个href="http://social.msdn.microsoft.com/Forums/en-US/d64af157-cd49-4a18-9ca1-ab91e91e2e9f/$c$c-contracts-and-vs-ex$p$pss">Some 似乎表明，所有的工具为code合同中包括了防爆preSS版本的MSDN论坛主题，而code合同属性页是没有的。这似乎是这样的，因为我只能够使code合约与2012旗舰版，我从我的大学获得的毕业前的Visual Studio的副本后运行我的VSE 2013项目。
Some MSDN forum threads seem to indicate that all the tooling for Code Contracts is included in the Express version, but the Code Contracts Properties page is not. This seems to be the case, as I was able to run my project in VSE 2013 only after enabling Code Contracts with a copy of Visual Studio 2012 Ultimate I acquired from my university before graduating.
难道真的没有办法在Visual Studio防爆preSS code合同工作，除非手动或使用Visual Studio的付费版本修改项目文件？如果是这样的话，我非常犹豫，使用它们，因为我的公司是不可能购买VS许可证。 Futhermore，似乎非常奇怪，微软将尝试推广这种新的和卓越的验证模式，但随后限制为仅付费用户。
Is there really no way to work with Code Contracts in Visual Studio Express except by modifying the project files either manually or with a paid version of Visual Studio? If this is the case, I am extremely hesitant to use them at all, since my company is unlikely to purchase VS licenses. Futhermore, it seems extremely odd that Microsoft would attempt to proliferate this new and superior verification paradigm but then restrict it to paying customers only.
推荐答案
您也许可以使用新的VS 2013的社区，只要您符合许可要求：http://www.visualstudio.com/en-us/visual-studio-community-vs
You can probably use the new VS Community 2013, as long as you meet the licensing requirements:http://www.visualstudio.com/en-us/visual-studio-community-vs
下面是如何的Visual Studio社区可以组织使用：
这是 在一个组织内不限数量的用户可以使用Visual Studio 社区为以下场景：在一个教室里学习 环境，学术研究，还是对促进开源 项目。
An unlimited number of users within an organization can use Visual Studio Community for the following scenarios: in a classroom learning environment, for academic research, or for contributing to open source projects.
对于所有其他使用场景：在非企业 组织，多达5个用户可以使用Visual Studio社区。在 企业组织（指那些> 250 PC或> $ 100万 在年收入美元），没有用是允许超过打开 源，学术研究和课堂学习环境 上述方案
For all other usage scenarios: In non-enterprise organizations, up to 5 users can use Visual Studio Community. In enterprise organizations (meaning those with >250 PCs or > $1 Million US Dollars in annual revenue), no use is permitted beyond the open source, academic research, and classroom learning environment scenarios described above.
这基本上是VS 2013专业版的免费的，所以您可以安装code合同延长。
It's basically VS 2013 Professional for free so you can install the code contracts extension.
这篇关于code合约支持在Visual Studio防爆preSS 2013的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！