EDoc API
Overview Cluster Class Classes Index          Top Features

edoc

Class EDOC_SHARED_OPTIONS


Known direct descendants

EDOC_SHARED_ACCESS

Features

Invariants

indexing

description

Shared access to options singleton

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_SHARED_OPTIONS

feature -- Access

Options: EDOC_OPTIONS

-- Eiffeldoc options

ensure

result_exists: Result /= Void

invariant

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