CodeContracts：可能在空引用上调用方法
我与 CodeContracts 静态分析工具发生争执。 我的代码： (ASCII 版本) 该工具告诉我instance.bar 可能是空引用。我相信相反。 谁是对的？我如何证明它…
在 Visual Studio 2010 Professional 中对类库使用代码契约（即无静态检查）有多好？
我创建了类库，其中一些被世界各地的其他人使用，现在我开始使用 Visual Studio 2010，我想知道切换到使用代码契约而不是常规的旧方法对我来说是多么…
我可以使用 .NET 4 代码协定并保持与 .NET 3.5 兼容吗？
.NET 4 引入了代码契约作为一项新功能。我想使用 CC，但提供仍然可以在 3.5 SP1 中运行的文件。这可能吗？我可以只使用部分新功能吗？显然，CC 可以只…
调用它的方法有条件返回的方法？
好吧，这可能有点黑客，但请耐心等待:) 背景是我厌倦了一些方法，一些 if 语句搞乱了整个方法的缩进，例如： public SomeClass DoStuff(string inputS…
代码契约：我们是否必须在委托方法中冗余地指定 Contract.Requires(...) 语句？
我打算使用新的 .NET 4 代码契约 功能来进行未来的开发。这让我想知道我们是否必须在方法链中冗余地指定等效的 Contract.Requires(...) 语句。 我认为…
带有接口的代码契约：“已跳过方法调用。编译器将生成方法调用，因为该方法是有条件的...[...]”
晚上好， 我刚刚开始使用 Microsoft.Contracts（最新版本）并将其插入示例界面之上，现在它看起来像这样： namespace iRMA2.Core.Interfaces { using …
Visual Studio 2010 Pro RC 中代码契约的属性
所以看来 Visual Studio 2010 的属性中应该有一个“代码契约”选项卡。我到处都找不到它。也许是我的 Visual Studio 安装有问题？我正在运行 RC 版本…
让代码契约在 Visual Studio 2010 中工作
我有以下代码： class Program { static void Main(string[] args) { Console.WriteLine(SqrtRoot(0)) Console.WriteLine(SqrtRoot(10)) Console.Writ…
代码契约：如何在后置条件中声明字段/属性的值未更改？
我最好用代码示例来展示我想完成什么？ class SomeClass { public int SomeProperty public void SomeOperation() { Contract.Ensures( "SomeProperty…
代码契约：如何为通用接口提供契约类？
我想使用代码契约为这个通用接口指定一个契约： interface IRandomWriteAccessible<T> { T this[uint index] { set } uint Length { get } } 文档…
C#：代码契约与普通参数验证
考虑以下两段代码： public static Time Parse(string value) { string regXExpres = "^([0-9]|[0-1][0-9]|2[0-3]):([0-9]|[0-5][0-9])$|^24:(0|00)$"…
这是静态合约检查器中的错误吗？
如果我这样写： public sealed class Foo { private int count private object owner private void Bar() { Contract.Requires(count > 0) Contract…
