mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-08 15:52:26 +01:00
Used "make_filled" versus "make".
Author:halw Date:2010-03-04T20:56:32.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@503 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -39,15 +39,15 @@ feature
|
|||||||
l_tab: ARRAY [BOOLEAN]
|
l_tab: ARRAY [BOOLEAN]
|
||||||
do
|
do
|
||||||
create Result.make
|
create Result.make
|
||||||
create l_tab.make (2, a_limit)
|
create l_tab.make_filled (True, 2, a_limit)
|
||||||
across
|
across
|
||||||
l_tab as ic
|
l_tab as ic
|
||||||
loop
|
loop
|
||||||
if not ic.item then
|
if ic.item then
|
||||||
Result.extend (ic.target_index)
|
Result.extend (ic.target_index)
|
||||||
across ((ic.target_index + ic.target_index) |..| l_tab.upper).new_cursor.with_step (ic.target_index) as id
|
across ((ic.target_index + ic.target_index) |..| l_tab.upper).new_cursor.with_step (ic.target_index) as id
|
||||||
loop
|
loop
|
||||||
l_tab [id.item] := True
|
l_tab [id.item] := False
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|||||||
Reference in New Issue
Block a user