//contract.requires
public void Withdraw(Account account, decimal amount)
{
Contract.Requires(account != null, "account cannot be null");
Contract.Requires(amount > 0, "amount must be greater than zero");
...
}
//contract.ensures
public double CalculateDiscount(int originalAmount, string discountCode)
{
Contract.Ensures(Contract.Result<double>() >= 0);
return -32;
}
Reference
http://visualstudiomagazine.com/articles/2010/06/23/code-contracts.aspx
http://msdn.microsoft.com/en-us/library/dd264808(v=vs.110).aspx
Like this:
Like Loading...
Related
About Ronnie Diaz
Ronnie Diaz is a software engineer and tech consultant. Ronnie started his career in front-end and back-end development for companies in ecommerce, service industries and remote education. This work transitioned from traditional desktop client-server applications through early cloud development. Software included human resource management and service technician workflows, online retail e-commerce and electronic ordering and fulfillment, IVR customer relational systems, and video streaming remote learning SCORM web applications. Hands on server experience and software performance optimization led to creation of a startup business focused on collocated data center services and continued experience with video streaming hardware and software. This led to a career in Amazon Prime Video where Ronnie is currently employed, building software and systems which stream live sports and events for millions of viewers around the world.
Leave a comment
Comments 0