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

em.video.video_decoder

Class EM_SHARED_VIDEO_DECODER_FACTORY



Features

Invariants

indexing

description

Shared access to video decoder factory singleton.

date

$Date: 2005/10/23 11:03:49 $

revision

$Revision: 1.3 $

class

EM_SHARED_VIDEO_DECODER_FACTORY

feature -- Singleton access

video_decoder_factory: EM_VIDEO_DECODER_FACTORY

-- Video decoder factory singleton

ensure
video_decoder_factory_not_void: Result /= Void

invariant

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

end