[vala] Write [NoReturn] in VAPI files

[Jürg Billeter <juergbi src gnome org>]

commit 10d88e2ee281f742b78a815604b568b84b0c8f32
Author: Jürg Billeter <j bitron ch>
Date:   Wed Jul 7 10:45:25 2010 +0200

    Write [NoReturn] in VAPI files

 vala/valacodewriter.vala |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/vala/valacodewriter.vala b/vala/valacodewriter.vala
index 22d9d4e..57209cd 100644
--- a/vala/valacodewriter.vala
+++ b/vala/valacodewriter.vala
@@ -955,6 +955,10 @@ public class Vala.CodeWriter : CodeVisitor {
 			write_indent ();
 			write_string ("[Print]");
 		}
+		if (m.get_attribute ("NoReturn") != null) {
+			write_indent ();
+			write_string ("[NoReturn]");
+		}
 
 		emit_deprecated_attribute (m);