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

em

Class EM_SHARED_APPLICATION_ID


Known direct descendants

EM_APPLICATION, EM_USER_DIRECTORY, EM_LOCAL_HIGHSCORE

Features

Invariants

indexing

description

Application ID singleton.

date

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

revision

$Revision: 1.1 $

class

EM_SHARED_APPLICATION_ID

feature -- Application ID singleton

application_id: EM_APPLICATION_ID

-- Application ID singleton.

invariant

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

end