user_manager Chart

Automatic generation produced by ISE Eiffel

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

General
    cluster: webex
    description: "Deferred Class that is a template for all User Data Access Classes"

Ancestors
    ANY

Queries
    encryptor: ENCRYPTOR
    get_user_by_name (username: STRING_8): USER
    is_user_authentication_valid (username, pass: STRING_8): BOOLEAN
    user_count: INTEGER_32
    user_list: HASH_TABLE [USER, STRING_8]
    username_defined (username: STRING_8): BOOLEAN

Commands
    add_user (a_user: USER)
    delete_user_by_name (username: STRING_8)
    persist_data
    set_encryptor (cryptor: ENCRYPTOR)
    update_user (a_user: USER)

Constraints
    invariant clause

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com