user Chart

Automatic generation produced by ISE Eiffel

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

General
    cluster: webex
    description: "Objects that represents a general/basic user acount of a web application, which focuses on authentication"
    create: make

Ancestors
    ANY

Queries
    password: STRING_8
    username: STRING_8

Commands
    set_password (a_password: STRING_8)
    set_username (a_username: 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