From: Jürg Billeter <j@bitron.ch>
Date: Mon, 14 Sep 2009 15:41:50 +0000 (+0200)
Subject: Fix postconditions in namespace methods
X-Git-Tag: 0.7.6~92
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=57cd5f2e6be8d79c5cc6c7096c4a6194bdaa8bc1;p=thirdparty%2Fvala.git

Fix postconditions in namespace methods

Fixes bug 595134.
---

diff --git a/vala/valanamespace.vala b/vala/valanamespace.vala
index 7a31c8f89..b7e16aa34 100644
--- a/vala/valanamespace.vala
+++ b/vala/valanamespace.vala
@@ -378,6 +378,10 @@ public class Vala.Namespace : Symbol {
 			m.error = true;
 			return;
 		}
+		if (!(m.return_type is VoidType) && m.get_postconditions ().size > 0) {
+			m.result_var = new LocalVariable (m.return_type.copy (), "result", null, source_reference);
+			m.result_var.is_result = true;
+		}
 
 		methods.add (m);
 		scope.add (m.name, m);