Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class RTF_FORMAT_I General cluster: implementation_interface description: "Objects that hold the current formatting applied while loading a RTF file." Ancestors EV_PARAGRAPH_CONSTANTS Queries alignment: INTEGER_32 Alignment_center: INTEGER_32 Alignment_constant: INTEGER_32 Alignment_justified: INTEGER_32 Alignment_left: INTEGER_32 Alignment_right: INTEGER_32 boolean_out (a_boolean: BOOLEAN): STRING_8 bottom_spacing: INTEGER_32 Bottom_spacing_constant: INTEGER_32 character_format: INTEGER_32 character_format_out: STRING_8 color_set: BOOLEAN False_constant: STRING_8 font_height: INTEGER_32 highlight_color: INTEGER_32 highlight_set: BOOLEAN is_bold: BOOLEAN is_italic: BOOLEAN is_striked_out: BOOLEAN is_underlined: BOOLEAN left_margin: INTEGER_32 Left_margin_constant: INTEGER_32 paragraph_format_out: STRING_8 right_margin: INTEGER_32 Right_margin_constant: INTEGER_32 text_color: INTEGER_32 top_spacing: INTEGER_32 Top_spacing_constant: INTEGER_32 True_constant: STRING_8 valid_alignment (an_alignment: INTEGER_32): BOOLEAN valid_paragraph_flag (a_flag: INTEGER_32): BOOLEAN vertical_offset: INTEGER_32 Commands reset_paragraph set_alignment (an_alignment: INTEGER_32) set_bold (a_is_bold: BOOLEAN) set_bottom_spacing (a_bottom_spacing: INTEGER_32) set_character_format (a_character_format: INTEGER_32) set_font_height (a_font_height: INTEGER_32) set_highlight_color (a_highlight_color: INTEGER_32) set_italic (an_is_italic: BOOLEAN) set_left_margin (a_left_margin: INTEGER_32) set_right_margin (a_right_margin: INTEGER_32) set_striked_out (an_is_striked_out: BOOLEAN) set_text_color (a_text_color: INTEGER_32) set_top_spacing (a_top_spacing: INTEGER_32) set_underlined (an_is_underlined: BOOLEAN) set_vertical_offset (an_offset: INTEGER_32) Constraints character format non negative font height non negative text color non negative highlight color non negative left margin non negative right margin non negative top spacing non negative bottom spacing non negative
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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