Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen cccheck komutudur.
Program:
ADI
cccheck - CLR derlemeleri için statik kod sözleşmeleri doğrulaması gerçekleştirin.
SİNOPSİS
cc kontrol --montaj= [seçenekler]
TANIM
Kodlar arasındaki hataları ve tutarsızlıkları bulmak için statik kod sözleşmeleri doğrulaması yapın
ve şartname. Bu, boş olmayan, tamsayı analizlerini içerir.
Derleme, tanımlanmış CONTRACTS_FULL sembolü ile oluşturulmuş olmalıdır, aksi takdirde
sözleşme yöntemlerine yapılan çağrılar derleyici tarafından kaldırılmış olacaktır.
Şu anda yalnızca Contract.Assume() ve Contract.Assert() yöntemleri desteklenmektedir. Sadece olmayan
null analizi desteklenir, ardışık analizler geliştirme aşamasındadır. Bir hata mesajı
cccheck belirtilen yöntemlerin tümünü veya bazılarını işleyemezse gösterilecektir.
montaj.
YAPILANDIRMA SEÇENEKLER
--toplantı
Statik doğrulama gerçekleştirmek için montaj.
- hata ayıklama
İddiaları kanıtlama süreci hakkında hata ayıklama bilgilerini gösterir. dört gösteriyor
soyutlama katmanları, ham katman, yığın katmanı, yığın katmanı ve ikame
ifade seviyesi.
--yöntem=
Yöntem bulma dizesi. Metot adının bulunduğu derlemedeki tüm metotları filtreler.
bu parametre bir alt dize olarak.
--yardım et Yapılandırma seçeneklerini listeleyen cccheck için yardımı göster.
ÖRNEKLER
Diyelim ki bir yönteminiz var:
geçersiz Yöntem() {
nesne x = boş;
int y = 1;
eğer (y % 2 == 1)
x = yeni nesne();
başka
x = yeni dize();
Sözleşme.Assert(x != boş); }
Doğrulamadan sonra araç aşağıdaki formatta sonuçlara sahip olacaktır: "Onay
at : [Alt program: Engellemek bilgisayar ] :
(doğru|yanlış|kanıtlanmamış|ulaşılamaz)". (PC bir program sayacıdır)
onworks.net hizmetlerini kullanarak cccheck'i çevrimiçi kullanın
