[vala] Add postconditions when exiting from methods returning void

[Luca Bruno <lucabru src gnome org>]

commit 53406d2404021c98abde066d89a74e6787c335cc
Author: Luca Bruno <lucabru src gnome org>
Date:   Tue Jun 11 21:39:22 2013 +0200

    Add postconditions when exiting from methods returning void

 codegen/valaccodebasemodule.vala |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/codegen/valaccodebasemodule.vala b/codegen/valaccodebasemodule.vala
index 7b8b6cd..d55d3f7 100644
--- a/codegen/valaccodebasemodule.vala
+++ b/codegen/valaccodebasemodule.vala
@@ -2161,6 +2161,10 @@ public abstract class Vala.CCodeBaseModule : CodeGenerator {
                                        return_out_parameter (param);
                                }
                        }
+                       // check postconditions
+                       foreach (var postcondition in m.get_postconditions ()) {
+                               create_postcondition_statement (postcondition);
+                       }
                } else if (b.parent_symbol is PropertyAccessor) {
                        var acc = (PropertyAccessor) b.parent_symbol;
                        if (acc.value_parameter != null && !acc.value_parameter.captured && requires_destroy 
(acc.value_parameter.variable_type)) {