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

em.utility

Class EM_SHARED_FILE_LOADER


Known direct descendants

EM_3D_OBJ_LOADER

Features

Invariants

indexing

description

Singleton for EM_FILE_LOADER

date

$Date: 2005/10/23 10:36:32 $

revision

$Revision: 1.3 $

class

EM_SHARED_FILE_LOADER

feature -- Singleton access

file_loader: EM_FILE_LOADER

-- File Loader factory singleton

ensure
file_loader_not_void: Result /= Void

invariant

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

end