session_manager Contracts

Automatic generation produced by ISE Eiffel
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
indexing
    description: "Objects help retrieving/saving/deleting sessions"
    author: "Peizhu Li, <lip@student.ethz.ch>"
    date: "05.01.2008"
    revision: "$0.6$"

deferred class interface
    SESSION_MANAGER

feature -- attributes	

    session_id_length: INTEGER_32
            -- number of digits/characters used for session id
    
feature -- operations

    generate_session_id: STRING_8
            -- generate a new session id

    get_session (sid: STRING_8): SESSION
            -- retrieve the saved session object with given session_id
            -- otherwise return void
        require
            sid_session_valid: sid /= Void and then not sid.is_empty

    save_session (sid: STRING_8; session: SESSION)
            -- save given session information
        require
            sid_session_valid: sid /= Void and then not sid.is_empty and then session /= Void

    delete_session (sid: STRING_8)
            -- delete a session based on given id

    cleanup
            -- consolidate saved session information, clean-up expired/invalid sessions in storage (files/db)
    
invariant
    invariant_clause: True

end -- class SESSION_MANAGERClasses Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
-- Generated by ISE Eiffel --
For more details: www.eiffel.com