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

em.utility

Class EM_ERROR_HANDLER


Direct ancestors

EM_ERROR_CODES, EM_ERROR_MESSAGES, EXCEPTIONS

Creation

Features

Invariants

indexing

description

Error message handler

date

$Date: 2005/10/23 20:36:21 $

revision

$Revision: 1.17 $

class

EM_ERROR_HANDLER

inherit

EM_ERROR_CODES

create

make

-- Create an error handler instance

ensure
last_error_code_zero: last_error_code = 0
last_error_message_empty: last_error_message.is_empty

feature -- Access

last_error_code: INTEGER

-- Integer representation of last error occured

last_error_message: STRING

-- Message of last error

feature -- Status report

has_error_occured: BOOLEAN

-- True if last_error_code /= 0

is_verbose: BOOLEAN

-- Is error handler printing error messages?

feature -- Status setting

die (code: INTEGER)

-- Terminate execution with exit status code,
-- without triggering an exception.

-- (From EXCEPTIONS)

set_verbose (a_value: like is_verbose)

-- Set is_verbose to a_value.

ensure
is_verbose_set: is_verbose = a_value

feature -- Element change

set_error (an_error_code: like last_error_code)

-- Set last_error_code to an_error_code.

ensure
error_set: last_error_code = an_error_code
error_occured: has_error_occured

feature -- Basic operations

clear_last_error
ensure
last_error_code_zero: last_error_code = 0
last_error_message_empty: last_error_message.is_empty
error_cleared: not has_error_occured
raise_exception (an_error_code: INTEGER; error_data: TUPLE [])

-- Set last_error to error_code, display an error message and raise developer exception.

ensure
error_set: last_error_code = an_error_code
error_message_set: not last_error_message.is_empty
raise_warning (an_error_code: INTEGER; error_data: TUPLE [])

-- Set last_error to error_code and display an error message.

ensure
error_set: last_error_code = an_error_code
error_message_set: not last_error_message.is_empty

feature -- Fileloader

em_error_plain_text_file_does_not_exist: INTEGER

-- Error loading plain_text_file does not exist

-- (From EM_ERROR_CODES)

em_error_plain_text_file_not_readable: INTEGER

-- Error loading plain_text_file is not readable

-- (From EM_ERROR_CODES)

feature -- Miscellaneous error

em_error_not_yet_implemented: INTEGER

-- An error because a feature is not yet implemented

-- (From EM_ERROR_CODES)

em_error_this_should_never_happen: INTEGER

-- An error in a code section which shouldn't have been executed

-- (From EM_ERROR_CODES)

em_error_unknown_event_type: INTEGER

-- Unknown event type occured in event loop

-- (From EM_ERROR_CODES)

em_error_user_event_code_used_by_network: INTEGER

-- User event code in network range

-- (From EM_ERROR_CODES)

feature -- Video Decoder error

em_error_create_video_decoder_from_file: INTEGER

-- Error loading video decoder is no movie file

-- (From EM_ERROR_CODES)

em_error_create_video_decoder_from_file_does_not_exist: INTEGER

-- Error loading movie doesn't exist

-- (From EM_ERROR_CODES)

em_error_create_video_decoder_from_file_not_valid: INTEGER

-- Error loading video decoder is not valid movie file

-- (From EM_ERROR_CODES)

em_error_video_decoder_thread_stopped: INTEGER

-- Error video_decoder thread stopped unexpectedly

-- (From EM_ERROR_CODES)

feature -- Widget errors

em_error_hide_combobox_list_scene_invalid: INTEGER

-- Error while hiding combobox list selection because running scene is no EM_COMPONENT_SCENE

-- (From EM_ERROR_CODES)

em_error_hide_combobox_list_scene_void: INTEGER

-- Error while hiding combobox list selection because running scene is void

-- (From EM_ERROR_CODES)

em_error_show_combobox_list_scene_invalid: INTEGER

-- Error while showing combobox list selection because running scene is no EM_COMPONENT_SCENE

-- (From EM_ERROR_CODES)

em_error_show_combobox_list_scene_void: INTEGER

-- Error while showing combobox list selection because running scene is void

-- (From EM_ERROR_CODES)

em_error_show_window_scene_invalid: INTEGER

-- Error while showing a window because running scene is no EM_COMPONENT_SCENE

-- (From EM_ERROR_CODES)

em_error_show_window_scene_void: INTEGER

-- Error while showing a window because running scene is void

-- (From EM_ERROR_CODES)

feature -- Keyboard error

em_error_disable_repeating_keyboard_events: INTEGER

-- Error while disabling repeating keyboard events

-- (From EM_ERROR_CODES)

em_error_disable_unicode: INTEGER

-- Error while disabling unicode characters

-- (From EM_ERROR_CODES)

em_error_enable_repeating_keyboard_events: INTEGER

-- Error while enabling repeating keyboard events

-- (From EM_ERROR_CODES)

em_error_enable_unicode: INTEGER

-- Error while enabling unicode characters

-- (From EM_ERROR_CODES)

feature -- Font error

