Essential Books

Preconditions

suggest change

Preconditions allows methods to provide minimum required values for input parameters

Example… 

void DoWork(string input)
{
    Contract.Requires(!string.IsNullOrEmpty(input));

    //do work
}

Static Analysis Result…

Found a mistake? Have a question or improvement idea? Let me know.

Feedback about page:

Feedback:
Optional: your email if you want me to get back to you:

Code contracts:
*Code Contracts
*Contracts for Interfaces
*Preconditions
*Postconditions
*Installing and Enabling Code Contracts
Table Of Contents