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

em.utility

Class EM_ERROR_MESSAGES


Direct ancestors

EM_ERROR_CODES

Known direct descendants

EM_ERROR_HANDLER

Features

Invariants

indexing

description

Provide mapping of error constants from EM_ERROR_CODES to string messages.

Placeholders are marked with '{#}' where '#' is the number of replacement.
Zero is always the error code. 1, 2, etc. are indexes in the error data tuple.

date

$Date$

revision

$Revision$

class

EM_ERROR_MESSAGES

feature -- Access

default_error_message: STRING

-- Message of errors whitout specialized message

ensure
default_error_message_not_void: Result /= Void
error_messages: DS_HASH_TABLE [STRING, INTEGER]

-- Table which maps error codes to error messages.

ensure
error_messages_not_void: Result /= Void

invariant


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

end