这应该发生吗?:“message:CodeContracts:建议要求:Contract.Requires(false);” [英] Should this ever happen?: "message : CodeContracts: Suggested requires: Contract.Requires(false);"

查看:62
本文介绍了这应该发生吗?:“message:CodeContracts:建议要求:Contract.Requires(false);”的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

请参阅标题中的消息。我正在使用Code Contracts 1.4.50910.0获得多个这些。可以肯定的是,我的班级可能存在一些问题,例如破坏不变,但我不认为代码合同应该发出这样的建议。或者?

See the message in the title. I am getting multiple of these, with Code Contracts 1.4.50910.0. Admittably there might be some problems with my class, such as broken invariant, but I do not think Code Contracts should ever emit such suggestion. Or?

推荐答案

我之前在代码库中也看到了这一点。很想知道答案......
I've seen that before in our codebase as well. Curious to know the answer...


这篇关于这应该发生吗?:“message:CodeContracts:建议要求:Contract.Requires(false);”的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!

查看全文
登录 关闭
扫码关注1秒登录
发送“验证码”获取 | 15天全站免登陆