У меня есть основной вопрос, может быть, это так очевидно, но по какой-то причине я не могу показаться успешным при установке и использовании кодовых контрактов.
Я загрузил пакет из MSDN, установил его после онлайн-документации, но я все еще получаю предупреждение IDE для приведенного ниже кода:
Contract.Requires(inputParameter != "");
предупреждение IDE:
"Вызов метода пропускается. Компилятор не будет генерировать вызов метода, потому что метод является условным, или это частичный метод без реализации"
Все, что мне не хватает в процессе создания кодовых контрактов? Я использую VS2010 Ultimate SP1