[nem-pl] Kolorowanie zmiennych przez inne funkcje

[Kamil Skalski]

Thursday 11 of March 2004 13:27, 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.
>
Przecież to tylko kwestia implementacji makra...
macro @require (body)
syntax ("require", "{", body, "}")   <----------  albo to będzie, albo nie