[nem-pl] Traktat o asercjach

[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]; ...
}