[nem-pl] Asercje

[Kamil Skalski]

Thursday 24 June 2004 10:24, rzyjontko wrote:
> Paweł W. Olszta wrote:
> > Nie róbmy z Nemerle C, asercje to nie jest debugowanie ;)
> >
> > --disable-assertion-checks
> >
> > Asercje powinny być by default włączone -- wyłączasz je tylko do release
> > build a to się dzieje zazwyczaj tylko raz na jakiś czas.
>
> Nawet w C asercje są domyślnie włączone.  -DNDEBUG je wyłącza.

Pewnie rzeczywiście powinniśmy odróżniać asercje od design by contract, choć 
akurat invarianty są pierwszą rzeczą którą bym wyłączył - one są 
najkosztowniejsze.

Więc jest kilka opcji:
- devel: podczas normalnej pracy nad projektem: asercje włączone, warunki 
włączone, invarianty włączone, wszystko to bez żadnych opcji
- release1: asercje i warunki zostają, invarianty wywalane (opcja 
--no-invariants)
- release2: zostają tylko warunki (--no-invariants --no-assertions)
- release3: wszystko wywalane (--no-invariants --no-assertions) - to zależy co 
rozumiemy przez --no-assertions

Kamil