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

[Jürg Billeter <j bitron ch>]

On Sun, 2008-01-20 at 20:23 +0100, Michael 'Mickey' Lauer wrote:
> Jürg Billeter wrote:
> >  * Add support for instance delegates.

public delegate void Maman.InstanceCallback ();

class Maman.Bar : GLib.Object {
	void do_instance_action () { }
	static void main (string[] args) {
		var bar = new Bar ();
		InstanceCallback instance_cb = bar.do_instance_action;

		// this calls do_instance_action on bar
		instance_cb ();
	}
}

> >  * Support conditional method compilation.

[Conditional (condition = "CONDITION")]
public void foo () { }

This method will be ignored unless you pass -D CONDITION to valac.

> >  * Add basic support for method pre- and postconditions.

interface Foo {
	public abstract int bar (int x)
		requires (x > 0)
		ensures (result > 0);
}

> Anyone with short examples for the new language features among these?

Hope that helps,

Jürg