EDoc API
Overview Cluster Class Classes Index          Top Features

edoc

Class EDOC_SHARED_CONTEXT


Known direct descendants

EDOC_SHARED_ACCESS

Features

Invariants

indexing

description

Shared access to context singleton

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_SHARED_CONTEXT

feature -- Access

Context: EDOC_CONTEXT

-- Eiffeldoc context

ensure

result_exists: Result /= Void

invariant

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