为什么我会得到这个构建错误“错误的合同节in method...”在以下代码上？if (TudoDataUnica == true) return "0";
Contract.Ensures
浏览 3提问于2016-09-24得票数 0
背景：有这样的开发原则：“如果请求的项不存在，我的函数应该返回null或抛出异常吗？”我不想在这里讨论。我决定对所有必须返回值的情况抛出一个异常，并且该值仅在(编程或逻辑上)无效请求的情况下才不存在。
浏览 9提问于2010-12-01得票数 12
回答已采纳
1回答
我有一个关于接口方法的约定，看起来像这样(为了清楚起见，省略了其他方法)：public abstract classContractForIUnboundTagGroup : IUnboundTagGroup public IUnboundTagGroup[] GetAllGroups() Contract.Ensures= null);
Contra
浏览 1提问于2010-06-24得票数 12
回答已采纳
2回答
我正面临着一个我搞不懂的问题。假设我有两个方法：ViewModel类中的public void Method1(object obj)和Model类中的public void Method2(object obj)。使用Model类的实例从Method1调用Method2 (假设objM是Model类的对象和ViewModel类的成员)。
浏览 0提问于2013-01-23得票数 1
1回答
= null); Contract.Ensures(Contract.Result<IEnumerable<T>>() !NotImplementedException();}
{{代码约定</em
浏览 2提问于2011-07-04得票数 1
回答已采纳
3回答
Contract.Ensures(newObject != null, "object must not be null"); //No error message if I move the Contract.Ensureshere}
我得到了编译器消息：“在<
浏览 5提问于2010-05-21得票数 6
回答已采纳
2回答
我尝试使用以下代码对检索到的实体启用某种非空检查，以确保它们在执行某些具体业务之前是存在的： where T : EntityObject
浏览 2提问于2013-07-24得票数 5
回答已采纳
ContractClassFor(typeof(ITwo))]假设IOne和ITwo是实质性的接口所以IOneContract中会有大量的代码来进行必要的检查。
我不想在ITwoContract中为IOne接口复制所有这些。我只想为ITwo接口添加新的约定。从一个contract类继承另一个类似乎是重用该代码的一种可能方式。这是Code Contracts
浏览 0提问于2010-07-08得票数 6
回答已采纳
基本上，我有一个虚拟方法来将某些强制的后置条件传播给子类。这是一个简化的版本和静态检查器生成的奇怪的警告(编辑-我的示例不完整。Consider adding Contract.Requires(this.IsInitialized); for Contract.Ensures) //Message CodeContracts
浏览 5提问于2013-06-30得票数 1
我使用的是和 VS2010外接程序。我有一个实现IEnumerable<T>接口的类，我为GetEnumerator()方法实现了一个迭代器块。编辑：，正如Damien_The_Unbeliever在他的评论中指出的，IEnumerable<T>和IEnumerator<T>的合同位于一个单独的文件中，即一个合同参考程序集。使用，在拆卸这两个接口的约定(完整代码为)时，您可以看到以
浏览 2提问于2011-01-05得票数 5
2回答
为了简单起见，假设我有一个私有字段来缓存我的集合计数：我希望确保计数永远不会低于零。}public int Count { Contract.Ensures(Contract.Result<int>() >= 0)因为setter是私有的，所以我
浏览 0提问于2015-09-07得票数 1
1回答
我尝试将合同包含到我的项目中，例如： Contract.Ensures(segments.Length > 0, "Segments我得到它，安装，但“合同”标签在项目设置中没有出现，我继续得到相同的错误。我正在使用Visual Studio 2017社区。是否可以在此版本的Visual Studio中使用约定？
浏览 5提问于2018-12-25得票数 1
=‘不能应用于’方法组‘和’‘“类型的操作数)。Contract.Ensures(Contract.ValueAtReturn != null);更新Contract.Ensures(Contract.Result<char>() != '');因此，这是
浏览 10提问于2013-09-24得票数 2
回答已采纳
1回答
我有一个带有out参数的方法，我希望使用Contract.Ensures()指定当该方法返回时，该参数将不是null。基本上，这是：{
有什
浏览 3提问于2016-07-01得票数 3
回答已采纳
4回答
我试图在不添加参数的情况下定义一个协议方法，但是找不到正确的语法。我的目的只是通知委托实例发生了一些事情。
我应该如何写这个定义？
浏览 7提问于2013-05-23得票数 1
回答已采纳
1回答
下面是我为了让静态分析工具失效而创建的一个示例：using System;
}}
运行时分析抛出正确的异常，但静态分析构建时甚至没有警告。我已经在项目设置中选中了每个复选框，并在"hi“上设置了警告级别。
浏览 0提问于2013-02-13得票数 0
回答已采纳
我刚刚开始在我的项目中使用代码契约。但是，我的存储库实现有一个问题，它使用实体框架查询我的数据库。我有以下方法：{}
该方法返回一个包含数据库中所有组织的集合，或者返回一个数据库中</e
浏览 1提问于2011-02-10得票数 5
回答已采纳
我最近发现了.NET Contracts API，虽然我不喜欢使用方法而不是扩展语法的实现方式(在我看来，Sing#做得对)，但我更喜欢使用它们而不是使用旧的/常规的方式使用if's进行例如空检查。我也在接近我的第一个契约，保证-调用和我在一个包含Contract.Ensures的方法中如何处理异常的问题，这个方法在运行时受到异常的影响？Contract
浏览 2提问于2013-10-18得票数 1
回答已采纳
3回答
我写了这个片段及其合同：public string getLevelName() using (var c = new myContext()) Contract.Ensures.name); }
但我得到了合同的错误：
试块中的合同部分。对于这种方法的
浏览 8提问于2015-01-07得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
实时音视频活动推荐
腾讯云开发者
