代码合约 + Sandcastle——有什么方法可以自定义例外部分吗？

Question

• 我正在使用代码合同版本：1.4.40602.0
• 我复制了必要的内容和转换文件
• Sandcastle 根据我的合同要求输出异常

示例代码：

public class MyClass
{
    public MyClass(Object obj)
    {
        Contract.Requires<ArgumentNullException>(obj != null);
    }
}

结果输出（在我的文档中）：

| Exception                       | Condition                       |
|---------------------------------|---------------------------------|
| System.ArgumentNullException    | obj == null                     |

这不是那个 不好，但是我想知道是否有办法自定义条件的文本？我尝试添加用户消息 Contract.Requires(obj != null, "obj is null.");，但这并没有解决任何问题。

过去，我必须为异常编写自己的 xml 文档部分。我是否需要再次这样做才能得到我需要的东西？

---

免责声明：由于代码合同（目前）是一个 DevLabs 项目，因此这可能会改变，但我想知道它现在是否已经可用......如果没有，我一定会建议它。

Answer 1

在代码契约 1.4.51019.0 中，您可以使用重载：

Requires(bool condition, string userMessage)

但是，您的消息将附加在“Precondition failed”之后，后跟不匹配的条件。如果 Sandcastle 无法识别它，我相信这不是代码合约中的错误，因为该消息对我来说是正确的。