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

em.utility

Class EM_FILE_LOADER


Direct ancestors

EM_SHARED_BITMAP_FACTORY, EM_SHARED_AUDIO_FACTORY, EM_SHARED_ERROR_HANDLER, KL_SHARED_FILE_SYSTEM

Creation

Features

Invariants

indexing

description

Makes filehandling easier

date

$Date: 2005/10/25 08:23:19 $

revision

$Revision: 1.20 $

class

EM_FILE_LOADER

create {EM_SHARED_FILE_LOADER}

make

-- Create new file_loader

ensure
ignore_missing_file_is_deactivated: ignore_missing_file = false

feature -- Access

last_animation: EM_ANIMATION

-- Last animation created

last_bitmap: EM_BITMAP

-- Last bitmap created

last_bmp_font: EM_BMP_FONT

-- Last bitmapfont created

last_music: EM_MUSIC

-- Last music created

last_sound: EM_SOUND

-- Last sound created

last_sprite: EM_SPRITE

-- Last sprite created

last_text_file: PLAIN_TEXT_FILE

-- Last textfile created

last_ttf_font: EM_COLOR_TTF_FONT

-- Last color ttf-font created

feature -- Status report

file_exists (a_filename: STRING): BOOLEAN

-- Does file a_filename exist?

require
a_filename_not_void: a_filename /= void
file_extension (a_filename: STRING): STRING

-- Returns the file-extension of a_filename

require
a_filename_not_void: a_filename /= void
has_error: BOOLEAN

-- Did an error occured?

ignore_missing_file: BOOLEAN

-- Go on if not able to load file?

feature -- Init

make

-- Create new file_loader

ensure
ignore_missing_file_is_deactivated: ignore_missing_file = false

feature -- load text files

create_text_file_read_write (a_filename: STRING)

-- create new text file, read/write-mode

ensure
last_text_file_not_void_or_exception: last_text_file /= void or Error_handler.has_error_occured
load_text_file_append (a_filename: STRING)

-- load file to append

ensure
last_text_file_not_void_or_exception: last_text_file /= void or Error_handler.has_error_occured
load_text_file_or_create (a_filename:STRING)

-- load file a_filename if exists else create empty file

ensure
last_text_file_not_void_or_exception: last_text_file /= void or Error_handler.has_error_occured
load_text_file_read (a_filename: STRING)

-- load to read

ensure
last_text_file_not_void_or_exception: last_text_file /= void or Error_handler.has_error_occured
load_text_file_read_write (a_filename: STRING)

-- load file to read or write

ensure
last_text_file_not_void_or_exception: last_text_file /= void or Error_handler.has_error_occured
load_text_file_write (a_filename: STRING)

-- load file to write

ensure
last_text_file_not_void_or_exception: last_text_file /= void or Error_handler.has_error_occured

feature -- load drawable element

load_animation (a_filename: STRING)

-- load a_filename animation

ensure
last_animation_not_void_or_exception: last_animation /= void or Error_handler.has_error_occured
load_bitmap (a_filename: STRING)

-- load a_filename to last_bitmap_file

ensure
last_bitmap_not_void_or_exception: last_bitmap /= void or Error_handler.has_error_occured
load_bmp_font (a_filename: STRING)

-- load a_filename bitmap-font

ensure
last_bmp_font_not_void_or_exception: last_bmp_font /= void or Error_handler.has_error_occured
load_sprite (a_filename: STRING; an_x, a_y:INTEGER)

-- load a_filename animation

ensure
last_sprite_not_void_or_exception: last_sprite /= void or Error_handler.has_error_occured
load_ttf_font (a_filename: STRING; a_point_size: INTEGER)

-- load a_filename ttf-font

ensure
last_ttf_font_not_void_or_exception: last_ttf_font /= void or Error_handler.has_error_occured

feature -- load sound

load_music_file (a_filename: STRING)

-- load a_filename to last_music_file

ensure
last_music_not_void_or_exception: last_music /= void or Error_handler.has_error_occured
load_sound_file (a_filename: STRING)

-- load a_filename to last_sound_file

ensure
last_sound_not_void_or_exception: last_sound /= void or Error_handler.has_error_occured

feature -- Set status

reset_error

-- set has_error to false

ensure
has_error_is_reseted: has_error = false
set_ignore_missing_file (a_bool: BOOLEAN)

-- set igrnore_missing_file

ensure
state_is_set: ignore_missing_file = a_bool
wipeout

-- set all last_ -values void

ensure
all_last_video_items_are_void: last_animation = void and last_bitmap = void and last_sprite = void
all_last_font_itmes_are_void: last_bmp_font = void and last_ttf_font = void
all_last_audio_items_are_void: last_sound = void and last_music = void
last_text_file_is_void: last_text_file = void

invariant

text_opening_event_not_void: text_opening_event /= void
current_filename_is_not_void: current_filename /= void

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

end