user Contracts

Automatic generation produced by ISE Eiffel
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts
indexing
    description: "Objects that represents a general/basic user acount of a web application, which focuses on authentication"
    author: "Marco Piccioni, Peizhu Li"
    date: "$Date$"
    revision: "$0.6$"

class interface
    USER

create 
    make

feature -- Access
--security access data

    username: STRING_8

    password: STRING_8
    
feature -- Status setting

    set_username (a_username: STRING_8)
            --sets username
        require
            username_has_meaning: a_username /= Void and then (not a_username.is_empty)
        ensure
            username_is_set: username = a_username

    set_password (a_password: STRING_8)
            --sets password
        require
            password_has_meaning: a_password /= Void and then (not a_password.is_empty)
        ensure
            password_is_set: password = a_password
    
invariant
    invariant_clause: True

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