我刚刚开始在一个现有的中型项目中使用.NET 4中的CodeContracts，我很惊讶静态检查器会给我关于以下代码的编译时警告：{ strs.Add("hello");}
为什么CodeContracts静态检查器会抱怨strs.Add(...)台词？strs不可能是空的，对吧？
浏览 0提问于2010-08-15得票数 5
回答已采纳
2回答
: Task manager is unavailable.1> CodeContracts: DeleteMe: Contract density: 0.871> CodeContracts1> CodeContracts: DeleteMe
浏览 1提问于2012-11-17得票数 20
回答已采纳
= 0));CodeContracts: ConsoleApplication3: Contractdensity: 1,81CodeContracts: ConsoleApplication38
CodeContracts: ConsoleApplication3: Tot
浏览 21提问于2013-02-19得票数 18
回答已采纳
我可以开始使用CodeContracts而不是： throw new ArgumentException("bla bla");
如果我开发了一个库，而我的库用户不使用CodeContracts，它是如何工作的？
浏览 2提问于2010-12-20得票数 3
回答已采纳
Collection<string>();
{ } // <-- CodeContracts= Contract.OldValue(this.Count)
{ } // <-- CodeContracts:确保未经验证：this.Count >
浏览 3提问于2011-03-28得票数 6
回答已采纳
日志中的错误是： CodeContracts: Task manager is unavailable (unableCodeContracts: ABC: Run static contract analysis.CodeContracts: ABC: Unhandled Exception: System.IO.FileNotFoundException: Could not load file or assemblykey, Boolean sile
浏览 1提问于2012-10-27得票数 4
回答已采纳
我最近对Microsoft.CodeContracts进行了实验，在对它进行评估后，我认为它不适合我的需要。我删除了引用它的所有代码，并从引用它的所有项目中删除了程序集引用。如何从我的解决方案中删除所有的跟踪 of Microsoft.CodeContracts？
浏览 0提问于2011-04-12得票数 0
回答已采纳
1回答
when t = true -> getDependencies nugetPackagesFile |> List.unzip |> fun(A,B) -> A let exclude = excludePaths (nugetDependenciesFlat @ ["CodeContractsList.exists (path.contains
浏览 0提问于2015-02-24得票数 8
回答已采纳
this.ServiceName = "QueueService";和Code Contracts启用时，我看到一些警告，我怀疑这些警告是正确的：
Warning 5 CodeContractsWarning 6 CodeContracts: requires unproven: !value.Contains("\\") ...Warning 7 CodeContracts: requires unproven: value.Length <=
浏览 0提问于2012-02-29得票数 1
回答已采纳
1回答
我正在尝试在一个项目中设置VB.NET。Public Function Divide(ByVal numerator As Integer, ByVal divisor As Integer) As Double Return numerator / divisor如果我调用D
浏览 3提问于2014-01-14得票数 4
2回答
C:\{path}\CC2.cs(11,19): message : CodeContracts: Suggested ensures: Contract.Ensures(Contract.Result_field);C:\{path}\CC2.cs(21,13): message : CodeContracts: Suggested ens
浏览 2提问于2013-02-19得票数 3
回答已采纳
}
{ {}Error 12 CodeContracts: Missing precondition in an externally visible method.= null); for parameter validation
有没有办法让CodeContracts认识到验证已经在基类中发生了？
浏览 0提问于2015-05-27得票数 3
我希望在我的代码中以最优雅的方式验证方法参数。代码合同在2015年似乎行不通。有没有人使用任何替代方案？
浏览 0提问于2015-04-23得票数 19
Warning 1 CodeContracts: requires unproven: Contract.ForAll(coll, item => item != null));
}
我意识到在旧版本的CodeContracts中不支持Contract.ForAll()方法，但我想现在(1.4.40602.0
浏览 1提问于2011-12-10得票数 2
回答已采纳
有时候，当使用我的应用程序进行调试时，我会遇到Contract.Requires()失败的情况，因为它的计算结果返回错误(到目前为止一切都很好)。但是，如果我单击中止按钮webserver崩溃，并得到消息：“.遇到了问题，需要关闭.”。两个问题：
浏览 1提问于2012-01-13得票数 1
回答已采纳
3回答
你好，我有一个关于CodeContracts的小问题。因此，如果我理解代码的含义(是的，我刚刚安装了CodeContracts并使用:)，契约将在构建过程和运行时检查s1 != null表达式，并抛出ArgumentException>。
浏览 0提问于2010-11-27得票数 4
回答已采纳
2回答
除非Visual存在，否则CodeContracts不会在生成服务器上安装。我们还复制了包含Microsoft.CodeContracts.targets和Microsoft.CodeContractAnalysis.targets的Microsoft.CodeContracts.targets根据CodeContracts文档，
在使用通过VS用户界面启用的契约的项目或解决方案上使用msbuild将执行与VS下相应的构建相同的操作。
浏览 2提问于2010-11-27得票数 9
我刚刚安装了新发布的Visual Studio 2017企业版(RC)。然而，我在让它与一起工作时遇到了问题。我在Visual Studio 2015中使用代码契约没有问题。我是不是遗漏了什么？
浏览 3提问于2016-11-23得票数 51
我有一个非常烦人的问题。我已经安装了Visual Studio 2015 Enterprise with Update 3。我想，需要注意的一件重要事情是，它不是安装在C:\Program Files...上，而是安装在D:\Program Files...上。
我已经从Visual Studio Gallery安装了最新的代码契约，它是"1.9.10714.2“。尽管如此，每次我打开Visual Studio时，我都会看到一个通知，通知我要更新它，因为根据它，我安装的版本是"1.8.10107.10“。当我单击它时，它会将我带到相同的安装文件，该文件显示我已经安装了该版本，并
浏览 8提问于2016-08-12得票数 1
1回答
我想使用CodeContracts来验证泛型接口的一些具体实现。我有一个基本的通用接口 { }
我想确定一些特定接口的CodeContracts
浏览 0提问于2015-05-27得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
