Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_RICH_TEXT_CONSTANTS_I General cluster: implementation_interface description: "Objects that provide access to constants for RTF documents and formatting." Ancestors ANY Queries Color_table_start: STRING_32 Default_font: STRING_32 Font_table_start: STRING_32 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 Space_string: STRING_32 View_text: STRING_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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