EDoc API
Overview Cluster Class Classes Index          Top Features

edoc

Class EDOC


Direct ancestors

EDOC_SHARED_ACCESS, KL_SHARED_ARGUMENTS, KL_SHARED_EXCEPTIONS, KL_SHARED_FILE_SYSTEM, KL_SHARED_EXECUTION_ENVIRONMENT, KL_SHARED_STANDARD_FILES

Creation

Features

Invariants

indexing

description

Eiffel documentation generator.

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC

create

make

-- Execute 'edoc'.

feature -- Access

default_options_directory: STRING

-- Directory with default options
-- Normally '$EDOC/options'

edoc_output: EDOC_OUTPUT

-- Selected output type

invariant

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