* Jürg Billeter <[EMAIL PROTECTED]> wrote:
> interface Foo {
>       public abstract int bar (int x)
>               requires (x > 0)
>               ensures (result > 0);
> }

Is this turned into run-time assertions, or is there some compile-time
range checking?

-- 
 Ed Schouten <[EMAIL PROTECTED]>
 WWW: http://g-rave.nl/

Attachment: pgppH3ioC6gtq.pgp
Description: PGP signature

_______________________________________________
Vala-list mailing list
Vala-list@gnome.org
http://mail.gnome.org/mailman/listinfo/vala-list

Reply via email to