EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.html_output

Class EDOC_SHARED_HTML_CONTEXT


Known direct descendants

EDOC_HTML_OUTPUT, EDOC_HTML_OUTPUT_FILE, EDOC_HTML_AST_PRINTER

Features

Invariants

indexing

description

Shared access to html context singleton

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_SHARED_HTML_CONTEXT

feature -- Access

html_context: EDOC_HTML_CONTEXT

-- Eiffeldoc context

ensure

result_exists: Result /= Void

invariant

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