code-contracts

9ısı

1cevap

Varsayılan (Tip) kullanıldığında neden sözleşme yanlış biçimlendiriliyor?

Kod sözleşmelerini kullanan kodları derlerken, anlayamadığım çok tuhaf bir hatam var. [ContractInvariantMethod] private void ObjectInvariant() { Contract.Invariant( this.isSubsidiary ||

5ısı

1cevap

.NET 4 Kod Sözleşmeleri: "unproven gerektirir: source! = Null"

Projemde kod sözleşmelerini kullanmaya başladım. Bununla birlikte, veri tabanımı Varlık Çerçevesi'ni kullanarak sorgulayan depo uygulamamla ilgili bir sorunum var. public IEnumerable<Organization> Get

8ısı

1cevap

Kodumun karmaşık görünmesini sağlayarak .NET 4.0'daki kod sözleşmelerini nasıl kullanırım?

Kod Sözleşmelerini kullanmaya başladım ve bir yöntemin 'cesaretlerini' hemen belirlemenin zor olduğunu fark ettim. bu (çok basit) örnek verebiliriz: Şimdi onlar gizli olabilir, böylece bir bölgede söz

6ısı

3cevap

MsBuild'in statik sözleşme analizini kod sözleşmeleriyle çalıştırmasına izin vermenin bir yolu var mı?

Projemde statik kontrol devre dışı, ancak yine de, cmd ile msbuild.exe'yi çalıştırdığımda, her proje için statik denetimi başlatıyor ... Bunu devre dışı bırakmak için parametrelerle bir yol var mı?

4ısı

1cevap

Bazı sözleşmeleri statik analizden kolayca hariç tutabilir miyim?

Statik analizörün kanıtlayamayacağını bildiğim belirli sözleşmeler var. Belirli türde bir sözleşme ihlali hatalarını tüm bir işlevden hariç tutabilirim, ancak bu çok geniş fırçalanmış. Belirli ihlal h

5ısı

2cevap

.NET'teki algoritimsel kodu nasıl kullanırsınız?

Şu anda bir üniversite projesi için C# 'da küçük bir AI çerçevesi (genetik algoritmalar/sinir ağları) geliştiriyorum. Benim ilk endişe yeniden kullanılabilir bir çerçeve geliştiriyor, bu yüzden her şe

1ısı

1cevap

Visual Studio Yani 2010

I (Bir süredir kullanılmıyor olması) Kod Sözleşmeleri ile bazı basit kod static void Main(string[] args) { double res = sqrt(-5); } static double sqrt(int a) { Contrac

9ısı

2cevap

Contract.Exists değeri nasıl ekler?

VS2010 ile standart olarak gelen kod sözleşmeleri kitaplığı hakkında bilgi almaya başladım. Çalıştığım bir şey, sözleşme maddelerinin bazılarının gerçekten ne anlama geldiği. Örneğin, bu iki ifade nas

22ısı

1cevap

[Pure] yöntemleri hakkında soru

Aşağıdaki yöntem Saf mı? Öyle diyorum ki, şu anki sınıfta değişmediği için, şimdi, bu metodu çalıştırmadan önce sınıfta "görebiliyoruz" diye kestirebileceğimiz her şey, sonradan tam olarak aynı olacak

7ısı

1cevap

Make Contract.Assert bir İletişim kutusu görüntülemek yerine bir istisna atar

Yeni Kod Sözleşmeleri Contract.Assert yöntemini kullanıyorum, bir iletişim kutusu görüntülemek yerine bir istisna atmak mümkün mü? Yapım makinesinde birim testleri yaparken bunu yapmak istiyorum.