To jest aplikacja dla systemu Linux o nazwie Contract++, której najnowszą wersję można pobrać jako Contractpp_0_4_1.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie Contract++ z OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZRZUTY EKRANU
Ad
Umowa++
OPIS
**** TA BIBLIOTEKA ZOSTAŁA PRZENIESIONA DO BOOST ****Nowa lokalizacja: https://github.com/boostorg/contract
Programowanie kontraktowe w C++ (znane również jako Design by Contract lub DbC).
Obsługiwane są wszystkie funkcje Eiffla: podwykonawstwo, stare warunki końcowe i wartości wynikowe, opcjonalna kompilacja kontraktów, dostosowywalne działanie w przypadku niepowodzenia asercji, niezmienniki bloku, warianty pętli itp.
Plus wirtualne specyfikatory, sprawdzanie koncepcji, nazwane parametry.
Zobacz: http://contractpp.sourceforge.net
Korzyści
- Obsługa warunków wstępnych, warunków końcowych, niezmienników klas, niezmienników bloku i wariantów pętli.
- Klasy pochodne podwykonawców (z obsługą czystych funkcji wirtualnych i wielokrotnego dziedziczenia).
- Uzyskaj dostęp do starych wartości wyrażenia i funkcja zwraca wartość w warunkach końcowych.
- Opcjonalna kompilacja i sprawdzanie warunków wstępnych, warunków końcowych, niezmienników klas, niezmienników bloku i wariantów pętli.
- Konfigurowalne akcje w przypadku niepowodzenia potwierdzenia kontraktu (domyślnie kończą się, ale mogą rzucać, kończyć itp.).
- Specyfikatory wirtualne.
- Sprawdzanie koncepcji.
- Nazwane parametry.
Publiczność
Deweloperzy, inżynierowie jakości
Język programowania
Eiffla, C++
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/contractpp/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.