session Chart

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
class
    SESSION

General
    cluster: webex
    description: "Objects used to hold http session state."
    create: make

Ancestors
    ANY

Queries
    creation_time: DATE_TIME
    expiration_time: DATE_TIME
    expired: BOOLEAN
    get_attribute (name: STRING_8): ANY
    has_attribute (name: STRING_8): BOOLEAN
    object_list: HASH_TABLE [ANY, STRING_8]
    session_id: STRING_8

Commands
    delete_attribute (name: STRING_8)
    make
    set_attribute (name: STRING_8; obj: ANY)
    set_expiration_after_seconds (seconds: INTEGER_32)
    set_expiration_time (expiration: DATE_TIME)
    set_session_id (sid: STRING_8)

Constraints
    invariant clause

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com