Made WSF_ROUTER_METHODS.new_cursor an INDEXABLE_ITERATION_CURSOR which is richer than just ITERATION_CURSOR

2012-11-23 10:07:33 +01:00
parent fdd40ff08d
commit ee13393a91
1 changed files with 1 additions and 1 deletions
--- a/library/server/wsf/router/wsf_router_methods.e
+++ b/library/server/wsf/router/wsf_router_methods.e
@@ -96,7 +96,7 @@ feature -- Status report

 feature -- Access

-	new_cursor: ITERATION_CURSOR [READABLE_STRING_8]
+	new_cursor: INDEXABLE_ITERATION_CURSOR [READABLE_STRING_8]
 			-- Fresh cursor associated with current structure
 		do
 			Result := methods.new_cursor