--!----------------------------------------------------------------------------- --! 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 |
%N% %%N% %*% %%N% %
Go to:
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" |" --!----------------------------------------------------------------------------- --! Interactive Software Engineering Inc. --! ISE Building, 2nd floor --! 270 Storke Road, Goleta, CA 93117 USA --! Telephone 805-685-1006, Fax 805-685-6869 --! Electronic mail --! Customer support e-mail --! For latest info see award-winning pages: http://www.eiffel.com --!-----------------------------------------------------------------------------