Added WSF_REQUEST.has_execution_variable (a_name): BOOLEAN

Since the related value can be Void.
2013-05-14 18:17:48 +02:00
parent a065cfb2b5
commit 654561bcbc
1 changed files with 8 additions and 0 deletions
--- 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