[nem-pl] Traktat o asercjach

[olszta at tey.pl]

Cytowanie olszta at tey.pl:

> 
> Asercje w blokach wykonywalnych:
> 
> require { [warunek1]; [warunek2]; ... }
> guard { [warunek1]; [warunek2]; ... }
> ensure { [warunek1]; [warunek2]; ... }
> 
> 
> Transakcje (dla guard):
> 
> transaction
> {
> 
> }
> 
> Asercje na poziomie zmiennych (straznicy):
> 
> guarded [nazwa zmiennej] : [typ]
> {
>   [warunek1]; [warunek2]; ...
> }
> 
> 
> 
> _______________________________________________
> https://nemerle.org/mailman/listinfo/devel-pl
> 

Ja przepraszam, wcisnelo mi sie ctrl+x...