Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
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: detachable 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
	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] detachable 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



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org