Pertanyaan yang diberi tag «code-contracts»

Baru-baru ini saya menemukan kerangka kerja Microsoft untuk kontrak kode. Saya membaca sedikit dokumentasi dan mendapati diri saya terus-menerus bertanya: "Mengapa saya ingin melakukan ini, karena tidak dan sering tidak dapat melakukan analisis statis." Sekarang, saya sudah memiliki semacam gaya pemrograman defensif, dengan menjaga pengecualian seperti ini: if(var == null) …

26 code-contracts 

Saya belajar tentang kontrak kode di .NET, dan saya mencoba memahami gagasan konstruktor murni. The kontrak Kode negara dokumentasi: Semua metode yang disebut dalam kontrak harus murni; yaitu, mereka tidak boleh memperbarui keadaan yang sudah ada sebelumnya. Metode murni diizinkan untuk memodifikasi objek yang telah dibuat setelah masuk ke metode …

19 c#  .net  code-contracts  pure-function 

Saya seorang programmer yang agak defensif dan penggemar berat Kontrak Kode Microsoft. Sekarang saya tidak bisa selalu menggunakan C # dan dalam kebanyakan bahasa satu-satunya alat yang saya miliki adalah pernyataan. Jadi saya biasanya berakhir dengan kode seperti ini: class { function() { checkInvariants(); assert(/* requirement */); try { /* …

13 testing  code-contracts 

Saya penggemar tulisan, kontrak, atau jenis cek apa pun yang tersedia dalam bahasa yang saya gunakan. Satu hal yang sedikit mengganggu saya adalah bahwa saya tidak yakin apa praktik umum untuk menangani cek duplikat. Contoh situasi: Saya pertama-tama menulis fungsi berikut void DoSomething( object obj ) { Contract.Requires<ArgumentNullException>( obj != …

10 assertions  code-contracts 

Saya sedang melakukan proyek penelitian di mana saya meneliti opsi untuk menangani perubahan dalam arsitektur layanan-mikro yang didorong oleh peristiwa. Jadi, katakanlah kita punya aplikasi di mana kita mendapat empat layanan berbeda. Setiap layanan ini memiliki database sendiri untuk menyimpan data lokal. Dalam pengaturan ini, keempat layanan berkomunikasi satu sama …

9 communication  versioning  microservices  message-queue  code-contracts