From: Jürg Billeter <j@bitron.ch>
Date: Wed, 7 Jul 2010 08:45:25 +0000 (+0200)
Subject: Write [NoReturn] in VAPI files
X-Git-Tag: 0.9.3~38
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=10d88e2ee281f742b78a815604b568b84b0c8f32;p=thirdparty%2Fvala.git

Write [NoReturn] in VAPI files
---

diff --git a/vala/valacodewriter.vala b/vala/valacodewriter.vala
index 22d9d4ee1..57209cd43 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);