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
User directory singleton
user_directory
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
User Directory singleton.