--!-----------------------------------------------------------------------------
--! 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%T%N%T%T%N%
%%N%T%T%N%
%$title$%N%T%T%N%
%%N%N%
%%T%N%N%
%%T%N%
%*
%N%N%
%%N%N%
%%N
feature_declaration |*
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& |&
--!-----------------------------------------------------------------------------
--! 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
--!-----------------------------------------------------------------------------