Automatic generation produced by ISE Eiffel

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

General
	cluster: implementation_interface
	description: 
		"Eiffel Vision positioned, implementation interface.
		See bridge pattern notes in ev_any.e"

Ancestors
	EV_ANY_I*

Queries
	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

Constraints
	minimum width positive or zero
	minimum height positive or zero



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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