[nem-pl] Przyszłościowe pomysły

[Michal Moskal]

On Thu, Mar 11, 2004 at 01:14:23PM +0100, Kamil Skalski wrote:
> > public [Contracted] jakas_funkcja (x : int) : int
> > {
> > 	require { x >= 0 }
> > 	method { x * 2 }
> > 	ensure { value % 2 == 0 }
> > }
> 
> No tak, to jest całkiem fajne, ale jak widzisz [Contracted] i require są 
> trochę w innych miejscach. Implementacje tych dwu rzeczy musiałyby ze sobą 
> jakoś współpracować... hmm, może to nie będzie takie ciężkie.

Makro na metodach o nazwie Contracted, po prostu brałoby metodę i ją
przerabiało (robiąc coś z require i ensure).

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