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)$"…
为什么我会收到由 C# 代码编写的格式错误的合同？
当我在下面编写此合同时，Visual Studio 显示错误。 错误 20 方法“....get_Page”中的合同部分格式错误 是否是 if 块有问题？ public int? Page { ge…
Microsoft.Contracts 命名空间
为什么在 asp.net 中需要 Microsoft.Contracts 命名空间？ 我的意思是，在什么情况下我可以使用 Microsoft.Contracts 编写？…
.NET 4.0 代码契约 - 它们将如何影响单元测试？
例如，这篇文章介绍了它们。 有什么好处？ 静态分析看起来很酷，但同时它会阻止在单元测试中将 null 作为参数传递的能力。 （如果您遵循本文中的示例…
.NET 代码契约：还有比这更基础的吗？
我只是在 Stack Overflow 上胡乱回答某人的问题，这时我注意到 Visual Studio (2008) 内部出现了静态验证警告： string[] source = { "1", "A", "B" }…
需要什么来证明本合同的要求？
我有一个在锦标赛中运行的应用程序，并且我收到了有关此简化代码结构的合同警告： public static void LoadState(IList<Object> stuff) { for(int…
CodeContracts：如何使用 this() 调用来满足 Ctor 中的 Require？
我正在使用 Microsoft 的 CodeContracts 并遇到了无法解决的问题。 我有一个带有两个构造函数的类： public Foo (public float f) { Contracts.Requir…
Microsoft 代码合同可以与 ASP.NET 网站一起使用吗？
我目前正在 ASP.NET MVC 应用程序中使用 Microsoft 代码合约，但没有任何问题，但我似乎无法让它在基本的 ASP.NET 网站上正常运行。 我不完全确定它是…
代码契约迭代器中的错误？
以下代码在前提条件下失败。 这是代码合约中的错误吗？ static class Program { static void Main() { foreach (var s in Test(3)) { Console.WriteLi…
Microsoft Contracts：程序集加载导致元数据导入警告
我正在尝试学习 Microsoft Code Contracts 库，我有以下简单的功能： internal static Engine CreateBuildEngine(Microsoft.Build.Framework.ILogger …
ReSharper - 使用 Microsoft.Contracts 时可能出现空分配
有没有什么方法可以向 ReSharper 表明由于 Design-by-Contract 需要检查而不会发生空引用？ 例如，以下代码将在 ReSharper 的第 7 行和第 8 行中引发…
您使用什么工具进行合同设计？
我曾经使用 Microsoft CodeContracts 三周，现在一半的代码只是合同。 我有几十个未经证实的地方，我无法使用运行时检查，因为 IL 重写会阻止覆盖工具…
如何使用代码契约指示方法永远不会返回 null？
如何指示一个方法永远不会返回 null？ 目前这是我的代码。 第 19 行收到 Ensures notproved 消息，即使 CreateFunction 假设结果不是空的。 1 <Pure…
- 共 1 页
- 1
