[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: [Vala] [ANNOUNCE] Vala 0.1.6 - Compiler for the GObject type system



* Jürg Billeter <j bitron ch> 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 <ed fxq nl>
 WWW: http://g-rave.nl/

Attachment: pgpsUWRo4gZIW.pgp
Description: PGP signature



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]