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

used across for assertion

Browse Source
This commit is contained in:
Colin Adams
2013-03-14 14:45:31 +00:00
parent 4ec2832375
commit a96a143fe0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
library/server/wsf/router/wsf_request_methods.e
View File

@@ -65,7 +65,7 @@ feature {NONE} -- Initialization
make_from_iterable (v: ITERABLE [READABLE_STRING_8]) make_from_iterable (v: ITERABLE [READABLE_STRING_8])
-- Initialize for all methods named by `v'. -- Initialize for all methods named by `v'.
require require
v_all_methods_attached: v /= Void and then True -- Can this be specified using across? It's annoying that ITERABLE doesn't have for_all. v_all_methods_attached: v /= Void and then across v as c all c.item /= Void end
do do
make (1) make (1)
add_methods (v) add_methods (v)