代码合同确保ReSharper ExternalAnnotations
有谁知道如何在ReSharper ExternalAnnotations中添加代码合同保证？ 它不在最后的v7.1.3中，也不在最新的v8 EAP中，也不存在于任何浮动的自定义xmls中。
具体来说，它应检测方法是否不返回null： Contract.Ensures(Contract.Result() != null);
如果您试图简单地安抚分析引擎，最简单的方法是在方法声明前面使用[NotNull] 。 您在上面发布链接的契约注释是一种更强大的机制，用于定义输入参数和返回值之间的关系，例如[ContactAnnotation("null => null")] 。
但是，明确分析Contract.Ensures语句是一个完全不同的命题，因为不能通过[ContractAnnotation]或任何其他ReSharper注释属性为此语句定义自动分析。
上述就是C#学习教程：代码合同确保ReSharper ExternalAnnotations分享的全部内容，如果对大家有所用处且需要了解更多关于C#学习教程，希望大家多多关注—计算机技术网(www.ctvol.com)!
本文来自网络收集，不代表计算机技术网立场，如涉及侵权请联系管理员删除。
ctvol管理联系方式QQ:251552304
本文章地址：https://www.ctvol.com/cdevelopment/951236.html