程序员经验分享-hwhale

如何在 MS Code 合约中查找“屏蔽”断言

2023-11-24

我的 CodeContracts 错误列表中有以下消息级条目：

CodeContracts：检查了 410 个断言：404 个正确（6 个被屏蔽）

我不明白：

  1. 什么是掩盖断言
  2. 如何找到它提到的 6
  3. 我是否应该关心他们

抱歉没有发布代码...我不知道如何在小样本中重新创建它:)

非常感谢


这很简单，在您的项目属性>代码合同>静态检查>中将警告放在“hi”处。

现在ccCheck提出了更多警告。

Bye.

本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)

codecontracts

如何在 MS Code 合约中查找“屏蔽”断言 的相关文章

  • 代码合同：ccrewrite 退出并显示代码 -1？

    我是代码合同的新手 我下载了最新版本的代码合约项目 1 4 40314 1 并开始在我的项目中实现它 当我通过 VS2010 中的 代码合同 选项卡启用 运行检查 时 出现此错误 Error 1 The command C Program

  • 使用代码契约和 Linq To Sql 时如何避免“source !=null”？

    我有以下使用正常数据上下文的代码 效果很好 var dc new myDataContext Contract Assume dc Cars null var cars from c in dc Cars where c Owner Jim

  • 如何在 MS Code 合约中查找“屏蔽”断言

    我的 CodeContracts 错误列表中有以下消息级条目 CodeContracts 检查了 410 个断言 404 个正确 6 个被屏蔽 我不明白 什么是掩盖断言 如何找到它提到的 6 我是否应该关心他们 抱歉没有发布代码 我不知道如

  • .net 4.0 代码合同。什么时候使用？他们什么时候浪费时间了？

    我一直在研究 NET 4 0 代码契约 并在 stackoverflow 上查找与此相关的问题 我仍然从未遇到过任何使用代码契约的示例代码 这让我想知道 这真的有用吗 或者也许它是您的代码达到一定复杂性时唯一有用的一个 有人使用代码合约并且

  • 如何配置 Pex 以尊重代码契约？

    鉴于以下示例代码 我如何配置 Pex 以遵守我的代码契约 public static IEnumerable

  • 自定义代码合约异常消息

    我有一个代码契约表示为这样 它验证要存储的实体不为空并且对于持久性有效 有用 棒极了 ContractClassFor typeof IRepository lt gt internal abstract class ContractsFo

  • 有关 C# 4.0 中的代码契约的书籍 [已关闭]

    就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心以获得指导 虽然我已经了解代码契约有一

  • 代码契约：为什么有些不变量不在类之外考虑？

    考虑这个不可变类型 public class Settings public string Path get private set ContractInvariantMethod private void ObjectInvariants

  • CodeContracts：可能在空引用上调用方法

    我正在与CodeContracts静态分析工具 https marketplace visualstudio com items itemName RiSEResearchinSoftwareEngineering CodeContract

  • 代码合同。如何抑制生成代码的警告？

    如何关闭对 Linq2Sql 代码的静态检查 您可以通过将有问题的类标记为来抑制对静态代码的检查 ContractVerification false 如果您生成的类是partial您可以创建另一个文件 其中包含另一个部分 ial 并将其添

  • JavaScript 代码合约库？

    我刚刚启动一个新的 Web 应用程序 我想在 JavaScript 中实现某种形式的契约式样式验证 我快速谷歌搜索了一下 发现Js联系方式 http kinsey no blog index php 2010 02 03 jscontrac

  • 非 void 接口代码契约的实现 - default(T) 与 throw NotImplementedException

    这可能主要是一个风格问题 但是在为非 void 接口成员定义代码契约时 哪种方法最好 界面 ContractClass typeof IFooContract public interface IFoo object Bar 合同选项1 C

  • 为遗留库创建代码契约

    最终目标是为驻留在我无法控制的外部程序集中的类指定契约 即我不能直接向该类添加契约 到目前为止我已经尝试过 ContractClassFor属性 不起作用 因为目标类必须指向合约类 通过对自动生成的程序集进行逆向工程 手动构建合同引用程序集

  • 为什么我不能在重写的方法中添加 Contract.Requires ？

    我正在使用代码契约 实际上 正在学习使用它 我面临着一些奇怪的事情 我重写了在第 3 方程序集中定义的方法 我想添加一个Contract Require像这样的声明 public class MyClass MyParentClass pr

  • 代码契约：如何处理继承的接口？

    我正在使用 MS Code Contracts 并且在使用接口继承和 ContractClassFor 属性时遇到了障碍 给定这些接口和合约类 ContractClass typeof IOneContract interface IOne

  • .Net 3.5 使用代码契约实现 String.IsNullOrWhitespace

    我正在尝试在我的 Net 3 5 C 项目中使用合同 我发现我在哪里写过类似的东西if string IsNullOrEmpty s string IsNullOrEmpty s Trim throw new ArgumentExcepti

  • 代码契约：确保未经验证并需要未经验证

    我不确定我是否在这里做错了什么或者是否需要修复 我有一个自定义的 Dictionary 包装类 这是必要的代码片段 public int Count get Contract Ensures Contract Result

  • 如何在.NET Core中正确使用代码契约

    我想知道如何正确使用代码契约 NET核心 到目前为止我尝试将CC添加到我的项目中 编译和调试 我对消息感到困惑 该消息出现在每次使用的呼叫中Contract Requires 以及通过谷歌搜索找到的信息 该消息指出 必须使用代码契约二进制重

  • Visual Studio 2015 中代码契约的最佳替代方案是什么？

    我希望以尽可能最优雅的方式验证代码中的方法参数 代码契约在 2015 年似乎不起作用 有人使用任何替代方案吗 他们正在努力 https github com Microsoft CodeContracts pull 36 https git

  • 代码合约问题

    你好 我有一个关于 CodeContracts 的小问题 我有一个类库项目 它作为一个类 具有方法 foo string s1 string s2 在 foo 方法中 我有一个 Contract Requires s1 null 因此 如果

