.net - Mono 中的代码契约

Question

以下代码:

Contract.Requires<ArgumentException>(command != null, Resources.Messages.CommandNotSpecified);

电话

Contract.AssertMustUseRewriter (ContractFailureKind kind, System.String message)

如果您使用的是 Visual Studio，这似乎是由于未将代码契约(Contract)配置为使用运行时契约(Contract)检查造成的。

文章@ http://devjourney.com/blog/code-contracts-part-2-preconditions/意味着在没有配置运行时检查的情况下生成的代码是:

public static void Requires<TException>(bool condition)
where TException: Exception
{
    AssertMustUseRewriter(ContractFailureKind.Precondition, "Requires<TException>");
}

有人知道在 MonoDevelop 中做什么才能使契约(Contract)按预期工作吗？

我得到的确切异常(exception)是:

2012-11-13 23:33:24.815 StickX[339:c07] mvx: Diagnostic:  34.46 Exception masked NotImplementedException: The requested feature is not implemented.
      at System.Environment.FailFast (System.String message) [0x00000] in /Developer/MonoTouch/Source/mono/mcs/class/corlib/System/Environment.cs:821 
  at System.Diagnostics.Contracts.Contract.AssertMustUseRewriter (ContractFailureKind kind, System.String message) [0x00011] in /Developer/MonoTouch/Source/mono/mcs/class/corlib/System.Diagnostics.Contracts/Contract.cs:83 
  at System.Diagnostics.Contracts.Contract.Requires[ArgumentException] (Boolean condition, System.String userMessage) [0x00000] in /Developer/MonoTouch/Source/mono/mcs/class/corlib/System.Diagnostics.Contracts/Contract.cs:271 

Answer 1

It's not implemented ，所以让这项工作唯一的事情就是让你编写实现。 Mono 是一个开源项目，总是乐于接受新的贡献。