    class
    	EV_PARAGRAPH_FORMAT_IMP

    General
    	cluster: implementation_mswin
    	description: "Mswin implementation for objects that represent paragraph formatting information."
    	create: make

    Ancestors
    	EV_PARAGRAPH_FORMAT_I*
    	WEL_PARAGRAPH_FORMAT2
    	WEL_UNIT_CONVERSION

    Queries
    	alignment: INTEGER_32
    	border_space: INTEGER_32
    	border_width: INTEGER_32
    	borders: INTEGER_32
    	bottom_spacing: INTEGER_32
    	effects: INTEGER_32
    	exists: BOOLEAN
    	has_mask (a_mask: INTEGER_32): BOOLEAN
    	is_equal (other: [like Current] EV_PARAGRAPH_FORMAT_IMP): BOOLEAN
    	item: POINTER
    	left_margin: INTEGER_32
    	line_spacing: INTEGER_32
    	line_spacing_rule: INTEGER_32
    	mask: INTEGER_32
    	max_tab_stops: INTEGER_32
    	numbering: INTEGER_32
    	numbering_start: INTEGER_32
    	numbering_style: INTEGER_32
    	numbering_tab: INTEGER_32
    	offset: INTEGER_32
    	right_indent: INTEGER_32
    	right_margin: INTEGER_32
    	shading_style: INTEGER_32
    	shading_weight: INTEGER_32
    	shared: BOOLEAN
    	space_after: INTEGER_32
    	space_before: INTEGER_32
    	start_indent: INTEGER_32
    	Structure_size: INTEGER_32
    	style: INTEGER_32
    	tabulations: ARRAY [INTEGER_32]
    	top_spacing: INTEGER_32
    	wel_alignment: INTEGER_32

    Commands
    	add_mask (a_mask: INTEGER_32)
    	bullet_numbering
    	copy (other: [like Current] EV_PARAGRAPH_FORMAT_IMP)
    	dispose
    	initialize
    	initialize_with_character (a_character: CHARACTER_8)
    	make (an_interface: [like interface] EV_PARAGRAPH_FORMAT)
    	memory_copy (source_pointer: POINTER; length: INTEGER_32)
    	no_numbering
    	remove_mask (a_mask: INTEGER_32)
    	set_alignment (an_alignment: INTEGER_32)
    	set_border_space (a_space: INTEGER_32)
    	set_border_width (a_width: INTEGER_32)
    	set_borders (a_border: INTEGER_32)
    	set_bottom_spacing (a_spacing: INTEGER_32)
    	set_center_alignment
    	set_default_tabulation
    	set_effects (an_effects: INTEGER_32)
    	set_item (an_item: POINTER)
    	set_left_alignment
    	set_left_margin (a_margin: INTEGER_32)
    	set_line_spacing (space: INTEGER_32)
    	set_line_spacing_rule (a_rule: INTEGER_32)
    	set_mask (a_mask: INTEGER_32)
    	set_numbering_start (a_start: INTEGER_32)
    	set_numbering_style (a_style: INTEGER_32)
    	set_numbering_tab (a_tab: INTEGER_32)
    	set_offset (an_offset: INTEGER_32)
    	set_right_alignment
    	set_right_indent (a_right_indent: INTEGER_32)
    	set_right_margin (a_margin: INTEGER_32)
    	set_shading_style (a_style: INTEGER_32)
    	set_shading_weight (a_weight: INTEGER_32)
    	set_shared
    	set_space_after (space: INTEGER_32)
    	set_space_before (space: INTEGER_32)
    	set_start_indent (a_start_indent: INTEGER_32)
    	set_style (a_style: INTEGER_32)
    	set_tabulation (tab: INTEGER_32)
    	set_tabulations (tabs: ARRAY [INTEGER_32])
    	set_top_spacing (a_spacing: INTEGER_32)
    	set_unshared
    	wel_initialize
    	wel_set_alignment (an_alignment: INTEGER_32)