Preconditions

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.

Table Of Contents