Contract.Requires(Condition,userMessage)
Contract.Requires(Condition,userMessage)
Contract.Result<T>
Contract.Ensures()
Contract.Invariants()
.NET supports the Design by Contract idea via its Contracts class found in the System.Diagnostics namespace and introduced in .NET 4.0....