Skip to content

Instantly share code, notes, and snippets.

@jonhilt

jonhilt/codeByContract.cs

Created March 9, 2010 11:57
Show Gist options
  • Save jonhilt/326517 to your computer and use it in GitHub Desktop.
Save jonhilt/326517 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
codeByContract.cs
public static void DisplayNameAndTitle(Person p)
{
Contract.Requires(p != null, "Person cannot be null");
Contract.Requires(p.GivenName != null, "Person's given name must be specified");
Console.WriteLine("{0} {1} {2}", p.Title, p.GivenName, p.FamilyName);
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment