Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_SCROLL_CONSTANTS General cluster: interface description: "Constants used by scroll bar scroll action" Ancestors ANY Queries Bottom: INTEGER_32 End_scroll: INTEGER_32 is_valid (a_action_type: INTEGER_32): BOOLEAN Line_down: INTEGER_32 Line_up: INTEGER_32 Page_down: INTEGER_32 Page_up: INTEGER_32 Thumb_position: INTEGER_32 Thumb_track: INTEGER_32 Top: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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