Looking for .net Keywords? Try Ask4Keywords

.NET Framework Предпосылками


пример

Предварительные условия позволяют методам предоставлять минимальные требуемые значения для входных параметров

Пример...

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

    //do work
}

Результат статического анализа ...

введите описание изображения здесь