From: Juerg Billeter <j@bitron.ch>
Date: Wed, 23 Apr 2008 21:12:33 +0000 (+0000)
Subject: re-add support for pre- and postconditions
X-Git-Tag: VALA_0_3_2~71
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ff2c9be570fde7acdce99c19cdd18b6e380d5b9;p=thirdparty%2Fvala.git

re-add support for pre- and postconditions

2008-04-23  Juerg Billeter  <j@bitron.ch>

	* vala/valaparser.vala: re-add support for pre- and postconditions

svn path=/trunk/; revision=1312
---

diff --git a/ChangeLog b/ChangeLog
index de4beafe0..b2a0baf0d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-04-23  Jürg Billeter  <j@bitron.ch>
+
+	* vala/valaparser.vala: re-add support for pre- and postconditions
+
 2008-04-23  Jürg Billeter  <j@bitron.ch>
 
 	* vapi/glib-2.0.vapi: fix g_signal_* bindings,
diff --git a/vala/valaparser.vala b/vala/valaparser.vala
index e63d6b840..1a9e7fe47 100644
--- a/vala/valaparser.vala
+++ b/vala/valaparser.vala
@@ -2121,6 +2121,16 @@ public class Vala.Parser : CodeVisitor {
 				method.add_error_domain (parse_type ());
 			} while (accept (TokenType.COMMA));
 		}
+		while (accept (TokenType.REQUIRES)) {
+			expect (TokenType.OPEN_PARENS);
+			method.add_precondition (parse_expression ());
+			expect (TokenType.CLOSE_PARENS);
+		}
+		while (accept (TokenType.ENSURES)) {
+			expect (TokenType.OPEN_PARENS);
+			method.add_postcondition (parse_expression ());
+			expect (TokenType.CLOSE_PARENS);
+		}
 		if (!accept (TokenType.SEMICOLON)) {
 			method.body = parse_block ();
 		}