2010-11-19 38 views
1

I (Bir süredir kullanılmıyor olması) Kod Sözleşmeleri ile bazı basit kodVisual Studio Yani 2010

static void Main(string[] args) 
    { 
     double res = sqrt(-5); 
    } 

    static double sqrt(int a) 
    { 
     Contract.Requires(a >= 0, "a must be >= 0!"); 

     return Math.Sqrt(a); 
    } 

çalıştırmak çalışıyordu Ama hiçbir şey görünmüyor Kod Sözleşmeler ayarlama Ben koştuğumda. Birkaç ay önce hatırladığımdan, a'un

ile ilgili bir hatayı düzeltmesi gerekir. Akademik sürümü, güvenli olması için Kod Sözleşmeleri sitesinden yeniden yükledim ve bu hala çalışmıyor gibi görünüyor. . Kod Sözleşmelerinin işe koyulması için gerekli adımlar nelerdir?

DÜZENLEME: Yeniden başlatıcı, yöntemin atlandığı "koşulsuz veya kısmi bir yöntem" olduğu için beni Contract.Requires(a >= 0); numaralı telefondan anlatıyor.

Teşekkür

+0

Math.Sqrt (a * a) yerine Math.Sqrt (a) yazmak istersiniz? Tabii ki, bu sizin sorunuza yardımcı olmuyor ... – Philipp

+0

Evet, bir yazım hatası. –

cevap

2

Bu web sayfasını kontrol etmelidir: link text

Sen proje özelliklerine gitmeli, Kod sekmesini Sözleşmeler ve Runtime onay kutularını tıklayın.