Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	EV_POSITIONED

General
	cluster: interface
	description: "Abstraction for objects that have geometric position."
	keywords: "position, width, height"

Ancestors
	EV_ANY*

Queries
	data: detachable ANY
	dpi: NATURAL_32
	height: INTEGER_32
	is_destroyed: BOOLEAN
	minimum_height: INTEGER_32
	minimum_width: INTEGER_32
	screen_x: INTEGER_32
	screen_y: INTEGER_32
	width: INTEGER_32
	x_position: INTEGER_32
	y_position: INTEGER_32

Commands
	destroy
	set_data (some_data: [like data] detachable ANY)

Constraints
	width not negative
	height not negative
	minimum width not negative
	minimum height not negative



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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