dotnetomaniak.pl - Artykuły z tagiem code contracts

O kontraktach już kiedyś pisałem tutaj. Dziś z kolei zaprezentuję bardzo złą praktyką, czasami niestety jeszcze spotykaną tzn.:interface IDataFilter { IEnumerable

Piotr Zieliński » Code Review: Złe użycie kontraktów w interfejsach

Sztuka programowania 2943 dni, 21 godzin, 25 minut temu pzielinski 224 źrodło rozwiń

W teorii są 3 rodzaje kontraktów. Podejdę wg mnie praktycznie i opowiem głównie o pierwszym (Requires), z pozostałych dwóch rzadko kto korzysta. Requires używa się do sprawdzania argumentów przekazanych do metody.

Dziel się z innymi:
Code contracts | Show me the code

Sztuka programowania 3155 dni, 3 godziny, 24 minuty temu lkurzyniec 116 źrodło rozwiń

Code Contracts stanowią kolejny mechanizm ułatwiający programowanie defensywne – sposób wytwarzania oprogramowania odporny na wszelkie niespodziewane wartości (NULL, dzielenie przez zero, wartości skrajne itd.) Rozważmy klasyczny przykład – funkcja dzielenia:privatefloat Divide(float dividend, float divisor) { if (divisor ==0) thrownew DivideByZeroException(); return dividend / divisor; } Funkcja jest zaimplementowana poprawnie – sprawdza czy divisor nie jest zerem. Są jeszcze inne skra...

Piotr Zieliński » Code Contracts–programowanie defensywne

Architektura 3553 dni, 6 godzin, 12 minut temu pzielinski 239 źrodło rozwiń

Design by Contract (TM) to technika programowania defensywnego, postulująca jawne specyfikowanie interfejsów komponentów, np. poprzez deklarowanie warunków, które muszą spełniać argumenty metod (to w zasadzie najczęstszy przypadek). Zwykle w projektach realizujemy to wymaganie albo poprz...

Źródło: rafalb.com
Dziel się z innymi:
Zastosowanie Code Contracts

Architektura 3938 dni, 7 godzin, 42 minuty temu paduda 89 źrodło rozwiń

DbC - czyli wyraź swoje intencje Dzisiaj nieco koncepcyjnie (no tak - a kiedy nie było :)) na temat idei kontraktów, tego jak podchodzić z tą myślą do projektowania i implementacji. O czym konkretnie myśleć i w ogóle PO CO w ten sposób myśleć. Sama idea Design by Contract wprowadzona została przez twórców języka Eiffel. Nie wiem co panowie mieli na myśli jeśli chodzi o ideologię, lecz zwykle przedstawiana jest przez wprowadzenie pojęć: wymagania (precondition) - warunki wejściowe kontraktu,zapew...

Źródło: zine.net.pl
Dziel się z innymi:
Cold Fusion : DbC - czyli wyraź swoje intencje

Architektura 4361 dni, 9 godzin, 42 minuty temu Paweł Łukasik 16 źrodło rozwiń

Ostatnio popełniłem post na temat co to jest Code Contracts i na czym to polega. Teraz stwierdziłem, iż przyda się kilka informacji na temat ich debugowania – w szczególności iż kod ma działać jak warunki pre i post  i jak to zostało zorganizowane. Żeby nie odkrywać ameryki na nowo, w tym celu wykorzystam przykłady zawarte w instalce CC, a które znajdują się w katalogu: C:\Program Files\Microsoft\Contracts\Samples Na pierwszy ogień weźmy przykład Rational. Otwórzmy plik soluti...

Źródło: zine.net.pl
Dziel się z innymi:
.neting in the free world : Debugowanie Code Contracts

Inne 4493 dni, 13 godzin, 10 minut temu Paweł Łukasik 27 źrodło rozwiń

Gutek o CodeContracts w .NET 4.0.

Źródło: zine.net.pl
Dziel się z innymi:
.neting in the free world : Code Contracts - {P} C {Q}

Inne 4508 dni, 10 godzin, 30 minut temu Procent 50 źrodło rozwiń

sierpień

27.
dynamIT 2021
Kraków, Browar Lubicz, ul. Lubicz 17J

październik

Najaktywniejsi

1
(32 895,6)
2
(32 816,53)
3
(27 178,29)
4
(21 178,88)
5
(20 336,33)
6
(13 018,14)
7
(10 531,65)
8
(9 790,28)
9
(8 866,31)
10
(6 837,96)
11
(6 214,22)
12
(5 393,84)
13
(4 157,41)
14
(4 026,73)
15
(3 908,07)
16
(3 599,64)
17
(3 448,35)
18
(3 318,39)
19
(3 224,66)
20
(3 221,45)