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

em.video.video_decoder

Class EM_VIDEO_DECODER_FACTORY


Direct ancestors

EM_VIDEO_DECODER_CONSTANTS, EM_SHARED_ERROR_HANDLER, KL_SHARED_FILE_SYSTEM

Creation

Features

Invariants

indexing

description

Singleton factory that creates objects of type EM_VIDEO_DECODER.
Use EM_SHARED_VIDEO_DECODER_FACTORY to access this singleton.

date

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

revision

$Revision: 1.8 $

class

EM_VIDEO_DECODER_FACTORY

create {EM_SHARED_VIDEO_DECODER_FACTORY}

default_create

-- Process instances of classes with no creation clause.
-- (Default: do nothing.)

-- (From ANY)

feature -- Access

last_video_decoder: EM_VIDEO_DECODER

-- Last video decoder created

feature -- Video decoder creation

create_video_decoder_from_file (a_filename: STRING)

-- Create video decoder and initialize it using the data
-- from the file named a_filename. Make resulting video decoder
-- available via last_video_decoder. If the video could not be
-- loaded or the video decoder could not be created raise
-- an exception.

require
a_filename_not_void: a_filename /= Void
ensure
loaded_if_created: last_video_decoder /= Void implies last_video_decoder.is_loaded

invariant


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

end