[vala/0.10] CodeWriter: Write [Diagnostics] attribute

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

commit 108bca2437e8a4f697610c2d360e61f413f118cf
Author: Jürg Billeter <j bitron ch>
Date:   Tue Mar 1 11:13:10 2011 +0100

    CodeWriter: Write [Diagnostics] attribute

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