[vala] CodeWriter: Write [Diagnostics] attribute

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

commit ac15602ec3593ac07be86fa5cad476bd6fa50b4e
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 49806e0..e016c2f 100644
--- a/vala/valacodewriter.vala
+++ b/vala/valacodewriter.vala
@@ -1034,6 +1034,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);