class EIFFELDOC_OPTIONS
Summary
Overview
title: STRING
writable attribute
home_address: STRING
writable attribute
css: STRING
writable attribute
js: STRING
writable attribute
depends: BOOLEAN
writable attribute
wiki_prefix: STRING
writable attribute
generate_jsfile
effective procedure
generate_stylesheets
effective procedure
open_tabs (html: HTML_OUTPUT_STREAM)
effective procedure
add_tab (html: HTML_OUTPUT_STREAM, name: STRING, address: STRING)
effective procedure
close_tabs (html: HTML_OUTPUT_STREAM)
effective procedure
open_menu (html: HTML_OUTPUT_STREAM, name: STRING, selected: STRING)
effective procedure
add_menu_item (html: HTML_OUTPUT_STREAM, name: STRING, address: STRING)
effective procedure
close_menu (html: HTML_OUTPUT_STREAM)
effective procedure
parse_argument (i: INTEGER_32): INTEGER_32
effective function
Returns the number of arguments it used (0 if the argument was not matched)
set_default_arguments
effective procedure
command_usage: STRING
effective function
command_help: STRING
effective function
parser_buffer: PARSER_BUFFER
frozen
once function