home
wiki
classes/clusters list
class information
+
Point of view
EIFFELDOC_SHORTER_SOURCEDOC
ANY
EIFFELDOC_SHORTER_CLASSDOC
EIFFELDOC_SHORTER_SOURCEDOC
EIFFELDOC_SHORTER
EIFFELDOC
NATIVE_JAVA
VISITOR
SYSTEM_TOOLS
SMART_EIFFEL
COMPILE
SE
ACE
INSTALL
INTERNALS_HANDLER
All features
class EIFFELDOC_OPTIONS
Summary
top
Arguments that modify the behavior of Eiffeldoc
Direct parents
insert list:
ARGUMENTS
,
EIFFELDOC_GLOBALS
Overview
top
creation features
exported features
title
:
STRING
home_address
:
STRING
css
:
STRING
js
:
STRING
depends
:
BOOLEAN
wiki_prefix
:
STRING
open_tabs
(html:
HTML_OUTPUT_STREAM
)
add_tab
(html:
HTML_OUTPUT_STREAM
, name:
STRING
, address:
STRING
)
close_tabs
(html:
HTML_OUTPUT_STREAM
)
open_menu
(html:
HTML_OUTPUT_STREAM
, name:
STRING
, selected:
STRING
)
add_menu_item
(html:
HTML_OUTPUT_STREAM
, name:
STRING
, address:
STRING
)
close_menu
(html:
HTML_OUTPUT_STREAM
)
parser_buffer
:
PARSER_BUFFER
title
:
STRING
writable attribute
top
home_address
:
STRING
writable attribute
top
css
:
STRING
writable attribute
top
js
:
STRING
writable attribute
top
depends
:
BOOLEAN
writable attribute
top
wiki_prefix
:
STRING
writable attribute
top
open_tabs
(html:
HTML_OUTPUT_STREAM
)
effective procedure
top
require
html /= Void
add_tab
(html:
HTML_OUTPUT_STREAM
, name:
STRING
, address:
STRING
)
effective procedure
top
require
html /= Void
name /= Void
close_tabs
(html:
HTML_OUTPUT_STREAM
)
effective procedure
top
require
html /= Void
open_menu
(html:
HTML_OUTPUT_STREAM
, name:
STRING
, selected:
STRING
)
effective procedure
top
add_menu_item
(html:
HTML_OUTPUT_STREAM
, name:
STRING
, address:
STRING
)
effective procedure
top
require
html /= Void
name /= Void
address /= Void
close_menu
(html:
HTML_OUTPUT_STREAM
)
effective procedure
top
require
html /= Void
parser_buffer
:
PARSER_BUFFER
frozen
once function
top