У меня есть следующий в качестве первой линии в методе:Почему код не отображается на дисплее?
Contract.Requires(param1 != null, "param1 can't be null");
Когда param1 приходит в нуле, ничего не происходит, и ниже код контракта продолжает выполняться. Что еще нужно для отображения сообщения?
Вы должны настроить проверку в свойствах проекта (Project в обозревателе решений -> Свойства -.> Код контрактах, а затем определить параметры для статической проверки и проверки выполнения
непроверенных звонков будут подчеркнуты с фиолетовым загогулины, и вы получите подсказки в окне Log
из Contract class docs:..
вы должны использовать двоичный Rewriter для вставки во время выполнения исполнения контрактов в противном случае, контракты, такие как Contract.Ensures меня thod может быть проверен только статически и не будет генерировать исключения во время выполнения, если контракт нарушен. Вы можете загрузить бинарный перезаписывающий CCRewrite из Контрактов кода на веб-сайте MSDN DevLabs. CCRewrite поставляется с надстройкой Visual Studio, которая позволяет активировать принудительное выполнение контракта во время выполнения с страницы свойств проекта. Бинарный перезаписыватель и надстройка Visual Studio не поставляются с Visual Studio 2010 или Windows SDK.