Create a gist now

Instantly share code, notes, and snippets.

anonymous /gist:8027182
Created Dec 18, 2013

void MyMethod(string str) {
Contract.Requires(str!= null, "str must not be null");
...
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment