PageRenderTime 231ms CodeModel.GetById 228ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 1note
 2	description: "Summary description for {HTTPD_EXECUTION_VARIABLES}."
 3	legal: "See notice at end of class."
 4	status: "See notice at end of class."
 5	date: "$Date$"
 6	revision: "$Revision$"
 7
 8class
 9	HTTPD_EXECUTION_VARIABLES
10
11inherit
12	HTTPD_VARIABLES
13		undefine
14			copy, is_equal
15		end
16
17	HASH_TABLE [STRING, STRING]
18
19create
20	make
21
22feature -- Status report
23
24	variable (a_name: STRING): detachable STRING_8
25		do
26			Result := item (a_name)
27		end
28
29	has_variable (a_name: STRING): BOOLEAN
30		do
31			Result := has (a_name)
32		end
33
34feature -- Element change
35
36	replace_variable (v: STRING; k: STRING)
37			-- Replace variable `k'
38		do
39			force (v, k)
40		end
41
42	add_variable (v: STRING; k: STRING)
43			-- Add variable `k' with value `v'
44		require
45			k_attached: k /= Void
46			v_attached: k /= Void
47		do
48			force (v, k)
49		end
50
51	delete_variable (k: STRING)
52			-- Remove variable `k'
53		require
54			k_attached: k /= Void
55		do
56			remove (k)
57		end
58
59note
60	copyright: "Copyright (c) 1984-2011, Eiffel Software and others"
61	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
62	source: "[
63			Eiffel Software
64			5949 Hollister Ave., Goleta, CA 93117 USA
65			Telephone 805-685-1006, Fax 805-685-6869
66			Website http://www.eiffel.com
67			Customer support http://support.eiffel.com
68		]"
69end