[nem-pl] Kolorowanie zmiennych przez inne funkcje

[Michal Moskal]

On Thu, Mar 11, 2004 at 01:27:55PM +0100, "Paweł W. Olszta" wrote:
> Michal Moskal wrote:
> 
> >Może tak:
> >
> >public [Contracted] jakas_funkcja (x : int) : int
> >{
> >	require (x >= 0);
> >	x * 2;
> >	ensure (value % 2 == 0);
> >}
> >
> >bez rozszerzeń składni.
> 
> No ale właśnie tak bym nie chciał. Aj ripit, niech by to wyglądało jak 
> properties w C#. To jest naprawdę eleganckie i eye-candy -- poza tym 
> wyraźnie rozdziela kontrakty od metod.

Ok, to zresztą wcale nie jest trudniejsze do zrobienia :)

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++
: When in doubt, use brute force. -- Ken Thompson :: UL++++$ C++ E--- a?