Codecontracts
Contract.Requires(quantity > 0);
Contract.Requires(text != null && text.Length > 1 && text.All(c => Char.IsLetter(c)));
Contract.Ensures(result > 0);
Contract.Assumes(myObject != null);
[ContractForType(IMyInterface)]
public class MyInterfaceContract
{
public void MyMethod()
{
}
}
page revision: 0, last edited: 21 Nov 2009 21:27