    class
    	RTF_FORMAT_I

    General
    	cluster: implementation_mswin
    	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