Code Contracts in C# and null checking

c# c#-4.0 code-contracts
zachary picture zachary · Jan 14, 2011 · Viewed 8.5k times · Source

In my code i do this a lot:

myfunction (parameter p)
{
  if(p == null)
   return;
}

How would I replace this with a code contract?

I'm interested in finding out if a null has been passed in and have it caught by static checking.

I'm interested in having a contract exception be thrown if null is passed in during our testing

For production I want to exit out of the function.

Can code contracts do this at all? Is this a good use for code contracts?

Answer

Timwi picture Timwi · Jan 14, 2011

The syntax for this is:

Contract.Requires(p != null);

This needs to be at the top of the method. All Contract.Requires (and other contract statements) must precede all other statements in the method.

Related questions

Interop type cannot be embedded

I am creating a web application on the .NET 4.0 framework (beta2) in C#. When I try to use a assembly called "ActiveHomeScriptLib", I get the following error: Interop type 'ActiveHomeScriptLib.ActiveHomeClass' cannot be embedded. Use the applicable interface instead. When …

Read More
How to get first object out from List<Object> using Linq

I have below code in c# 4.0. //Dictionary object with Key as string and Value as List of Component type object Dictionary<String, List<Component>> dic = new Dictionary<String, List<Component>>(); //Here I …

Read More
How to add and get Header values in WebApi

I need to create a POST method in WebApi so I can send data from application to WebApi method. I'm not able to get header value. Here I have added header values in the application: using (var client = new WebClient()) { // …

Read More