Результаты поиска по запросу "code-contracts"
Почему ccrewrite.exe ничего не делает из командной строки?
У меня есть контракты кода, работающие нормально из Visual Studio 2010, но я не могу получить
Проектирование по контрактам и конструкторам
Я реализую свой собственный ArrayList для школьных целей, но чтобы немного оживить ситуацию, я пытаюсь использовать C # 4.0 Code Contracts. Все было хорошо, ...
что, я думаю, может быть полезным, если «Требуется», которого вы хотите, чтобы Пекс уважал, глубже в дереве вызовов.
вая следующий пример кода, как я могу настроить Pex для соблюдения моих контрактов кода? public static IEnumerable<User> Administrators(this UserGroup userGroup) { Contract.Requires(userGroup != null); Contract.Requires(userGroup.UserList ...
Настройка сообщений об исключениях из кода
У меня есть код контракта, который выражается следующим образом: он проверяет, что сущность, которая должна быть сохранена, не равна нулю и действительна для...
Я обнаружил, что проверка времени выполнения является ядром контрактов кода. Я использовал статическую проверку для нескольких «чистых компьютерных» подпрограмм, где я анализировал поток данных и хотел убедиться, что многие ограничения выполняются, но, на мой взгляд, выполнение статического верификатора слишком сложно для общего кодирования.
soft недавно выпустила релиз своихКодовые контракты [http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx]фреймворк на DevLabs с коммерческой лицензией. Мы заинтересованы в том, чтобы использовать их в нашем проекте (в основном C #, немного C ++ ...
Кодовые контракты не работают на VS2012
Я читаю о контрактах по коду, которые на первый взгляд кажутся довольно революционными, но я не могу заставить их работать. Я использую Windows 8 и Visual Studio 2012 Premium (обе версии выпуска). Затем я установил кодовые контракты отВот ...
Полезность System.Diagnostics.Concontracts в вопросе
Я играл с новым классом System.Diagnostics.Contracts, потому что сначала он показался мне очень полезным. Статические методы для проверки входящих аргументов...