Automatic generation produced by ISE Eiffel

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

General
	cluster: implementation_interface
	description: "Implementation interface for EV_POINTER_STYLE."
	keywords: mouse, pointer, cursor, arrow

Ancestors
	EV_ANY_I*

Queries
	height: INTEGER_32
	is_destroyed: BOOLEAN
	width: INTEGER_32
	x_hotspot: INTEGER_32
	y_hotspot: INTEGER_32

Commands
	copy_from_pointer_style (a_pointer_style: [attached like interface] attached EV_POINTER_STYLE)
	set_x_hotspot (a_x: INTEGER_32)
	set_y_hotspot (a_y: INTEGER_32)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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