em_error_initialising_ttf: INTEGER

-- Error while initialising ttf system

-- (From EM_ERROR_CODES)

em_error_loading_ttf_font: INTEGER

-- Error while loading a ttf font

-- (From EM_ERROR_CODES)

feature -- CDRom Subsystem error

em_error_cdrom_eject: INTEGER

-- Error while trying to eject cdrom

-- (From EM_ERROR_CODES)

em_error_cdrom_pause: INTEGER

-- Error while trying to pause

-- (From EM_ERROR_CODES)

em_error_cdrom_play_track: INTEGER

-- Error while trying to play an audio track

-- (From EM_ERROR_CODES)

em_error_cdrom_resume: INTEGER

-- Error while trying to resume

-- (From EM_ERROR_CODES)

em_error_cdrom_stop: INTEGER

-- Error while trying to stop

-- (From EM_ERROR_CODES)

feature -- Thread error messages

em_error_lock_timedout: INTEGER

-- lock timed out

-- (From EM_ERROR_CODES)

feature -- Network error messages

em_error_connection_failed: INTEGER

-- Changes have to be synchronized with $EM/library/manual_wrapper/net2/net2.h
-- Error connection failed

-- (From EM_ERROR_CODES)

em_error_generating_socket: INTEGER

-- Error during socket creation

-- (From EM_ERROR_CODES)

em_error_net2_error: INTEGER

-- Error in Net2 library occured

-- (From EM_ERROR_CODES)

em_error_net_object_missed: INTEGER

-- Error updating a net object

-- (From EM_ERROR_CODES)

em_error_resolve_ip: INTEGER

-- Changes have to be synchronized with $EM/library/manual_wrapper/net2/net2.h
-- Error resolving host

-- (From EM_ERROR_CODES)

em_error_reverse_resolve_hostname: INTEGER

-- Changes have to be synchronized with $EM/library/manual_wrapper/net2/net2.h
-- Error resolving host

-- (From EM_ERROR_CODES)

em_error_send_failed: INTEGER

-- Changes have to be synchronized with $EM/library/manual_wrapper/net2/net2.h
-- Error connection failed

-- (From EM_ERROR_CODES)

em_error_tcp_open: INTEGER

-- Error trying to obtain port (probably is port alredy in use by another application)

-- (From EM_ERROR_CODES)

em_error_tcp_send: INTEGER

-- Error sending data over tcp socket

-- (From EM_ERROR_CODES)

em_error_udp_open: INTEGER

-- Error opening a udp socket

-- (From EM_ERROR_CODES)

em_error_udp_recv: INTEGER

-- Error receiving a UDP packet

-- (From EM_ERROR_CODES)

em_error_udp_send: INTEGER

-- Error sending a UDP packet

-- (From EM_ERROR_CODES)

feature -- Texture error

em_error_generate_mipmap: INTEGER

-- Error during generaton of mipmap texture

-- (From EM_ERROR_CODES)

em_error_generate_texture: INTEGER

-- Error during generation of texture

-- (From EM_ERROR_CODES)

feature -- Bitmap factory error

em_error_create_bitmap_from_surface_part: INTEGER

-- Error creating empty bitmap

-- (From EM_ERROR_CODES)

em_error_create_empty_alpha_bitmap: INTEGER

-- Error creating empty bitmap

-- (From EM_ERROR_CODES)

em_error_create_empty_alpha_surface: INTEGER

-- Error creating empty alpha surface

-- (From EM_ERROR_CODES)

em_error_create_empty_bitmap: INTEGER

-- Error creating empty bitmap

-- (From EM_ERROR_CODES)

em_error_create_empty_opengl_bitmap: INTEGER

-- Error creating empty bitmap

-- (From EM_ERROR_CODES)

em_error_create_empty_surface: INTEGER

-- Error creating empty surface

-- (From EM_ERROR_CODES)

em_error_create_rotated_bitmap: INTEGER

-- Error creating rotated bitmap

-- (From EM_ERROR_CODES)

em_error_create_stretched_bitmap: INTEGER

-- Error creating zoomed bitmap

-- (From EM_ERROR_CODES)

em_error_create_transformed_bitmap: INTEGER

-- Error creating zoomed bitmap

-- (From EM_ERROR_CODES)

em_error_create_zoomed_bitmap: INTEGER

-- Error creating zoomed bitmap

-- (From EM_ERROR_CODES)

em_error_loading_image: INTEGER

-- Error loading image

-- (From EM_ERROR_CODES)

em_error_loading_image_does_not_exist: INTEGER

-- Error loading image doesn't exist

-- (From EM_ERROR_CODES)

em_error_loading_image_format_not_supported: INTEGER

-- Error loading image is no image file

-- (From EM_ERROR_CODES)

feature -- Video error messages

em_error_apply_rotozoom: INTEGER

-- Error applying rotozoom of surface

-- (From EM_ERROR_CODES)

em_error_blit_surface: INTEGER

-- Error blitting surface.

-- (From EM_ERROR_CODES)

em_error_blit_surface_part: INTEGER

