Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
代码合约问题
你好 我有一个关于 CodeContracts 的小问题 我有一个类库项目 它作为一个类 具有方法 foo string s1 string s2 在 foo 方法中 我有一个 Contract Requires s1 null 因此 如果
c
VisualStudio
visualstudio2010
codecontracts
控制 .nuspec 中的代码合同引用
我正在使用代码合同为我的项目生成附属程序集 基本上 它为项目的 MyAssembly dll 创建一个 MyAssembly Contracts dll 它应该放在您的程序集旁边 但不会被任何应用程序引用 它仅由合同工具使用 我试图将其包含
NET
NuGet
codecontracts
Visual Studio 2015 中代码契约的最佳替代方案是什么?
我希望以尽可能最优雅的方式验证代码中的方法参数 代码契约在 2015 年似乎不起作用 有人使用任何替代方案吗 他们正在努力 https github com Microsoft CodeContracts pull 36 https git
codecontracts
visualstudio2015
如何在.NET Core中正确使用代码契约
我想知道如何正确使用代码契约 NET核心 到目前为止我尝试将CC添加到我的项目中 编译和调试 我对消息感到困惑 该消息出现在每次使用的呼叫中Contract Requires 以及通过谷歌搜索找到的信息 该消息指出 必须使用代码契约二进制重
c
NetCore
codecontracts
代码契约:确保未经验证并需要未经验证
我不确定我是否在这里做错了什么或者是否需要修复 我有一个自定义的 Dictionary 包装类 这是必要的代码片段 public int Count get Contract Ensures Contract Result
c
codecontracts
idictionary
.Net 3.5 使用代码契约实现 String.IsNullOrWhitespace
我正在尝试在我的 Net 3 5 C 项目中使用合同 我发现我在哪里写过类似的东西if string IsNullOrEmpty s string IsNullOrEmpty s Trim throw new ArgumentExcepti
c
codecontracts
conditionalstatements
代码契约和异步
将后置条件添加到返回的异步方法的推荐方法是什么Task
c
NET
taskparallellibrary
codecontracts
asyncctp
结合代码契约和正则表达式
所以我有一个非常简单的类 其中一个字符串作为属性 该字符串必须具有一定的模式 我正在尝试使用代码合同来强制执行此操作 这个类看起来像这样 class SimpleClass public Property get set public Si
c
NET
regex
codecontracts
代码契约:如何处理继承的接口?
我正在使用 MS Code Contracts 并且在使用接口继承和 ContractClassFor 属性时遇到了障碍 给定这些接口和合约类 ContractClass typeof IOneContract interface IOne
codecontracts
为什么我不能在重写的方法中添加 Contract.Requires ?
我正在使用代码契约 实际上 正在学习使用它 我面临着一些奇怪的事情 我重写了在第 3 方程序集中定义的方法 我想添加一个Contract Require像这样的声明 public class MyClass MyParentClass pr
c40
codecontracts
为遗留库创建代码契约
最终目标是为驻留在我无法控制的外部程序集中的类指定契约 即我不能直接向该类添加契约 到目前为止我已经尝试过 ContractClassFor属性 不起作用 因为目标类必须指向合约类 通过对自动生成的程序集进行逆向工程 手动构建合同引用程序集
c
codecontracts
单声道的代码合同?
单声道支持吗代码合约 http msdn microsoft com en us devlabs dd491992 IE 如果我构建一个类库 单声道用户可以使用我的程序集吗 如果没有 有其他库吗 最好支持静态分析 通过 Visual Stu
NET
MONO
codecontracts
非 void 接口代码契约的实现 - default(T) 与 throw NotImplementedException
这可能主要是一个风格问题 但是在为非 void 接口成员定义代码契约时 哪种方法最好 界面 ContractClass typeof IFooContract public interface IFoo object Bar 合同选项1 C
c
codecontracts
JavaScript 代码合约库?
我刚刚启动一个新的 Web 应用程序 我想在 JavaScript 中实现某种形式的契约式样式验证 我快速谷歌搜索了一下 发现Js联系方式 http kinsey no blog index php 2010 02 03 jscontrac
javascript
codecontracts
Collections.sort() 比较方法违反了 Java 中的一般约定[重复]
这个问题在这里已经有答案了 我知道这种问题已经被问过数百万次 如果不是数十亿次 但我还找不到答案 This compare 方法没有Long Double Float 它只有Date boolean and Null检查员 但是它告诉我co
Java
Sorting
Collections
Comparator
codecontracts
代码契约[Type]实现接口方法{Interface.Method},因此无法添加要求
我有以下场景 public interface ISomething void DoStuff public class Something ISomething private readonly ISomethingElse someth
c
codecontracts
如何在 .NET 4.0 中使用代码契约而不让我的代码看起来混乱?
我已经开始使用代码契约 并发现很难立即发现方法的 本质 以这个 非常简单 为例 public static void UserAddNew string domain string username string displayName C
c40
codeformatting
codecontracts
contracts
代码契约+代码分析
我考虑开始使用代码合约 http msdn microsoft com en us devlabs dd491992 aspx在我的代码库中 我已经使用代码分析并启用了所有规则并实现了零警告的目标 然而 当使用Contract Requir
c
NET
VisualStudio
visualstudio2012
codecontracts
ORM 与 CodeContracts 结合使用的实体 - 确保不变性
我目前正在将 CodeContracts 添加到我现有的代码库中 事实证明困难的一件事是使用由 NHibernate 水合的实体 假设这个简单的类 public class Post private Blog blog Obsolete R
c
NET
nhibernate
codecontracts
能让代码分析理解代码契约吗?
当组合使用代码分析和代码契约时 我收到很多警告 例如 CA1062 http msdn microsoft com en us library ms182182 aspx Microsoft Design 在外部可见的方法 Foo Bar
c
codeanalysis
codecontracts
1
2
»