Hợp đồng Mã trong Mono

Question

Các mã sau đây:

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

cuộc gọi

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

mà dường như được gây ra bởi không cấu hình Mã Hợp đồng sử dụng kiểm tra hợp đồng thời gian chạy, nếu bạn đang sử dụng Visual Studio.

bài viết @http://devjourney.com/blog/code-contracts-part-2-preconditions/ ngụ ý rằng mã được sản xuất mà không cần thời gian chạy việc kiểm tra cấu hình là:

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

Có ai biết phải làm gì trong MonoDevelop để các hợp đồng công trình như mong đợi?

Ngoại lệ chính xác tôi nhận được là:

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, do đó, điều duy nhất để làm công việc này sẽ cho bạn viết thực hiện. Mono là một dự án mã nguồn mở, luôn sẵn lòng nhận những đóng góp mới.

Answer 2

Để biết thông tin của bạn CodeContracts Microsoft đang OpenSource:

https://github.com/CodeContractsDotNet/CodeContracts