From 654561bcbcec359e9200107fca893b9383f68fff Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 14 May 2013 18:17:48 +0200 Subject: [PATCH] Added WSF_REQUEST.has_execution_variable (a_name): BOOLEAN Since the related value can be Void. --- library/server/wsf/src/wsf_request.e | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/library/server/wsf/src/wsf_request.e b/library/server/wsf/src/wsf_request.e index f460180a..029be9d1 100644 --- a/library/server/wsf/src/wsf_request.e +++ b/library/server/wsf/src/wsf_request.e @@ -486,6 +486,14 @@ feature -- Helpers: global variables feature -- Execution variables + has_execution_variable (a_name: READABLE_STRING_GENERAL): BOOLEAN + -- Has execution variable related to `a_name'? + require + a_name_valid: a_name /= Void and then not a_name.is_empty + do + Result := execution_variables_table.has (a_name) + end + execution_variable (a_name: READABLE_STRING_GENERAL): detachable ANY -- Execution variable related to `a_name' require