using ARRAYED_LIST rather than LINKED_LIST

This commit is contained in:
Jocelyn Fiat
2013-01-30 22:40:29 +01:00
parent 860959879c
commit 4369637140

View File

@@ -26,7 +26,7 @@ feature {NONE} -- Initialization
make_with_value (a_value: WSF_VALUE)
do
name := a_value.name
create {LINKED_LIST [WSF_STRING]} values.make
create {ARRAYED_LIST [WSF_STRING]} values.make (3)
add_value (a_value)
end
@@ -174,7 +174,7 @@ invariant
string_values_not_empty: values.count >= 1
note
copyright: "2011-2012, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others"
copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[
Eiffel Software