/library/server/httpd/interface/variable/httpd_execution_variables.e
http://github.com/jocelyn/EiffelWebReloaded · Specman e · 69 lines · 54 code · 12 blank · 3 comment · 1 complexity · fb25151d1f124223b4cf8d3a60e8daee MD5 · raw file
- note
- description: "Summary description for {HTTPD_EXECUTION_VARIABLES}."
- legal: "See notice at end of class."
- status: "See notice at end of class."
- date: "$Date$"
- revision: "$Revision$"
- class
- HTTPD_EXECUTION_VARIABLES
- inherit
- HTTPD_VARIABLES
- undefine
- copy, is_equal
- end
- HASH_TABLE [STRING, STRING]
- create
- make
- feature -- Status report
- variable (a_name: STRING): detachable STRING_8
- do
- Result := item (a_name)
- end
- has_variable (a_name: STRING): BOOLEAN
- do
- Result := has (a_name)
- end
- feature -- Element change
- replace_variable (v: STRING; k: STRING)
- -- Replace variable `k'
- do
- force (v, k)
- end
- add_variable (v: STRING; k: STRING)
- -- Add variable `k' with value `v'
- require
- k_attached: k /= Void
- v_attached: k /= Void
- do
- force (v, k)
- end
- delete_variable (k: STRING)
- -- Remove variable `k'
- require
- k_attached: k /= Void
- do
- remove (k)
- end
- note
- copyright: "Copyright (c) 1984-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