Use STRING_TABLE for the implementation of session data container. Added a few missing comments.
52 lines
1.0 KiB
Plaintext
52 lines
1.0 KiB
Plaintext
note
|
|
description: "Summary description for {WSF_SESSION_DATA}."
|
|
author: ""
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
|
|
class
|
|
WSF_SESSION_DATA
|
|
|
|
inherit
|
|
STRING_TABLE [detachable ANY]
|
|
rename
|
|
make as old_make,
|
|
make_caseless as make
|
|
redefine
|
|
empty_duplicate
|
|
end
|
|
|
|
create
|
|
make
|
|
|
|
feature -- Access
|
|
|
|
expiration: detachable DATE_TIME
|
|
|
|
feature -- Element change
|
|
|
|
set_expiration (dt: like expiration)
|
|
do
|
|
expiration := dt
|
|
end
|
|
|
|
feature {NONE} -- Duplication
|
|
|
|
empty_duplicate (n: INTEGER): like Current
|
|
-- Create an empty copy of Current that can accommodate `n' items
|
|
do
|
|
create Result.make (n)
|
|
end
|
|
|
|
note
|
|
copyright: "2011-2014, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, 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
|