-- Error blitting surface.

-- (From EM_ERROR_CODES)

em_error_create_cursor: INTEGER

-- Error creating cursor

-- (From EM_ERROR_CODES)

em_error_disable_alpha_transparency: INTEGER

-- Error disabling alpha transparency

-- (From EM_ERROR_CODES)

em_error_disable_transparent_colorkey: INTEGER

-- Error disabling transparent colorkey

-- (From EM_ERROR_CODES)

em_error_enable_alpha_transparency: INTEGER

-- Error enabling alpha transparency

-- (From EM_ERROR_CODES)

em_error_enable_per_pixel_alpha: INTEGER

-- Error enabling per pixel alpha

-- (From EM_ERROR_CODES)

em_error_initializing_screen: INTEGER

-- Error initializing screen

-- (From EM_ERROR_CODES)

em_error_locking_surface: INTEGER

-- Error locking surface.

-- (From EM_ERROR_CODES)

em_error_put_circle: INTEGER

-- Error blitting circle.

-- (From EM_ERROR_CODES)

em_error_put_circle_filled: INTEGER

-- Error blitting filled circle.

-- (From EM_ERROR_CODES)

em_error_put_line_segment: INTEGER

-- Error blitting line segment.

-- (From EM_ERROR_CODES)

em_error_put_pixel: INTEGER

-- Error blitting pixel.

-- (From EM_ERROR_CODES)

em_error_put_polygon: INTEGER

-- Error blitting polygon.

-- (From EM_ERROR_CODES)

em_error_put_polygon_filled: INTEGER

-- Error blitting filled polygon.

-- (From EM_ERROR_CODES)

em_error_put_rectangle: INTEGER

-- Error blitting rectangle.

-- (From EM_ERROR_CODES)

em_error_put_rectangle_filled: INTEGER

-- Error blitting filled rectangle.

-- (From EM_ERROR_CODES)

em_error_redraw_surface: INTEGER

-- Error redrawing surface.

-- (From EM_ERROR_CODES)

em_error_set_alpha_value: INTEGER

-- Error setting surface alpha value

-- (From EM_ERROR_CODES)

em_error_set_transparent_colorkey: INTEGER

-- Error setting transparent colorkey

-- (From EM_ERROR_CODES)

em_error_toggle_fullscreen: INTEGER

-- Error toggling fullscreen.

-- (From EM_ERROR_CODES)

em_error_toggle_fullscreen_not_supported: INTEGER

-- Error toggling fullscreen is not supported on current operating system.

-- (From EM_ERROR_CODES)

em_error_video_mode_not_supported: INTEGER

-- Error becuase video mode is not supported

-- (From EM_ERROR_CODES)

feature -- Audio error messages

em_error_allocating_channels: INTEGER

-- Error allocating channels

-- (From EM_ERROR_CODES)

em_error_fading_channel_in_timed: INTEGER

-- Error fading channel in timed.

-- (From EM_ERROR_CODES)

em_error_fading_music_in: INTEGER

-- Error fading music in.

-- (From EM_ERROR_CODES)

em_error_fading_music_in_positioned: INTEGER

-- Error fading music in positioned.

-- (From EM_ERROR_CODES)

em_error_fading_music_out: INTEGER

-- Error fading music out.

-- (From EM_ERROR_CODES)

em_error_grouping_channels: INTEGER

-- Error grouping channels.

-- (From EM_ERROR_CODES)

em_error_initializing_audio_subsystem: INTEGER

-- Error initializing audio subsystem.

-- (From EM_ERROR_CODES)

em_error_loading_audio_file: INTEGER

-- Error loading audio file.

-- (From EM_ERROR_CODES)

em_error_opening_mixer: INTEGER

-- Error opening mixer.

-- (From EM_ERROR_CODES)

em_error_playing_channel: INTEGER

-- Error playing channel.

-- (From EM_ERROR_CODES)

em_error_playing_channel_timed: INTEGER

-- Error playing channel timed.

-- (From EM_ERROR_CODES)

em_error_playing_music: INTEGER

-- Error playing music.

-- (From EM_ERROR_CODES)

em_error_registring_effect: INTEGER

-- Error registring effect

-- (From EM_ERROR_CODES)

em_error_setting_music_position: INTEGER

-- Error setting music position.

-- (From EM_ERROR_CODES)

em_error_unregistring_effect: INTEGER

-- Error unregistring effect

-- (From EM_ERROR_CODES)

em_error_using_audio_player: INTEGER

-- Error using audio player.

-- (From EM_ERROR_CODES)

feature -- Initialisation error

em_error_init_fastevents: INTEGER

-- Error initialising fastevents library

-- (From EM_ERROR_CODES)

em_error_init_net2: INTEGER

-- Error initialising Net2

-- (From EM_ERROR_CODES)

em_error_init_sdl: INTEGER

-- Error initialising SDL

-- (From EM_ERROR_CODES)

em_error_init_sdlnet: INTEGER

-- Error initialising SDL Net

-- (From EM_ERROR_CODES)

invariant


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

end