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

em

Class EM_USER_DIRECTORY


Direct ancestors

EM_SHARED_APPLICATION_ID

Creation

Features

Invariants

indexing

description

Gives the path to a directory where the application can save data.

date

$Date: 2005/10/24 11:55:25 $

revision

$Revision: 1.2 $

class

EM_USER_DIRECTORY

inherit

EM_SHARED_APPLICATION_ID

create

make

-- creation procedure

require
application_id_set: application_id.item /= void

feature -- Access

item: STRING

-- get the user directory path

require
app_id_set: application_id.item /= void
application_group_name_set: application_group_name /= void
root_path: STRING

feature -- Element change

set_application_group_name (an_application_group_name: like application_group_name)

-- Set application_group_name to an_application_group_name.

ensure
application_group_name_assigned: application_group_name = an_application_group_name

feature -- Initialize

make

-- creation procedure

require
application_id_set: application_id.item /= void

feature -- Application ID singleton

application_id: EM_APPLICATION_ID

-- Application ID singleton.

-- (From EM_SHARED_APPLICATION_ID)

invariant


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

end