Fixing issue with HEAD and make_from_iterable

This commit is contained in:
Jocelyn Fiat
2012-06-14 12:28:52 +02:00
parent dbd5e481b8
commit 2b730186a2

View File

@@ -65,7 +65,7 @@ feature {NONE} -- Initialization
across across
v as vc v as vc
loop loop
smart_add_method (vc.item) add_method_using_constant (vc.item)
end end
end end
@@ -330,7 +330,8 @@ feature -- Access
feature {NONE} -- Implementation feature {NONE} -- Implementation
smart_add_method (v: READABLE_STRING_8) add_method_using_constant (v: READABLE_STRING_8)
-- Add method `v' using method_* constant
do do
if v.is_case_insensitive_equal (method_get) then if v.is_case_insensitive_equal (method_get) then
enable_get enable_get
@@ -341,7 +342,7 @@ feature {NONE} -- Implementation
elseif v.is_case_insensitive_equal (method_delete) then elseif v.is_case_insensitive_equal (method_delete) then
enable_delete enable_delete
elseif v.is_case_insensitive_equal (method_head) then elseif v.is_case_insensitive_equal (method_head) then
enable_delete enable_head
elseif v.is_case_insensitive_equal (method_options) then elseif v.is_case_insensitive_equal (method_options) then
enable_options enable_options
elseif v.is_case_insensitive_equal (method_trace) then elseif v.is_case_insensitive_equal (method_trace) then
@@ -353,6 +354,8 @@ feature {NONE} -- Implementation
else else
enable_custom (v) enable_custom (v)
end end
ensure
method_set: has (v.as_upper)
end end
add_method (v: READABLE_STRING_8) add_method (v: READABLE_STRING_8)