+
Point of view
All features
class EIFFELDOC_OPTIONS
features
- operator_filter: HASHED_DICTIONARY[STRING, CHARACTER]
- css_root: STRING
- css_all_clusters: STRING
- css_letter_cluster: STRING
- css_cluster: STRING
- css_sub_cluster: STRING
- css_cluster_comments: STRING
- css_cluster_classes: STRING
- css_points_of_view: STRING
- css_summary: STRING
- css_overview: STRING
- css_feature: STRING
- css_invariant: STRING
- css_assertion: STRING
- css_obsolete: STRING
- css_block_suffix: STRING
- css_head_suffix: STRING
- css_head_layout_suffix: STRING
- css_expand_mark_suffix: STRING
- css_expand_mark_hover_suffix: STRING
- css_title_suffix: STRING
- css_nav_link_suffix: STRING
- css_name_suffix: STRING
- css_comment_suffix: STRING
- css_clause_comment_suffix: STRING
- css_feature_item_suffix: STRING
- css_expanded_suffix: STRING
- css_current_suffix: STRING
- css_keyword_suffix: STRING
- css_msg_suffix: STRING
- css_mark_suffix: STRING
- css_deferred_suffix: STRING
- css_frozen_suffix: STRING
- css_attribute_suffix: STRING
- css_once_suffix: STRING
- css_blank_suffix: STRING
- css_nav_link: STRING
- css_class_link: STRING
- css_feature_link: STRING
- index_filename: STRING
- top_anchor_name: STRING
- top_anchor_address: STRING
- top_link_name: STRING
- home_link_name: STRING
- wiki_link_name: STRING
- classes_and_clusters_list_link_name: STRING
- classes_and_clusters_list_page_title: STRING
- class_information_link_name: STRING
- points_of_view_menu_name: STRING
- all_feature_entry_name: STRING
- class_str: STRING
- deferred_str: STRING
- expanded_str: STRING
- frozen_str: STRING
- once_str: STRING
- obsolete_class_str: STRING
- obsolete_feature_str: STRING
- summary_title_str: STRING
- direct_parents_str: STRING
- known_children_str: STRING
- inherit_list_str: STRING
- insert_list_str: STRING
- all_classes_str: STRING
- cluster_comments_str: STRING
- cluster_classes_str: STRING
- overview_title_str: STRING
- creation_features_str: STRING
- exported_features_str: STRING
- features_str: STRING
- class_invariant_str: STRING
- require_str: STRING
- ensure_str: STRING
- old_str: STRING
- all_classes_id: STRING
- cluster_comments_id: STRING
- cluster_classes_id: STRING
- summary_id: STRING
- points_of_view_id: STRING
- overview_id: STRING
- class_invariant_id: STRING
- title_bar: STRING
- real_css: STRING
- real_js: STRING
- filtered_attribute (value: STRING): STRING
- set_suffixed_attribute (name: STRING, base_value: STRING, suffix: STRING, html_os: EIFFELDOC_OUTPUT_STREAM)
- html_output_stream_for_file (filename: STRING): EIFFELDOC_OUTPUT_STREAM
- write_header (html_os: EIFFELDOC_OUTPUT_STREAM, title: STRING, js: STRING, css: STRING)
- open_block_head (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, base_id: STRING)
- close_block_head (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING)
- open_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, name: STRING, base_id: STRING)
- close_block (html_os: EIFFELDOC_OUTPUT_STREAM)
- open_comment_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING)
- close_comment_block (html_os: EIFFELDOC_OUTPUT_STREAM)
- open_expand_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, base_id: STRING, expand: BOOLEAN)
- close_expand_block (html_os: EIFFELDOC_OUTPUT_STREAM)
- create_dirs (a_filename: STRING): INTEGER_32
- last_dirname: STRING
- basename_of (a_filename: STRING): STRING
- filename_of (a_class: CLASS_TEXT, a_client: CLASS_NAME): STRING
- class_name_any: CLASS_NAME
- class_name_tuple: CLASS_NAME
require
- html /= Void
- name /= Void
require
- html /= Void
- name /= Void
- address /= Void
generate_default_css (real_css_fn:
STRING)
effective procedure
css_head_layout_suffix:
STRING
constant attribute
css_expand_mark_suffix:
STRING
constant attribute
css_expand_mark_hover_suffix:
STRING
constant attribute
css_feature_item_suffix:
STRING
constant attribute
classes_and_clusters_list_link_name:
STRING
constant attribute
classes_and_clusters_list_page_title:
STRING
constant attribute
all_feature_entry_name:
STRING
constant attribute
require
- name /= Void
- base_value /= Void
- suffix /= Void
- html_os /= Void
require
- html_os /= Void
- title /= Void
ensure
require
- html_os /= Void
- css_base_class /= Void
- base_id /= Void
require
- html_os /= Void
- css_base_class /= Void
require
- html_os /= Void
- css_base_class /= Void
- name /= Void
- base_id /= Void
require
- html_os /= Void
- css_base_class /= Void
- base_id /= Void
frozen
effective function
frozen
effective function
as_force_to_integer_16:
STRING
constant attribute
as_force_to_integer_32:
STRING
constant attribute
as_force_to_integer_64:
STRING
constant attribute
as_native_array_collector:
STRING
constant attribute
as_native_array_internals:
STRING
constant attribute
as_text_file_read:
STRING
constant attribute
as_text_file_write:
STRING
constant attribute
as_backslash_backslash:
STRING
constant attribute
as_bit_shift_right_unsigned:
STRING
constant attribute
as_sharp_backslash_backslash:
STRING
constant attribute
as_type_can_be_assigned_to_attribute:
STRING
constant attribute
as_type_can_be_assigned_to_item:
STRING
constant attribute
as_type_attribute_count:
STRING
constant attribute
as_type_attribute_generator:
STRING
constant attribute
as_type_attribute_generating_type:
STRING
constant attribute
as_type_attribute_is_expanded:
STRING
constant attribute
as_type_attribute_name:
STRING
constant attribute
as_internals_from_generating_type:
STRING
constant attribute
as_is_basic_expanded_type:
STRING
constant attribute
as_native_array_internals_from_generating_type:
STRING
constant attribute
as_minimum_character_code:
STRING
constant attribute
as_manifest_initialize:
STRING
constant attribute
as_manifest_semicolon_check:
STRING
constant attribute
as_maximum_character_code:
STRING
constant attribute
as_print_run_time_stack:
STRING
constant attribute
as_print_all_run_time_stacks:
STRING
constant attribute
as_set_object_attribute:
STRING
constant attribute
as_type_generating_type:
STRING
constant attribute
as_type_item_generating_type:
STRING
constant attribute
as_type_item_generator:
STRING
constant attribute
as_type_item_is_expanded:
STRING
constant attribute
as_valid_generating_type_for_internals:
STRING
constant attribute
as_valid_generating_type_for_native_array_internals:
STRING
constant attribute
as_native_array_character:
STRING
constant attribute
as_open_argument_indices:
STRING
constant attribute
as_open_argument_index:
STRING
constant attribute
as_open_argument_count:
STRING
constant attribute
fz_assertion_flat_check:
STRING
constant attribute
fz_section_java_java_compiler:
STRING
constant attribute
fz_section_java_classpath:
STRING
constant attribute
fz_conf_invariant_check:
STRING
constant attribute
fz_conf_smarteiffel_options:
STRING
constant attribute
fz_conf_compiler_options:
STRING
constant attribute
fz_conf_linker_options:
STRING
constant attribute
fz_conf_cpp_compiler_type:
STRING
constant attribute
fz_conf_cpp_compiler_path:
STRING
constant attribute
fz_conf_cpp_compiler_options:
STRING
constant attribute
fz_conf_cpp_linker_path:
STRING
constant attribute
fz_conf_cpp_strip_path:
STRING
constant attribute
fz_conf_cpp_linker_options:
STRING
constant attribute
fz_conf_java_jar_binary:
STRING
constant attribute
fz_conf_java_jvm_binary:
STRING
constant attribute
fz_conf_java_java_compiler:
STRING
constant attribute