EDoc API
Overview Cluster Class Classes Index          Top Features

edoc

Class EDOC_SHARED_ACCESS


Direct ancestors

EDOC_SHARED_ERROR_HANDLER, EDOC_SHARED_OPTIONS, EDOC_SHARED_CONTEXT

Known direct descendants

EDOC, EDOC_OPTIONS_FILE, EDOC_OUTPUT, EDOC_CONTEXT, EDOC_HTML_OUTPUT_FILE, EDOC_HTML_CONTEXT, EDOC_HTML_AST_PRINTER

Features

Invariants

indexing

description

Access to shared error handler, options and context

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_SHARED_ACCESS

feature -- Access

Class_sorter: DS_QUICK_SORTER[ET_CLASS]

-- Shared class sorter

ensure

result_not_void: Result /= Void

Cluster_sorter: DS_QUICK_SORTER[ET_CLUSTER]

-- Shared cluster sorter

ensure

result_not_void: Result /= Void

Feature_clause_sorter: DS_QUICK_SORTER[PAIR[ET_FEATURE_CLAUSE, PAIR[INTEGER, STRING]]]

-- Shared feature sorter.

ensure

result_not_void: Result /= Void

Feature_sorter: DS_QUICK_SORTER[ET_FEATURE]

-- Shared feature sorter.

ensure

result_not_void: Result /= Void

Index_sorter: DS_QUICK_SORTER[EDOC_INDEX_ENTRY]

-- Shared index sorter

ensure

result_not_void: Result /= Void

invariant

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