added WSF_VALUE.is_empty: BOOLEAN

This commit is contained in:
Jocelyn Fiat
2012-09-10 16:27:16 +02:00
parent fbd9cb9588
commit 795f82d51f
5 changed files with 30 additions and 6 deletions

View File

@@ -35,6 +35,12 @@ feature -- Status report
deferred
end
is_empty: BOOLEAN
-- Is Current empty?
--| i.e empty string, empty table, ...
deferred
end
feature -- Query
as_string: WSF_STRING