{handshake sound}

ASP .NET Code Contracts Examples

//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

Ronnie Diaz Avatar

Published by

Ronnie Diaz
Ronnie Diaz is a software engineer and tech consultant with over a decade of experience building software and systems. Ronnie started his career in ecommerce, service industries and remote education. He 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 small business focused on collocated web hosting and data center services. This led to specialized expertise in large file storage and video streaming and opened the door at Amazon Prime Video. Ronnie now builds and leads teams to build software and systems which stream live sports and events for millions of viewers around the world.
Categories: ,

Leave a comment