Automatic generation produced by ISE Eiffel
class WEL_UP_DOWN_CONTROL Ancestors WEL_BAR* WEL_UDM_CONSTANTS WEL_UDS_CONSTANTS Descendants EV_INTERNAL_UP_DOWN_CONTROL Clients EV_SPIN_BUTTON_IMP WEL_UP_DOWN_CONTROL Suppliers INTEGER_32 TYPED_POINTER [G] WEL_API WEL_STRING WEL_UP_DOWN_CONTROL WEL_WINDOW* -- Generated by Eiffel Studio --
For more details: eiffel.org