2

Всем добрый вечер. У меня возникла следующая проблема - пытаюсь воспользоваться появившимися в C# 4 контрактами для проверки кода, но они почему-то не срабатывают. У меня есть следующий код:

    public static  string Type<T>(T some)
    {
        /* было бы очень здорово, если бы следующая  строка выполнялась, чего она, однако,     не делает */
        Contract.Requires(some != null); 
        return some.GetType().ToString(); 
    }

Работаю в Visual Studio 2012 Ultimate. Решарпер при этом любезно подсвечивает код серым цветом, сообщая, что Compiler will not generate method invocation because the method is conditional, or it's partial method wihout implementation. Вероятно, я что-то упустил, но вот что?

2
  • Загляните в свойства проекта, может, вы забыли включить проверку контрактов?
    – VladD
    16 дек 2012 в 17:42
  • может, и забыл. но вот только почему-то вкладки Code Contracts у меня нет((
    – DreamChild
    16 дек 2012 в 17:47

1 ответ 1

2

Загляните в свойства проекта, может, вы забыли включить проверку контрактов? Без неё не взлетит :)

Если этой вкладки нет, вам сюда:

I just installed Visual Studio 2010, now how do I get Code Contracts?

2
  • большое спасибо, помогло))
    – DreamChild
    16 дек 2012 в 18:17
  • @DreamChild: пожалуйста!
    – VladD
    16 дек 2012 в 18:49

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.