On Tue, 2008-01-22 at 14:06 +0100, Ed Schouten wrote:
> * 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?Only run-time assertions at the moment. Jürg _______________________________________________ Vala-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/vala-list
