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