Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
能让代码分析理解代码契约吗?
当组合使用代码分析和代码契约时 我收到很多警告 例如 CA1062 http msdn microsoft com en us library ms182182 aspx Microsoft Design 在外部可见的方法 Foo Bar
c
codeanalysis
codecontracts
代码合同。如何抑制生成代码的警告?
如何关闭对 Linq2Sql 代码的静态检查 您可以通过将有问题的类标记为来抑制对静态代码的检查 ContractVerification false 如果您生成的类是partial您可以创建另一个文件 其中包含另一个部分 ial 并将其添
codecontracts
有问题的 System.Diagnostics.Contracts 的有用性
我一直在使用新的 System Diagnostics Contracts 类 因为它一开始看起来非常有用 用于检查入站参数 返回值等的静态方法 它是一个干净的接口 可以替换大量 if then 语句和内部构建的库工具 然而 它在大多数运行
NET
codecontracts
代码合同 - Visual Studio Team Service 脚本化构建服务器单元测试失败
我最近将代码契约添加到我的解决方案中 经过一些修改后 我们的构建运行没有任何问题 但我们的单元测试由于代码契约而失败 环境 源代码控制和构建服务器托管在Visual Studio 团队服务 https www visualstudio co
c
visualstudio2013
codecontracts
azuredevops
合约类应该是一个抽象类
下面的代码给了我警告Contract class FooContracts should be an abstract class 从我在线阅读的所有示例中 例如http www infoq com articles code contra
c40
abstractclass
codecontracts
CodeContracts:可能在空引用上调用方法
我正在与CodeContracts静态分析工具 https marketplace visualstudio com items itemName RiSEResearchinSoftwareEngineering CodeContract
c
visualstudio2010
net40
codecontracts
代码契约:为什么有些不变量不在类之外考虑?
考虑这个不可变类型 public class Settings public string Path get private set ContractInvariantMethod private void ObjectInvariants
c
NET
staticanalysis
codecontracts
designbycontract
有关 C# 4.0 中的代码契约的书籍 [已关闭]
就目前情况而言 这个问题不太适合我们的问答形式 我们希望答案得到事实 参考资料或专业知识的支持 但这个问题可能会引发辩论 争论 民意调查或扩展讨论 如果您觉得这个问题可以改进并可能重新开放 访问帮助中心以获得指导 虽然我已经了解代码契约有一
c
c40
codecontracts
如何使用Python“抓取”包含弹出窗口的网站?
我正在尝试使用 python 来抓取 etherscan 网站的某个部分 因为没有用于此功能的 api 基本上会去这个链接并且需要按验证 执行此操作后会出现一个弹出窗口 您可以看到here 我需要刮的是这部分0x0882477e7895bd
python
webscraping
beautifulsoup
codecontracts
etherscan
.net core 是否支持代码契约?
在 net 框架中 有代码契约允许我在代码中指定前置 后置条件 net core net 5 支持它们吗 命名空间System Diagnostics Contracts可用 但项目是弃 另类VS2019 https softwarerec
c
NET
NetCore
codecontracts
如何自动将合约程序集包含在 nupkg 中?
我刚刚开始使用 nuget 为我们公司的内部库创建一些包 该库由许多程序集组成 其中许多具有从代码合同生成的合同引用程序集 我用的是最简单的nuget pack方法 就是传入csproj文件路径 让它解析项目之间的所有依赖关系 问题是它不包
NuGet
nugetpackage
codecontracts
nugetspec
自定义代码合约异常消息
我有一个代码契约表示为这样 它验证要存储的实体不为空并且对于持久性有效 有用 棒极了 ContractClassFor typeof IRepository lt gt internal abstract class ContractsFo
c
Exception
codecontracts
如何配置 Pex 以尊重代码契约?
鉴于以下示例代码 我如何配置 Pex 以遵守我的代码契约 public static IEnumerable
net40
codecontracts
PEX
visualstudio2010
CodeContracts:布尔条件计算结果为常量值,为什么?
我收到此警告 但无法找出问题所在 CodeContracts 警告 布尔条件 d1 Count d2 Count 始终计算为常量值 如果它 或其否定 出现在源代码中 您可能有一些死代码或多余的代码 查看 代码如下 public static
c
codecontracts
.net 4.0 代码合同。什么时候使用?他们什么时候浪费时间了?
我一直在研究 NET 4 0 代码契约 并在 stackoverflow 上查找与此相关的问题 我仍然从未遇到过任何使用代码契约的示例代码 这让我想知道 这真的有用吗 或者也许它是您的代码达到一定复杂性时唯一有用的一个 有人使用代码合约并且
NET
unittesting
net40
codecontracts
代码合约发生了什么?
几年前 在 NET 4 发布之前 代码契约就已经遍布博客圈 NET 4 中包含的运行时组件以及更昂贵的 Visual Studio 2010 版本中提供的静态检查器 不过 围绕代码合约的讨论似乎已经平息 人们是否在生产中使用它 微软研究院还
NET
codecontracts
如何在 MS Code 合约中查找“屏蔽”断言
我的 CodeContracts 错误列表中有以下消息级条目 CodeContracts 检查了 410 个断言 404 个正确 6 个被屏蔽 我不明白 什么是掩盖断言 如何找到它提到的 6 我是否应该关心他们 抱歉没有发布代码 我不知道如
codecontracts
使用代码契约和 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
linqtosql
codecontracts
.NET 3.5 的代码契约搞乱了 VS10 的调试器
我最近使用代码契约迁移了很多手动前提条件测试和异常抛出 我没有升级到 NET 4 而是使用Microsoft Contracts dll程序集 这样我就可以坚持使用 NET 3 5 更长的时间 这是一个由 NET 3 5 和 NET 4 程
NET
debugging
net35
visualstudio2010
codecontracts
代码合同:ccrewrite 退出并显示代码 -1?
我是代码合同的新手 我下载了最新版本的代码合约项目 1 4 40314 1 并开始在我的项目中实现它 当我通过 VS2010 中的 代码合同 选项卡启用 运行检查 时 出现此错误 Error 1 The command C Program
c
codecontracts
«
1
2