随机推荐

  • 连接 std::variant 和 std::variant 的类型

    有没有办法从两个现有变体类型声明第三个变体 其中包含两个变体类型的并集 include

  • UIDocument 和 NSFileWrapper 架构和性能

    我们最近将代码转换为使用 UIDocument 而不是直接操作文件系统上的文件 因此我们遇到了一些性能问题 我们想知道我们是否错误地使用了这个类 是否有其他人遇到这些问题 以及解决这些问题的常见方法是什么 Our app 我们有一个 鞋盒应

  • LINQ实际上编译成什么？

    背景 其背景是我最近在评论中与另一位显然知识渊博的用户就 LINQ 的编译方式进行了对话 我先 总结 一下 说LINQ被编译成for循环 虽然这是不正确的 但我对其他堆栈的理解 例如this one是 LINQ 查询被编译为内部有循环的 l

  • Backbone js，更新模型更改视图

    为什么我的视图没有更新

  • 为什么当类被密封时，带有 AutoMoqCustomization 的 Autofixture 不再抱怨缺少无参数构造函数？

    当我使用Moq直接模拟IBuilderFactory并实例化BuilderService我自己在单元测试中 我可以获得通过测试 验证Create 的方法IBuilderFactory被调用一次 但是 当我使用自动夹具 with AutoMo

  • 如何在文本上使用 TinyMCE 函数而不实际选择该文本？

    我有各种 div 我的页面上有 s 单击后会转换为 TinyMCE 编辑器部分 因此 用户只需双击 div 然后使用 TinyMCE 编辑其中的文本即可 我的问题是 是否可以在 div 没有实际选择里面的文本 我的意思是 我想实现以下用例

  • 在 jpa 中调用序列的下一个值

    我有一个映射为实体的类 以将其保存在数据库中 我有一个 id 字段作为主键 因此每次保留对象时 都会从序列 myClass pk seq 中检索 id 的值 代码如下所示 Entity Table name myObjects public

  • 从另一个项目修改 Windows 窗体控件

    我有一个控制lblDate在用户控制中MainScreen 我想在类的方法中修改它Date 这是在另一个项目中AoWLibrary 我无法引用它 因为 AoWLibrary 是第一个项目的依赖项 我尝试将 lblDate 设为静态 但编译器

  • 是否可以将 TypeTag 转换为 Manifest？

    我们的库使用 TypeTags 但现在我们需要与另一个需要清单的库进行交互 有没有简单的方法可以从 TypeTag 创建清单 如果你天真地尝试召唤一个Manifest when a TypeTag存在 编译器会给你一个解决方案的提示 imp

  • 如何在 Qt 中制作可展开/可折叠的部分小部件

    我想在 Qt 中创建一个具有以下功能的自定义小部件 它是一个容器 它可以填充任何 Qt 布局 它可以在任何 Qt 布局内 按钮允许垂直折叠 折叠内容 因此只有按钮可见 所有包含的布局都是不可见的 上一个按钮允许将其再次展开 展开到布局内容的

  • Mongo 对象 ID 不相等

    new Mongo ObjectID 18986769bd5eaaa42cb565b1 new Mongo ObjectID 18986769bd5eaaa42cb565b1 返回假 new Mongo ObjectID 18986769b

  • 使用ES6 Proxy和node.js出现非法调用错误

    我不明白为什么以下代码不起作用 var os new Proxy require os console log os cpus TypeError Illegal invocation whereas var os require os c

  • 如何在 python 中发送原始以太网帧？

    我需要在几天内完成一个项目 它是一个基本的客户端和服务器界面 问题是它必须是所有原始套接字 我创建它没有问题 我只是坚持发送数据包 首先我尝试将它绑定到一个接口 en1 但它一直给我一个错误nodename not known 当我将它绑定

  • 实施 PT_DENY_ATTACH 反盗版代码

    我一直在尝试实现此 wiki 中的以下反盗版代码 http theiphonewiki com wiki index php title Bugging Debuggers 但是 尽管严格遵循它 我的应用程序仍以 Program exite

  • 警告：文件大小（）：img.jpg 统计失败

    我正在尝试获取图像的文件大小 但我不断得到Warning filesize stat failed for img jpg 这就是我所做的 path FILES profile name path iconv UTF 8 ISO 8859

  • 使用UIImagePickerController获取图片——如何知道保存的是PNG还是JPEG？

    我有一个UIImagePickerController让用户从图像库中选择图像 并通过didFinishPickingMediaWithInfo method 我需要能够将生成的图像保存到磁盘 在应用程序的文档文件夹中 并稍后重新加载 问题

  • `strtod("3ex", &end)` 的结果应该是什么？那“sscanf”呢？

    在我的实验中这个表达 double d strtod 3ex end 初始化d with 3 0和地方end指针指向 e 输入字符串中的字符 这正是我所期望的 这 e 字符可能看起来像是指数部分的开头 但由于缺少实际指数值 6 4 4 2

  • flex 属性在 IE 中不起作用

    我一直无法确定为什么 Flexbox 在 IE 11 中不起作用 为了进行测试 我从 CodePen 获取了一个非常简单的 Flexbox 布局 并粘贴了以下信息 Chrome 按预期工作 IE11 失败 在 Chrome 上运行的布局成功

  • EF Code First 创建非聚集主键索引

    我正在使用 EF 4 1 CodeFirst 创建数据库 看来 EF 正在使用聚集索引创建所有主键 这在一种情况下 可能是更多情况 对我们来说并不是最佳选择 有没有办法告诉 EF 生成这个主键作为非聚集索引的表 当然 我们可以在创建数据库后

  • 如何在 MS Code 合约中查找“屏蔽”断言

    我的 CodeContracts 错误列表中有以下消息级条目 CodeContracts 检查了 410 个断言 404 个正确 6 个被屏蔽 我不明白 什么是掩盖断言 如何找到它提到的 6 我是否应该关心他们 抱歉没有发布代码 我不知道如

热门标签