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