/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

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