5
ответов

ReSharper - Возможное Пустое Присвоение при использовании Microsoft. Контракты

Там какой-либо путь состоит в том, чтобы указать к ReSharper, что нулевая ссылка не произойдет из-за Дизайна Контракта, Требует проверки? Например, следующий код повысит предупреждение (Возможный 'пустой указатель'...
вопрос задан: 13 January 2010 12:43
4
ответа

.NET 4,0 контракта кода - Как они будут влиять на поблочное тестирование?

Например, эта статья представляет их. Каково преимущество? Статический анализ кажется прохладным, но в то же время он предотвратил бы способность передать пустой указатель в качестве параметра в модульном тесте. (если Вы...
вопрос задан: 23 May 2017 11:46
4
ответа

Ошибка в итераторах с контрактами кода?

Следующий код перестал работать на пред условие. Действительно ли это - ошибка в контрактах кода? статический класс Программа {статическая Основная пустота () {foreach (var s в Тесте (3)) {Консоль....
вопрос задан: 27 January 2010 23:12
4
ответа

Насколько сформировавшийся платформа Microsoft Code Contracts?

Microsoft недавно поместила выпуск их платформы Контрактов Кода на DevLabs с коммерческой лицензией. Нам интересно при использовании их в нашем проекте (главным образом C#, некоторый C++ / CLI) к постепенно...
вопрос задан: 27 January 2010 23:11
1
ответ

C#: Контракты Кода по сравнению с нормальной проверкой параметра

рассмотрите следующие две части кода: общедоступный статический Синтаксический анализ Времени (строковое значение) {представляет regXExpres в виде строки = "^ ([0-9] | [0-1] [0-9] |2 [0-3]) :( [0-9] | [0-5] [0-9]), $ | ^24: (0|00) $";...
вопрос задан: 24 February 2010 12:25
1
ответ

Контракты кода.NET: это может стать более основным, чем это?

Я просто бездельничал для ответа на чей-то вопрос здесь на Переполнении стека, когда я заметил статическое предупреждение проверки из своей Visual Studio (2008): строка [] источник = {"1", "B"};...
вопрос задан: 27 January 2010 23:14
1
ответ

Microsoft Code Contracts может использоваться с Веб-сайтом ASP.NET?

Я в настоящее время использую Microsoft Code Contracts в приложении MVC ASP.NET без любых проблем, но я, может казаться, не получаю ее довольно рабочий на основном веб-сайте ASP.NET. Я не совсем уверен, что это было сделано...
вопрос задан: 27 January 2010 23:12