mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Made WSF_TABLE a TABLE_ITERABLE.

Browse Source
This commit is contained in:
Jocelyn FIAT
2015-12-28 17:40:20 +01:00
parent 5276bd1479
commit 4fc4b02449
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
library/server/wsf/src/request/value/wsf_table.e
View File

@@ -2,8 +2,8 @@ note
description: "[ description: "[
Table which can contain value indexed by a key Table which can contain value indexed by a key
]" ]"
date: "$Date$" date: "$Date: 2015-11-05 21:52:56 +0100 (jeu., 05 nov. 2015) $"
revision: "$Revision$" revision: "$Revision: 98081 $"
class class
WSF_TABLE WSF_TABLE
@@ -14,7 +14,7 @@ inherit
as_string as_string
end end
ITERABLE [WSF_VALUE] TABLE_ITERABLE [WSF_VALUE, READABLE_STRING_32]
create create
make, make,
@@ -193,7 +193,7 @@ feature -- Element change
feature -- Traversing feature -- Traversing
new_cursor: ITERATION_CURSOR [WSF_VALUE] new_cursor: TABLE_ITERATION_CURSOR [WSF_VALUE, READABLE_STRING_32]
do do
Result := values.new_cursor Result := values.new_cursor
end end