EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.utility

Class EDOC_SHARED_ERROR_HANDLER


Known direct descendants

EDOC_SHARED_ACCESS

Features

Invariants

indexing

description

Shared access to error handler singleton

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_SHARED_ERROR_HANDLER

feature -- Access

Error_handler: EDOC_ERROR_HANDLER

-- Error handler

ensure

result_exists: Result /= Void

invariant

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