如何解决代码合同对错误的理解
| 我刚开始使用代码合同,需要一些帮助来纠正错误: 给出以下代码:class MyClass
{
private bool _isUsed = false;
public void SomeMethod()
{
Contract.Requires(!_isUsed);
}
}
我收到以下错误:
error CC1038: Member \'MyClass._isUsed\' has less visibility than the enclosing method \'MyClass.someMethod\'
这似乎使很多标准检查不可用。在此示例中我缺少什么?
解决方法
您有一个公共方法SomeMethod。但是,您需要将private成员变量设置为false。您没有提供设置_isUsed的方法,因此您要检查一个调用者无法控制的变量。
您可以将_isUsed设置为属性,即
public bool IsUsed {get; set;}
然后在你的SomeMethod()中有
Contract.Requires(!IsUsed);
, 已经说明,“ 4”中的任何一个都具有可见性问题(呼叫者没有控制权),而这是由需求正确实施的。
但是,根据您要完成的合同,Contract.Assert
可能会满足您的需求。
public void SomeMethod()
{
Contract.Assert(!_isUsed);
}
将有效,而“需求”则无效。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。