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

em

Class EM_APPLICATION_ID



Features

Invariants

indexing

description

Identificating name for the application (doesn't contain any special characters)

date

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

revision

$Revision: 1.2 $

class

EM_APPLICATION_ID

feature -- Access

item: STRING

-- Application ID

feature -- Element change

set (an_id: like item)

-- Set the ID

require
valid_id: is_valid (an_id)
ensure
item_set: item.is_equal (an_id)

feature -- Implementation

is_valid (an_id: like item): BOOLEAN

-- Check the validity of a 'an_id'. 'an_id' may only have characters
-- that are characters, digits and the characters '_' and '.'

require
id_not_void: an_id /= void

invariant

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

end