Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_RICH_TEXT_BUFFERING_STRUCTURES_I General cluster: implementation_interface description: "Objects that contain all structures required for buffering RTF for saving/loading/implementation." create: set_rich_text Ancestors ANY EV_FONT_CONSTANTS EV_RICH_TEXT_CONSTANTS_I Queries Color_table_start: STRING_32 Default_font: STRING_32 Family_modern: INTEGER_32 Family_roman: INTEGER_32 Family_sans: INTEGER_32 Family_screen: INTEGER_32 Family_typewriter: INTEGER_32 Font_table_start: STRING_32 internal_text: STRING_32 rich_text: detachable EV_RICH_TEXT_I Rtf_backslash: STRING_32 Rtf_blue: STRING_32 Rtf_bold_string: STRING_32 Rtf_charset: STRING_32 Rtf_close_brace: STRING_32 Rtf_close_brace_character: CHARACTER_8 Rtf_color_string: STRING_32 Rtf_colortbl: STRING_32 Rtf_control_character: CHARACTER_8 Rtf_family_modern: STRING_32 Rtf_family_modern_int: INTEGER_32 Rtf_family_nill: STRING_32 Rtf_family_nill_int: INTEGER_32 Rtf_family_roman: STRING_32 Rtf_family_roman_int: INTEGER_32 Rtf_family_script: STRING_32 Rtf_family_script_int: INTEGER_32 Rtf_family_swiss: STRING_32 Rtf_family_swiss_int: INTEGER_32 Rtf_family_tech: STRING_32 Rtf_family_tech_int: INTEGER_32 Rtf_font_charset: STRING_32 Rtf_font_size_string: STRING_32 Rtf_font_string: STRING_32 Rtf_fonttable: STRING_32 Rtf_green: STRING_32 Rtf_highlight_string: STRING_32 Rtf_info: STRING_32 Rtf_italic_string: STRING_32 Rtf_new_paragraph: STRING_32 Rtf_newline: STRING_32 Rtf_open_brace: STRING_32 Rtf_open_brace_character: CHARACTER_8 Rtf_paragraph_center_aligned: STRING_32 Rtf_paragraph_justified: STRING_32 Rtf_paragraph_left_aligned: STRING_32 Rtf_paragraph_left_indent: STRING_32 Rtf_paragraph_right_aligned: STRING_32 Rtf_paragraph_right_indent: STRING_32 Rtf_paragraph_space_after: STRING_32 Rtf_paragraph_space_before: STRING_32 Rtf_red: STRING_32 Rtf_strikeout_string: STRING_32 Rtf_stylesheet: STRING_32 Rtf_underline_none_string: STRING_32 Rtf_underline_string: STRING_32 Rtf_unicode_character: STRING_32 Rtf_unicode_string: STRING_32 Rtf_user_props: STRING_32 Rtf_vertical_offset: STRING_32 Shape_italic: INTEGER_32 Shape_regular: INTEGER_32 Space_string: STRING_32 valid_family (a_family: INTEGER_32): BOOLEAN valid_shape (a_shape: INTEGER_32): BOOLEAN valid_weight (a_weight: INTEGER_32): BOOLEAN View_text: STRING_32 Weight_black: INTEGER_32 Weight_bold: INTEGER_32 Weight_regular: INTEGER_32 Weight_thin: INTEGER_32 Commands append_text_for_rtf (a_text: READABLE_STRING_GENERAL; a_format: EV_CHARACTER_FORMAT_I) clear_structures initialize_for_saving set_rich_text (a_rich_text: EV_RICH_TEXT_I) Constraints rich text not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org