Aceasta este comanda cccheck care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
cccheck - Efectuați verificarea contractelor de cod static pentru ansamblurile CLR.
REZUMAT
cccheck --asamblare= [Opțiuni]
DESCRIERE
Efectuați verificarea contractelor de cod static pentru a găsi erori și inconsecvențe între cod
si caietul de sarcini. Aceasta include analize non-nule, întregi.
Ansamblul trebuie să fi fost construit cu simbolul CONTRACTS_FULL definit, în caz contrar
apelurile la metodele contractului vor fi fost eliminate de compilator.
În prezent sunt acceptate numai metodele Contract.Assume() și Contract.Assert(). Doar non-
analiza nula este suportata, analizele consecutive sunt in dezvoltare. Un mesaj de eroare
va fi afișat dacă cccheck nu poate procesa toate sau unele dintre metodele specificate
asamblare.
CONFIGURARE OPŢIUNI
--asamblare
Ansamblul pentru efectuarea verificării statice.
--depanare
Afișează informații de depanare despre procesul de demonstrare a afirmațiilor. Arată patru
straturi de abstractizare, strat brut, strat de stivă, strat grămada și substituit
nivelul de expresie.
--metoda=
Șir pentru metoda de găsire. Filtrează toate metodele din asamblare unde are numele metodei
acest parametru ca subșir.
--Ajutor Afișează ajutor pentru cccheck, listând opțiunile de configurare.
EXEMPLE
Să presupunem că aveți o metodă:
metoda void() {
obiect x = nul;
int y = 1;
dacă (y % 2 == 1)
x = obiect nou();
altfel
x = șir nou();
Contract.Assert(x != null); }
După verificare, instrumentul va avea rezultate în următorul format: „Aserțiune
la : [Subrutină: bloc PC ] :
este (adevărat|fals|nedovedit|inaccesibil)". (PC este un contor de programe)
Utilizați cccheck online folosind serviciile onworks.net
