From 252ea469d956c1b44e6368305f63802a1317429e Mon Sep 17 00:00:00 2001 From: Luca Bruno Date: Sat, 4 May 2013 11:30:05 +0200 Subject: [PATCH] vala: Fix result var for pre/post conditions --- vala/valasubroutine.vala | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/vala/valasubroutine.vala b/vala/valasubroutine.vala index 0ef8bf333..14e2b963b 100644 --- a/vala/valasubroutine.vala +++ b/vala/valasubroutine.vala @@ -32,10 +32,20 @@ public abstract class Vala.Subroutine : Symbol { /** * Specifies the generated `result` variable for postconditions. */ - public LocalVariable result_var { get; set; } + public LocalVariable result_var { + get { return _result_var; } + set { + _result_var = value; + if (_result_var != null) { + scope.add ("result", _result_var); + } + } + } public abstract bool has_result { get; } + private LocalVariable _result_var; + protected Subroutine (string? name, SourceReference? source_reference, Comment? comment = null) { base (name, source_reference, comment); } -- 2.47.2