Це програма для Windows під назвою Contract++, останню версію якої можна завантажити як contractpp_0_4_1.zip. Його можна запустити онлайн у безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою Contract++ з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть будь-який онлайн емулятор ОС OnWorks з цього веб-сайту, але кращий онлайн-емулятор Windows.
- 5. З ОС OnWorks Windows, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму та встановіть її.
- 7. Завантажте Wine зі сховищ програмного забезпечення дистрибутивів Linux. Після встановлення ви можете двічі клацнути програму, щоб запустити їх за допомогою Wine. Ви також можете спробувати PlayOnLinux, модний інтерфейс замість Wine, який допоможе вам встановити популярні програми та ігри Windows.
Wine — це спосіб запуску програмного забезпечення Windows на Linux, але без використання Windows. Wine — це рівень сумісності Windows з відкритим вихідним кодом, який може запускати програми Windows безпосередньо на будь-якому робочому столі Linux. По суті, Wine намагається повторно реалізувати достатньо Windows з нуля, щоб він міг запускати всі ці програми Windows, насправді не потребуючи Windows.
ЕКРАНИ
Ad
Договір++
ОПИС
**** ЦЮ БІБЛІОТЕКУ ПЕРЕМІЩЕНО В Boost ****Нове місце розташування: https://github.com/boostorg/contract
Контрактне програмування на C++ (він же Design by Contract або DbC).
Підтримувані всі функції Eiffel: субпідряд, попередні умови та значення результату, необов’язкова компіляція контракту, настроювані дії при помилці підтвердження, інваріанти блоків, варіанти циклу тощо.
Плюс віртуальні специфікатори, перевірка концепції, іменовані параметри.
Див: http://contractpp.sourceforge.net
Функції
- Підтримка передумов, постумов, інваріантів класів, блокових інваріантів і варіантів циклу.
- Похідні класи від субпідряду (з підтримкою чистих віртуальних функцій і множинного успадкування).
- Старі значення виразу доступу та значення, що повертає функція в постумовах.
- Додаткова компіляція та перевірка передумов, постумов, інваріантів класів, блокових інваріантів і варіантів циклу.
- Настроювані дії при невдачі підтвердження контракту (за умовчанням припиняється, але може кинути, вийти тощо).
- Віртуальні специфікатори.
- Перевірка концепції.
- Іменовані параметри.
Аудиторія
Розробники, інженери з якості
Мова програмування
Ейфель, C++
Це додаток, який також можна отримати з https://sourceforge.net/projects/contractpp/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
