    class
    	EV_PARAGRAPH_FORMAT

    General
    	cluster: interface
    	description: "Objects that represent paragraph formatting information."

    Ancestors
    	EV_ANY*

    Queries
    	alignment: INTEGER_32
    	bottom_spacing: INTEGER_32
    	data: ANY
    	is_center_aligned: BOOLEAN
    	is_destroyed: BOOLEAN
    	is_justified: BOOLEAN
    	is_left_aligned: BOOLEAN
    	is_right_aligned: BOOLEAN
    	left_margin: INTEGER_32
    	right_margin: INTEGER_32
    	top_spacing: INTEGER_32
    	valid_alignment (an_alignment: INTEGER_32): BOOLEAN

    Commands
    	copy (other: [like Current] EV_PARAGRAPH_FORMAT)
    	destroy
    	enable_center_alignment
    	enable_justification
    	enable_left_alignment
    	enable_right_alignment
    	set_alignment (an_alignment: INTEGER_32)
    	set_bottom_spacing (a_spacing: INTEGER_32)
    	set_data (some_data: [like data] ANY)
    	set_left_margin (a_margin: INTEGER_32)
    	set_right_margin (a_margin: INTEGER_32)
    	set_top_spacing (a_spacing: INTEGER_32)

    Constraints
    	valid alignment