--!-----------------------------------------------------------------------------
--! Styled HTML filter for EiffelStudio documentation output.
--!-----------------------------------------------------------------------------
--! default.css is copied into documentation root directory.
--! goto.html is generated in documentation root directory.
--!-----------------------------------------------------------------------------
--! $Date$
--! $Revision$
--!-----------------------------------------------------------------------------
file_separator |/
suffix |html
-- File declaration:
class_declaration |%N%N%
%%N%
%$html_meta$%
%$title$%N%
%%N%
%%N%
%%N%
%%N%
%Automatic generation produced by ISE Eiffel
%N%
%*
%N%
% -- Generated by ISE Eiffel -- %N%
%
For more details: www.eiffel.com
%N%
%%N%
%%N
feature_declaration |*
-- Hyperlinking items:
menu_bar |
menu_item |* | %N
class_menu_item |* | %N
menu_item_disabled |* | %N
class_menu_item_disabled|* | %N
cluster_name |*
-- Skip origin comments. Display a tooltip instead.
origin_comment |
tooltip |*
-- Use possible hyperlinks inside strings and comments:
comment_url |
string_url |*
features |*
keyword_features |*
symbol_features |*
class_name |*
-- Eiffel syntax items:
non_generated_cluster |*
non_generated_class |*
non_generated_feature |*
keyword |*
reserved_word |*
symbol |*
comment |
quoted |*
string |*
character |*
number |*
local_symbol |*
assertion_tag |*
indexing_tag |*
generic |*
. |*
-- Whitespace
new_line |*
tab |%T
-- In case there are sequential spaces, use this for all subsequent spaces.
multiple_spaces | %;
-- Characters that need to be escaped in HTML
escape> |>
escape< |<
escape& |&
escape" |"
--!-----------------------------------------------------------------------------
--! Eiffel Software
--! 356 Storke Road, Goleta, CA 93117 USA
--! Telephone 805-685-1006, Fax 805-685-6869
--! Website http://www.eiffel.com
--! Customer support http://support.eiffel.com
--!-----------------------------------------------------------------------------