«code-contracts» etiketlenmiş sorular

Geçenlerde Microsoft'un kod sözleşmeleri çerçevesine rastladım. Belgeleri biraz okudum ve sürekli şunu sorarak buldum: “Statik bir analiz yapıp yapamadığı ve sık sık yapamadığı için neden bunu yapmak isteyeyim?”. Şimdi, zaten bunun gibi istisnalar dışında bir çeşit savunma programlama tarzım var: if(var == null) { throw new NullArgumentException(); } Ayrıca NullObject …

26 code-contracts 

.NET'te kod sözleşmeleri hakkında bilgi ediniyorum ve saf yapıcılar fikrini anlamaya çalışıyorum. Kod sözleşmeleri belgelerine durumları: Bir sözleşme kapsamında çağrılan tüm yöntemler saf olmalıdır; yani önceden var olan herhangi bir durumu güncellememeleri gerekir. Bir saf yöntemin, saf yönteme girdikten sonra oluşturulan nesneleri değiştirmesine izin verilir. Ve PureAttributebelgeler şöyle diyor: Bir …

19 c#  .net  code-contracts  pure-function 

Ben biraz savunmacı bir programcıyım ve Microsofts Kod Sözleşmelerinin büyük bir hayranıyım. Şimdi her zaman C # kullanamıyorum ve çoğu dilde sahip olduğum tek araç iddialar. Bu yüzden genellikle böyle bir kod ile sonuçlanır: class { function() { checkInvariants(); assert(/* requirement */); try { /* implementation */ } catch(...) { …

13 testing  code-contracts 

Ben büyük bir yazma hayranları, sözleşmeler ya da kullandığım dilde mevcut her türlü çekler hayranıyım. Beni biraz rahatsız eden bir şey, tekrarlanan kontrollerle uğraşmak için ortak uygulamanın ne olduğundan emin değilim. Örnek durum: İlk önce aşağıdaki işlevi yazıyorum void DoSomething( object obj ) { Contract.Requires<ArgumentNullException>( obj != null ); //code …

10 assertions  code-contracts 

Olay odaklı bir mikro hizmet mimarisindeki değişiklikleri ele almak için seçenekleri araştırdığım bir araştırma projesi yapıyorum. Diyelim ki dört farklı hizmet aldığımız bir uygulama var. Bu hizmetlerin her birinin yerel verileri depolamak için kendi veritabanı vardır. Bu kurulumda, dört hizmet bir Olay Veri Yolu kullanarak birbirleriyle iletişim kurar. Bir hizmette …

9 communication  versioning  microservices  message-queue  code-contracts