session_manager Chart

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
deferred class
    SESSION_MANAGER

General
    cluster: webex
    description: "Objects help retrieving/saving/deleting sessions"

Ancestors
    ANY

Queries
    generate_session_id: STRING_8
    get_session (sid: STRING_8): SESSION
    session_id_length: INTEGER_32

Commands
    cleanup
    delete_session (sid: STRING_8)
    save_session (sid: STRING_8; session: SESSION)

Constraints
    invariant clause

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com