EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.utility

Class EDOC_ERROR_MESSAGES


Direct ancestors

EDOC_ERROR_CODES

Known direct descendants

EDOC_ERROR_HANDLER

Features

Invariants

indexing

description

Provide mapping of error constants from EDOC_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.

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_ERROR_MESSAGES

feature -- Access

Default_error_message: STRING

-- Message of errors whitout specialized message

ensure

result_exists: Result /= Void

Error_messages: DS_HASH_TABLE[STRING, INTEGER]

-- Table which maps error codes to error messages.

ensure

result_exists: Result /= Void

invariant

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