C#契约式设计：如何保证方法和功能
我最近开始在我的项目中使用合同设计。我有一些关于如何保证方法和功能的问题。 public static void SaveAttachment(Outlook.MailItem _mailItem, str…
Contract.Requires 和 DateTime
我有以下方法： private static void SampleMethod(DateTime dateTime1, DateTime dateTime2) { Contract.Requires(dateTime1 > dateTime2) Console…
代码合同：ccrewrite 退出并显示代码 -1？
我是代码合同的新手。我下载了最新版本的代码合约项目（1.4.40314.1）并开始在我的项目中实现它。当我通过 VS2010 中的“代码合同”选项卡启用“运行…
C# 代码契约：从其他线程访问成员的后置条件是否无用？
经过一番思考，我得出的结论是，方法中的后置条件仅在强加于返回值、ref 和 out 参数时才有用，但不适用于字段、静态或任何实例。原因是，当调用该方…
使用支持集合实现 ICollection 时代码契约警告
我有这个代码： public class MyCollection : ICollection<string> { private readonly ICollection<string> _inner = new Collection<stri…
有没有办法模拟“宏”？在 c# 中？
我试图让 C# 中的 CodeContracts 看起来更像语句，所以我需要一个工具，允许我在编译器看到它之前替换一些代码，如果没有办法做到这一点，我想 Visual…
