EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.html_output

Class EDOC_HTML_OPTIONS_FILE


Direct ancestors

EDOC_OPTIONS_FILE

Creation

Features

Invariants

indexing

description

Options file for HTML output

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_HTML_OPTIONS_FILE

inherit

EDOC_OPTIONS_FILE

create

make_from_filename (a_filename: STRING)

-- Initialise options from a_filename.
-- (From EDOC_OPTIONS_FILE)

require

a_filename_not_void: a_filename /= Void

feature -- Access

dirname: STRING

-- Options directory name
-- (From EDOC_OPTIONS_FILE)

filename: STRING

-- Options filename
-- (From EDOC_OPTIONS_FILE)

option_processors: DS_HASH_TABLE[PROCEDURE[ANY, TUPLE [STRING]], STRING]

-- Option processors
-- (From EDOC_OPTIONS_FILE)

feature -- Basic operations

apply_options

-- Apply options to Options.
-- (From EDOC_OPTIONS_FILE)

invariant


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