0
ответов
Создание контрактов кода для устаревшей библиотеки
Конечная цель - указать контракты для класса, который находится во внешней сборке, над которой я не могу контролировать (т. Е. Я не могу просто добавлять контракты в этот класс напрямую). Что я пробовал ...
вопрос задан: 25 October 2010 18:28
0
ответов
Как сообщить статической проверке, что свойство никогда не изменяется, если оно недоказуемо?
У моего класса есть свойство, которое инициализируется в конструкторе и не должно изменяться. Все методы моей кодовой базы принимают этот класс в качестве параметра и полагаются на это свойство, удовлетворяющее ...
вопрос задан: 21 October 2010 18:44
0
ответов
Контракты кода: ContractClassFor при работе с общим абстрактным классом? [дубликат]
Итак, у меня здесь небольшая проблема. Предположим, у меня есть: репозиторий открытого класса , где TEntity: класс
{public abstract void Add (объект TEntity); // ...и так далее...
} А теперь ...
вопрос задан: 17 October 2010 09:32
0
ответов
Контракты коллекции и потоки
Предположим, у меня есть собственный класс коллекции, который обеспечивает некоторую внутреннюю синхронизацию потоков. Например, упрощенный метод Add может выглядеть так: public void Add (T item) {...
вопрос задан: 13 October 2010 13:26
0
ответов
Как я могу указать контракты кода для существующего кода платформы (BCL)?
Контракты кода работают отлично, пока вам не нужно добавить миллиард Contract.Assume (...) для результатов, исходящих из кода фреймворка. Например, MemoryStream.ToArray () никогда не возвращает нулевой массив, так как лучше всего ...
вопрос задан: 12 October 2010 19:55
0
ответов
Как использовать контракты кода при наследовании от таких интерфейсов, как IDictionary ?
Один класс Пишу реализует IDictionary . В моей реализации CopyTo я хотел бы использовать контракты кода: такие вещи, как Contract.Requires (array! = ...
вопрос задан: 3 October 2010 03:14
0
ответов
Следует ли разрешать пустые / пустые параметры?
Недавно я обсуждал с коллегой, следует ли разрешать пустые или пустые параметры. коллекции, передаваемые в качестве параметров метода. Я считаю, что это должно вызвать исключение, поскольку оно нарушает ...
вопрос задан: 22 September 2010 12:36
0
ответов
Класс контракта должен быть абстрактным классом
Следующий код дает мне предупреждение Класс контракта «FooContracts» должен быть абстрактным классом. Из всех примеров, которые я читал в Интернете (например, http://www.infoq.com/articles/code-contracts-csharp), ...
вопрос задан: 4 September 2010 00:48
0
ответов
CodeContracts - ложные положительные стороны
Я только что начал экспериментировать с CodeContracts в.NET 4 на существующем проекте среднего размера, и я удивлен, что статическое средство проверки дает мне предупреждения времени компиляции о следующей части...
вопрос задан: 14 August 2010 19:00
0
ответов
Существует ли способ не позволить MsBuild выполнить статический анализ контракта с контрактами кода?
В моем проекте отключена статическая проверка, но тем не менее, когда я выполняю msbuild.exe с cmd, он запускает статическую проверку каждый проект... Существует ли способ, с параметрами, отключить это?
вопрос задан: 9 August 2010 12:46