Ошибка в предусловии

@Соколиный глаз · Регистрация: 25.07.2014

Студворк — интернет-сервис помощи студентам

Основная программа:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using MainClasses;
using Events;
using Properties;
using Materials;
 
namespace EngineTesting
{
    class Program
    {
        static void Main(string[] args)
        {
            Property<string> property = new Property<string>("Hello world!");
            property.Println();
            GameColor color = new GameColor(10, 10, 10); // Вылает ошибка.
            color.Println();
            Console.ReadLine();
        }
    }
}

Библиотеки лежат в архиве. Почему вылетает такая ошибка?

@Usaga · 11.03.2018, 16:16

Volobuev Ilya, одна из подключенных сторонних сборок использует Code Contracts и требует наличие поддержки этой фигни в студии.

Добавлено через 44 секунды
Сделайте как сказано в сообщении.

@Соколиный глаз · 11.03.2018, 16:33 **[ТС]**

Сообщение от Usaga

использует Code Contracts

http://msdn.microsoft.com/en-us/devlabs/dd491992 - скачал и установил.

Добавлено через 9 минут
Набираю указанный там адрес - и попадаю на страницу новостей https://www.msn.com/ru-ru/?ocid=NEFLS000.

@Usaga · 11.03.2018, 16:36

Volobuev Ilya, если скачали и установили, то всё должно работать. Может быть ещё в настройках проекта включить нужно Contracts. Судя по содержимому архива, то исходиники данной библиотеки у вас есть. Я бы, если честно, просто выбросил бы Code Contracts из проекта, ибо загаживает код сильно.

@Соколиный глаз · 11.03.2018, 16:36 **[ТС]**

Верно ли понял, что надо добавить ссылку на Microsoft.Contracts в проект?

@Usaga · 11.03.2018, 16:38

Volobuev Ilya, нет, не верно. Нужно после компиляции натравить на сборки утилиту CCRewrite, чтобы она пропатчила их. Это делается силами самой студии, только настройку включить надо (насколько я помню). Или выбросить Code Contracts из проекта (убрать все обращения к System.Diagnostics.Contracts).

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это дополнительная запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

@Usaga 14306 / 9387 / 1355 Регистрация: 21.01.2016 Сообщений: 35,404
	11.03.2018, 16:16
	Volobuev Ilya, одна из подключенных сторонних сборок использует Code Contracts и требует наличие поддержки этой фигни в студии. Добавлено через 44 секунды Сделайте как сказано в сообщении. 1

@Usaga 14306 / 9387 / 1355 Регистрация: 21.01.2016 Сообщений: 35,404
	11.03.2018, 16:36
	Volobuev Ilya, если скачали и установили, то всё должно работать. Может быть ещё в настройках проекта включить нужно Contracts. Судя по содержимому архива, то исходиники данной библиотеки у вас есть. Я бы, если честно, просто выбросил бы Code Contracts из проекта, ибо загаживает код сильно. 0

@Соколиный глаз Alvin Seville 343 / 273 / 134 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 22
	11.03.2018, 16:36 [ТС]
	Верно ли понял, что надо добавить ссылку на Microsoft.Contracts в проект? 0

@Usaga 14306 / 9387 / 1355 Регистрация: 21.01.2016 Сообщений: 35,404
	11.03.2018, 16:38
	Сообщение было отмечено Volobuev Ilya как решение Решение Volobuev Ilya, нет, не верно. Нужно после компиляции натравить на сборки утилиту CCRewrite, чтобы она пропатчила их. Это делается силами самой студии, только настройку включить надо (насколько я помню). Или выбросить Code Contracts из проекта (убрать все обращения к System.Diagnostics.Contracts). 1

Ошибка в предусловии

Решение