class
	EL_PARAGRAPH_FORMAT

inherit
	EV_PARAGRAPH_FORMAT
		redefine
			copy, is_equal
		end

feature -- Duplication

	copy (other: like Current)
			-- Update current object using fields of object attached
			-- to `other', so as to yield equal objects.
		do
			if implementation = Void then
				default_create
			end
			implementation.set_alignment (other.alignment)
			implementation.set_left_margin (other.left_margin)
			implementation.set_right_margin (other.right_margin)
			implementation.set_top_spacing (other.top_spacing)
			implementation.set_bottom_spacing (other.bottom_spacing)
		end

feature -- Comparison

	is_equal (other: like Current): BOOLEAN
		do
			Result := alignment = other.alignment
							and then left_margin = other.left_margin
							and then right_margin = other.right_margin
							and then top_spacing = other.top_spacing
							and then bottom_spacing = other.bottom_spacing

		end

end