note description: "[ Constants related to HTTP request method identification ]" date: "$Date$" revision: "$Revision$" class HTTP_REQUEST_METHOD_CONSTANTS inherit HTTP_REQUEST_METHODS feature -- Id head: INTEGER = 0x1 get: INTEGER = 0x2 trace: INTEGER = 0x4 options: INTEGER = 0x8 post: INTEGER = 0x10 put: INTEGER = 0x20 delete: INTEGER = 0x40 connect: INTEGER = 0x80 patch: INTEGER = 0x100 feature -- Name method_empty: STRING = "" feature -- Query method_id (a_id: STRING): INTEGER local s: STRING do s := a_id.as_lower if s.same_string (method_get) then Result := get elseif s.same_string (method_post) then Result := post elseif s.same_string (method_put) then Result := put elseif s.same_string (method_patch) then Result := patch elseif s.same_string (method_delete) then Result := delete elseif s.same_string (method_head) then Result := head elseif s.same_string (method_trace) then Result := trace elseif s.same_string (method_options) then Result := options elseif s.same_string (method_connect) then Result := connect end end method_name (a_id: INTEGER): STRING do inspect a_id when head then Result := method_head when get then Result := method_get when trace then Result := method_trace when options then Result := method_options when post then Result := method_post when put then Result := method_put when patch then Result := method_patch when delete then Result := method_delete when connect then Result := method_connect else Result := method_empty end ensure result_is_upper_case: Result /= Void and then Result.as_upper ~ Result end note copyright: "2011-2011, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end