Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em

Class EM_SHARED_USER_DIRECTORY


Known direct descendants

EM_LOCAL_HIGHSCORE

Features

Invariants

indexing

description

User Directory singleton.

date

$Date: 2005/10/23 11:15:58 $

revision

$Revision: 1.1 $

class

EM_SHARED_USER_DIRECTORY

feature -- User directory singleton

user_directory: EM_USER_DIRECTORY

-- User directory singleton

ensure
Result.root_path /= void

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end