//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.
Out of Office Reply 
Leave a comment
Comments 0