[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
- From: Jürg Billeter <j bitron ch>
- To: Ed Schouten <ed fxq nl>
- Cc: vala-list gnome org
- Subject: Re: [Vala] [ANNOUNCE] Vala 0.1.6 - Compiler for the GObject type system
- Date: Tue, 22 Jan 2008 14:14:08 +0100
On Tue, 2008-01-22 at 14:06 +0100, Ed Schouten wrote:
> * 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?
Only run-time assertions at the moment.
Jürg
[Date Prev][Date Next] [Thread Prev][Thread Next]
[Thread Index]
[Date Index]
[Author Index]