]> git.ipfire.org Git - thirdparty/vala.git/commitdiff
Write [NoReturn] in VAPI files
authorJürg Billeter <j@bitron.ch>
Wed, 7 Jul 2010 08:45:25 +0000 (10:45 +0200)
committerJürg Billeter <j@bitron.ch>
Wed, 7 Jul 2010 08:45:25 +0000 (10:45 +0200)
vala/valacodewriter.vala

index 22d9d4ee1d73db2b9140370951563f36b8805600..57209cd43359023b4f887919bc5c63e56a38661b 100644 (file)
@@ -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);