291bb3a33b
added wsf/session as wsf/wsf_session.ecf In descendants of WSF_HANDLER , we can keep the result of new_mapping as WSF_ROUTER_MAPPING
31 lines
500 B
Plaintext
31 lines
500 B
Plaintext
note
|
|
description: "Summary description for {WSF_SESSION_MANAGER}."
|
|
author: ""
|
|
date: "$Date$"
|
|
revision: "$Revision$"
|
|
|
|
deferred class
|
|
WSF_SESSION_MANAGER
|
|
|
|
feature -- Access
|
|
|
|
session_exists (a_uuid: like {WSF_SESSION}.uuid): BOOLEAN
|
|
deferred
|
|
end
|
|
|
|
session_data (a_uuid: like {WSF_SESSION}.uuid): detachable like {WSF_SESSION}.data
|
|
deferred
|
|
end
|
|
|
|
feature -- Persistence
|
|
|
|
save_session (a_session: WSF_SESSION)
|
|
deferred
|
|
end
|
|
|
|
delete_session (a_session: WSF_SESSION)
|
|
deferred
|
|
end
|
|
|
|
end
|